Pode explicar o mecanismo de adição de um elemento ao final de uma estrutura de dados, como uma lista ou um array?

No Go, para adicionar um elemento ao final de um slice, usa-se a função incorporada append. Os slices são estruturas dinâmicas que podem alterar o tamanho.

Exemplo:

package main
import "fmt"

func main() {
    nums := []int{1, 2, 3}
    nums = append(nums, 4) // adiciona 4 ao final
    fmt.Println(nums) // [1 2 3 4]
}

Se o slice não tiver capacidade suficiente, append criará um novo array com tamanho aumentado, copiará os elementos antigos e adicionará o novo. Arrays em Go têm tamanho fixo, por isso, para adição dinâmica, usam-se slices.