Warum sind „std::function“, „boost::function“ und „std::tr1::function“ nicht gleichheitsvergleichbar?

Warum std::function nicht gleichheitsvergleichbar ist

Anfangsfrage:

Warum ist std::function (auch anwendbar auf boost::function und std::tr1::function) nicht gleichwertig vergleichbar?

Antwort:

Grund für Nichtvergleichbarkeit:

std::function ist so konzipiert, dass es eine breite Palette aufrufbarer Typen unterstützt. Die Einführung eines Gleichheitsvergleichs für alle aufrufbaren Typen wäre für die Implementierer mühsam. Darüber hinaus wären Gleichheitsprüfungen, selbst wenn sie implementiert würden, wahrscheinlich eng und würden äquivalente Funktionen, die unterschiedlich konstruiert sind, nicht berücksichtigen.

"Mögliche Lücke im Typsystem" Erklärung:

Löschen Die überladenen Operatoren == und != verhindern ihre Verwendung vollständig und stellen sicher, dass jeder Versuch, Funktionen implizit zu vergleichen, zu einem Fehler bei der Kompilierung führt. Dieser Ansatz eliminiert die Möglichkeit unbeabsichtigter oder problematischer impliziter Konvertierungen.

Vergleich mit std::shared_ptr:

Im Gegensatz zu std::function hat std::shared_ptr gut- definierte Gleichheitssemantik. Zwei shared_ptr-Instanzen gelten als gleich, wenn sie beide leer sind oder wenn sie beide nicht leer sind und auf dasselbe Objekt verweisen.

Das obige ist der detaillierte Inhalt vonWarum sind „std::function“, „boost::function“ und „std::tr1::function“ nicht gleichheitsvergleichbar?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!