A atribuição entre aliases aciona a cópia no Go?

Go permite a definição de tipos personalizados usando aliases. Surgem preocupações sobre se as conversões entre esses tipos de alias resultam em cópias ou apenas em alterações estruturais.

Considere este exemplo:

type MyString string 
var s = "very long string"
var ms = MyString(s)
var s2 = string(s)

// Are ms or s2 a full copy of s?

Resposta:

De acordo com as regras de conversão do Go, conversões não constantes entre tipos numéricos ou strings podem incorrer em um custo de tempo de execução devido a mudanças de representação. No entanto, todas as outras conversões, como aquelas entre aliases, preservam a representação original sem criar cópias.

Portanto, ms e s2 não são cópias completas de s, mas fazem referência ao mesmo valor subjacente .

Impacto nas chamadas de função:

Ao passar valores para funções, geralmente são criadas cópias. No entanto, isso não se aplica aos tipos de alias. Atribuir um valor digitado por alias a um parâmetro de função não aciona a cópia:

func foo(s MyString){
  ...
}
foo(ms) // No copy is made when passing ms to foo()

Em resumo, embora as conversões entre tipos de alias não criem cópias do valor subjacente, este princípio não se estende à passagem de valores para funções onde geralmente são feitas cópias.