Bộ nhận `_` trên giá trị (không có con trỏ) vẫn sao chép giá trị?

Question

Câu hỏi của tôi là có hay không một bản sao của một giá trị được thực hiện khi một phương thức được gọi tại nơi _ là người nhận.

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 
} 

Vì vậy, tôi tự hỏi nếu Go triển khai vẫn sẽ sao chép các giá trị Foo khi Test() được gọi, mặc dù nó không thể thực sự đột biến giá trị nhận.

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

Tôi cũng sẽ tự hỏi về trường hợp con trỏ, được tự động bỏ qua theo mặc định.

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

Tôi đã thử nhìn vào hội đồng, và tôi nghĩ rằng nó có thể làm cho bản sao, nhưng tôi chỉ không biết đủ để chắc chắn.

---

Để biết chi tiết về tình hình:

Đây là một trường hợp kỳ lạ mà tôi không thể sử dụng một con trỏ. Mã được tạo ra và được yêu cầu để tạo ra một loại để hoàn thành một giao diện trong khi thực hiện một số khởi tạo trên tham số v. (Các mã được tạo có siêu dữ liệu về Foo đó được đặt trên v.)

Vì vậy, nếu tôi làm cho người nhận một con trỏ, giao diện sẽ không được thực hiện cho các trường hợp "giá trị". Phương thức này sẽ được gọi một lần cho mỗi cá thể, và các cá thể đôi khi có thể lớn và/hoặc được tạo ra với số lượng lớn, đó là lý do tại sao tôi muốn tránh một bản sao không cần thiết.

Answer 1

Theo this blog post, người gọi phân bổ các yếu tố ngăn xếp cho các giá trị trả lại và callee điền chúng.

Điều này khiến tôi tin rằng giá trị được sao chép và sau đó bị hủy.

Đó hoặc một callee chuyên ngành sẽ phải được tạo ra trong trường hợp của _ nhận