Toán tử C++ lambda ==

Question

Làm cách nào để so sánh hai hàm lambda trong C++ (Visual Studio 2010)?

std::function<void()> lambda1 = []() {}; 
std::function<void()> lambda2 = []() {}; 
bool eq1 = (lambda1 == lambda1); 
bool eq2 = (lambda1 != lambda2); 

Tôi nhận được lỗi biên dịch cho rằng toán tử == không thể truy cập được.

EDIT: Tôi đang cố gắng so sánh các phiên bản chức năng. Vì vậy lambda1 == lambda1 nên trả về true, trong khi lambda1 == lambda2 sẽ trả về false.

Answer 1

Bạn không thể so sánh std::function đối tượng vì std::function is not equality comparable. Loại đóng cửa của lambda cũng không phải là sự tương đương bình đẳng. Tuy nhiên, nếu lambda của bạn không chụp bất cứ thứ gì, bản thân lambda có thể được chuyển đổi thành con trỏ hàm, và con trỏ hàm là tương đương (tuy nhiên, theo hiểu biết của tôi, nó hoàn toàn không được chỉ định trong ví dụ này là are_1and2_equal là true hoặc false):

void(*lambda1)() = []() { }; 
void(*lambda2)() = []() { }; 
bool are_1and1_equal = (lambda1 == lambda1); // will be true 
bool are_1and2_equal = (lambda1 == lambda2); // may be true? 

Visual C++ 2010 does not support this conversion. Chuyển đổi không được thêm vào C++ 0x cho đến khi ngay trước khi Visual C++ được phát hành.

Answer 2

Câu trả lời đơn giản nhất: Tất cả các mẫu <> Toán tử của hàm class ==() s là riêng tư.

followup câu hỏi: Những nếu sau cậu mong đợi:
- so sánh địa chỉ của các chức năng
- so sánh hai đối tượng riêng biệt (kiểu std :: function < void()>
- so sánh hai chức năng trừu tượng

Chỉnh sửa (gần 5 năm sau):

Tôi thấy thật thú vị khi có các ý kiến ​​phản đối mà không có ý kiến. Nếu downdotes là vì C++ 11 thay đổi cấp truy cập cho std :: function :: operator ==() , sau đó tôi nói cử tri không hiểu cách thức hoạt động của thời gian. f downvotes là bởi vì người hỏi câu hỏi không làm rõ những gì anh ta tưởng tượng toán tử ==() sẽ so sánh, có lẽ cử tri sẽ thấy cuộc thảo luận nhiều giờ qua bình luận ngay dưới câu hỏi, trong đó OP trả lời chỉ trong các nhận xét câu trả lời của tôi.

Answer 3

Bạn không thể so sánh chức năng, kết thúc.

Bạn có thể so sánh hầu hết các con trỏ với các chức năng bằng các ngôn ngữ có khái niệm đó (ví dụ, EQ làm trong Lisp. Và không thành công cho các hàm tương đương không chiếm cùng một vị trí trong bộ nhớ.)

Answer 4

Điều này là không thể.

Proof phác thảo: nếu nó là có thể tính toán

f1 == f2 

thì nó cũng sẽ có thể để tính toán

f == infiniteLoop 

và giải quyết các vấn đề ngăn chặn.