Tại sao không thể giao diện được thực hiện với máy thu trỏ

Question

Tôi đang bối rối là tại sao này thất bại trong việc biên dịch với:

không thể loại khẳng định: Faz không thực hiện Foo (phương pháp Bar có con trỏ receiver)

nếu tôi làm cho người nhận cho Faz.Bar một giá trị Faz chứ không phải là một con trỏ Faz sau đó nó biên dịch tốt, nhưng tôi nghĩ rằng nó là luôn luôn tốt hơn để có thu trỏ nên giá trị không được sao chép xung quanh?

package main 

import (
    "log" 
) 

func main() { 
    foo := New().(Faz) 
    log.Println(foo) 
} 

type Foo interface { 
    Bar() string 
} 

func New() Foo { 
    return &Faz{} 
} 

type Faz struct { 
} 

func (f *Faz) Bar() string { 
    return `Bar` 
} 

Answer 1

Vì đó là *Faz không Faz.

func main() { 
    foo := New().(*Faz) 
    log.Println(foo) 
} 

Answer 2

Tôi nghĩ câu trả lời cho câu hỏi này cần phải có cách tiếp cận hướng tới ngữ pháp hơn và cách thực hiện nó thông qua kỹ nghệ phần mềm. (Xin lỗi các quá đơn giản hóa)

---

Lần đầu tiên một đoạn hồi tưởng nhanh chóng của những gì types?
Chúng chỉ là các khối bộ nhớ với logic trình biên dịch ở trên cùng. Điều gì làm cho một array khác với một string là trình biên dịch cho phép chúng ta làm gì với các khối bộ nhớ đó. (Hãy suy nghĩ sâu hơn và bạn có thể bắt đầu nhận ra sự khác biệt thực sự giữa các ngôn ngữ strongly typed và dynamically typed.)

Bây giờ, bạn cần nhận ra rằng các con trỏ là kiểu riêng của chúng.
*variable là một khối bộ nhớ khác (còn gọi là loại) hơn variable. Nó chỉ là trình biên dịch luôn luôn giả định rằng nội dung của *variable luôn là một địa chỉ cho một khối bộ nhớ kiểu ở bên phải của khai báo cùng với các hạn chế/tính năng khác mà nó áp đặt.

Sau đó, hãy tóm tắt lại giao diện là gì.
Định nghĩa khoa học giả: Một tập hợp các yêu cầu cho bất kỳ công dân hạng nhất nào thuộc một loại cụ thể. Dịch sang các phần mềm engineering- bất kỳ khối bộ nhớ (các loại) có cấu trúc bộ nhớ cùng (nghĩ lại structure packing) liên quan đến nó như mô tả trong hợp đồng (interface) có thể được thông qua xung quanh như với tên loại rằng hợp đồng đề cập.

---

Bây giờ bạn có thể bắt đầu nhận ra rằng khi bạn nói

func (f *Faz) Bar() string là 'khối của bộ nhớ giữ một chức năng, nơi f' f s loại là một con trỏ đến Faz

nơi các khu vực

func (f Faz) Bar() string là khối bộ nhớ của f, trong đó f là loại Faz

Vì vậy, khi bạn nói rằng biến số *Faz thỏa mãn hợp đồng, thì làm cách nào bạn có thể giả định rằng biến số Faz sẽ đủ điều kiện làm loại giao diện trong mã? Chọn người thỏa mãn hợp đồng của bạn và chỉ loại đó có thể giả định loại giao diện trong mã của bạn.