Operatore lambda C++ ==

Question

Come si confrontano due funzioni lambda in C++ (Visual Studio 2010)?

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

Viene visualizzato un errore di compilazione che afferma che l'operatore == non è accessibile.

MODIFICA: Sto provando a confrontare le istanze di funzione. Quindi lambda1 == lambda1 dovrebbe restituire true, mentre lambda1 == lambda2 dovrebbe restituire false.

Answer 1

Non è possibile confrontare gli oggetti std::function perché std::function is not equality comparable. Anche il tipo di chiusura della lambda non è paragonabile alla parità.

Tuttavia, se il lambda non cattura nulla, lambda stessa può essere convertito in un puntatore a funzione, e puntatori a funzione sono l'uguaglianza paragonabili (tuttavia, al meglio della mia conoscenza è del tutto specificato se in questo esempio are_1and2_equal è true o 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. La conversione non è stata aggiunta a C++ 0x fino a poco prima che Visual C++ venisse rilasciato.

Answer 2

Risposta più semplice: Tutti gli operatori di funzione di classe <> ==() s sono privati.

Followup domanda: Che se la seguente ti aspettavi:
- confrontare l'indirizzo di funzioni
- confrontare due oggetti distinti (di tipo std :: funzione < void()>
- confrontare due funzioni astratte

Edit (quasi 5 anni più tardi):

trovo divertente che ci sono downvotes senza commenti Se i downvotes sono causa C++ 11 ha cambiato il livello di accesso per la funzione std :: :: operator ==(). , quindi dico che l'elettore non capisce come funziona il tempo i downvotes sono perché il questionario non ha chiarito cosa avrebbe immaginato l'operatore ==(), forse l'elettore dovrebbe vedere la discussione di più ore tramite commenti immediatamente sotto la domanda, che l'OP ha risposto solo nei commenti a la mia risposta.

Answer 3

Non è possibile confrontare le funzioni, fine di.

Si può al massimo confrontare i puntatori a funzioni in lingue che hanno quel concetto (questo è anche ciò che, per esempio, EQ fa in Lisp. E non riesce per funzioni equivalenti che non occupano lo stesso posto in memoria.)

Answer 4

Questo è impossibile.

Proof schizzo: se fosse possibile calcolare

f1 == f2 

allora sarebbe anche possibile calcolare

f == infiniteLoop 

e risolvere il problema Halting.