Czy odbiornik `_` na wartości (non-pointer) nadal kopiuje wartość?

Question

Moje pytanie dotyczy tego, czy kopia wartości jest tworzona po wywołaniu metody, gdy odbiorcą jest _.

type Foo struct { 
    // Many fields, making a large struct 
} 

func (_ Foo) Test(v *T) int { 
    // Here we can't use the receiver but the method is still needed 
} 

Więc zastanawiam się czy implementacje Go nadal skopiować wartość Foo gdy Test() jest wywoływana, nawet jeśli jest to niemożliwe, aby faktycznie mutować wartość odbiornika.

var f Foo 
f.Test() // Is this making a copy? 

Zastanawiam się również nad przypadkiem wskaźnika, który jest domyślnie automatycznie dereferencji.

var f = new(Foo) 
f.Test() // Is this making a copy? 

Próbowałem spojrzeć na zgromadzenie i myślę, że może to być kopia, ale po prostu nie wiem wystarczająco dużo, aby się upewnić.

---

Aby uzyskać szczegółowe informacje na temat sytuacji:

To dziwny przypadek, w którym nie mogę użyć wskaźnika. Kod jest generowany maszynowo i jest wymagany do spowodowania, że ​​typ wypełnia interfejs podczas wykonywania inicjalizacji na parametrze v. (Wygenerowany kod zawiera metadane dotyczące Foo że zostanie ustawiony na v.)

Więc jeśli robię odbiornik wskaźnik, interfejs nie zostanie spełnione „wartość” przypadkach. Ta metoda będzie wywoływana raz dla każdej instancji, a instancje mogą czasami być duże i/lub tworzone wielkimi liczbami, dlatego chciałbym uniknąć niepotrzebnej kopii.

Answer 1

Zgodnie z this blog post, wywołujący przydziela elementy stosu dla wartości zwracanych, a wywożony je wypełnia.

To prowadzi mnie do przekonania, że ​​wartość jest kopiowana, a następnie odrzucana.

To lub specjalistycznym wywoływany musiałaby być generowane w przypadku _ odbiornika