Làm thế nào để tôi so sánh hai hàm cho bình đẳng con trỏ trong Go hàng tuần mới nhất?

Question

Trong Go, có cách nào so sánh hai con trỏ hàm phi nil để kiểm tra tính bình đẳng không? Tiêu chuẩn bình đẳng của tôi là con trỏ bình đẳng. Nếu không, có bất kỳ lý do cụ thể tại sao con trỏ bình đẳng không được phép?

Tính đến bây giờ, nếu tôi cố gắng để làm điều này một cách thẳng thắn:

package main 

import "fmt" 

func SomeFun() { 
} 

func main() { 
    fmt.Println(SomeFun == SomeFun) 
} 

tôi nhận được

./func-pointers.go:12: invalid operation: SomeFun == SomeFun (func can only be compared to nil) 

Đó là sự hiểu biết của tôi rằng hành vi này đã được giới thiệu gần đây.

---

Tôi đã tìm thấy câu trả lời bằng cách sử dụng gói phản ánh; tuy nhiên Atom đề xuất bên dưới rằng điều này thực sự tạo ra hành vi không xác định. Xem bài đăng của Atom để biết thêm thông tin và giải pháp thay thế có thể có.

package main 

import "fmt" 
import "reflect" 

func SomeFun() { } 

func AnotherFun() { } 

func main() { 
    sf1 := reflect.ValueOf(SomeFun) 
    sf2 := reflect.ValueOf(SomeFun) 
    fmt.Println(sf1.Pointer() == sf2.Pointer()) 

    af1 := reflect.ValueOf(AnotherFun) 
    fmt.Println(sf1.Pointer() == af1.Pointer()) 
} 

Đầu ra:

true 
false 

Answer 1

Lưu ý rằng có sự khác biệt giữa bình đẳng và nhận dạng. Các toán tử == và != trong Go1 so sánh các giá trị tương đương (trừ khi so sánh các kênh), không phải cho danh tính. Bởi vì các toán tử này đang cố gắng không phải để kết hợp bình đẳng và nhận dạng, Go1 phù hợp hơn so với trước Go1 về mặt này.

Tính bình đẳng của chức năng khác với nhận dạng chức năng.

---

Một lý do không cho phép == và != về loại chức năng là hiệu suất.Ví dụ, sau khi đóng cửa không sử dụng bất kỳ biến từ môi trường xung quanh:

f := func(){fmt.Println("foo")} 

Không cho phép các so sánh các chức năng cho phép trình biên dịch để tạo ra một thực đơn cho việc đóng cửa, thay vì đòi hỏi thời gian chạy để tạo ra một kết thúc mới (trong thời gian chạy). Vì vậy, từ quan điểm hiệu suất, quyết định không cho phép so sánh chức năng là một quyết định tốt.

---

Liên quan đến việc sử dụng gói reflect để xác định chức năng nhận dạng, một mã như

func SomeFun() {} 
func AnotherFun() {} 

func main() { 
    sf1 := reflect.ValueOf(SomeFun) 
    sf2 := reflect.ValueOf(SomeFun) 
    fmt.Println(sf1.Pointer() == sf2.Pointer()) // Prints true 

    af1 := reflect.ValueOf(AnotherFun) 
    fmt.Println(sf1.Pointer() == af1.Pointer()) // Prints false 
} 

dựa vào hành vi undefined. Không có đảm bảo về những gì chương trình sẽ in. Trình biên dịch có thể quyết định rằng nó sẽ hợp nhất SomeFun và AnotherFun vào một triển khai duy nhất, trong trường hợp đó, lệnh in thứ 2 sẽ in true. Trong thực tế, hoàn toàn không đảm bảo rằng bản in đầu tiên sẽ in true (có thể, theo một số trình biên dịch Go1 khác và thời gian chạy, in false).

---

Một câu trả lời đúng cho câu hỏi ban đầu của bạn là:

package main 

import "fmt" 

func F1() {} 
func F2() {} 

var F1_ID = F1 // Create a *unique* variable for F1 
var F2_ID = F2 // Create a *unique* variable for F2 

func main() { 
    f1 := &F1_ID // Take the address of F1_ID 
    f2 := &F2_ID // Take the address of F2_ID 

    // Compare pointers 
    fmt.Println(f1 == f1) // Prints true 
    fmt.Println(f1 == f2) // Prints false 
} 

Answer 2

weekly.2011-11-18

Bản đồ và giá trị hàm so sánh hiện đang không được phép (trừ so với con số không) theo kế hoạch Go 1. Chức năng bình đẳng là có vấn đề trong một số ngữ cảnh và bản đồ so sánh con trỏ, chứ không phải là nội dung của bản đồ.

Equality

bình đẳng Chức năng là vấn đề trong sự hiện diện của đóng cửa (khi hai đóng cửa bình đẳng?)

Answer 3

Cách giải quyết phụ thuộc vào situtation. Tôi đã phải thay đổi một vài nơi mà tôi đã so sánh các chức năng. Trong trường hợp một lần tôi chỉ làm một cái gì đó khác nhau vì vậy tôi sẽ không cần phải so sánh chúng nữa. Trong một trường hợp khác tôi đã sử dụng một cấu trúc liên kết các chức năng với chuỗi so sánh, một cái gì đó như thế nào,

type nameFunc struct { 
    name string 
    fval func() 
} 

Tôi chỉ đã một vài chức năng tôi cần phải so sánh vì vậy nó là đơn giản nhất để giữ một lát những cấu trúc và quét lát khi cần, so sánh trường tên và gửi fval. Nếu bạn có rất nhiều, bạn có thể sử dụng bản đồ để thay thế. Nếu các hàm của bạn có các chữ ký khác nhau, bạn có thể sử dụng các giao diện, v.v.