In Bezug auf das Papier, das beschreibt, entfernen die Leere Spezialisierungen für Std :: Future und Std :: Versprechen P0241R0. Dies ist vielleicht eine blöde Frage, aber die vorgeschlagene Lösung besteht darin, die void-Spezialisierung vollständig zu entfernen, aber was sollen die Leute dann tun, wenn sie ein std::future<void> Objekt instanziieren wollen?Entfernen der leeren Spezialisierungen für std :: future und std :: promise
Wie in der Referenz erwähnt, wäre dies möglich if void were a regular type.
void get_value() {
void x;
return x;
}
So funktioniert es in einigen anderen Sprachen, so ist es nicht ohne Präzedenzfall. In anderen Sprachen wird der Typ "Einheit" genannt, weil er genau einen möglichen Wert hat. (Andere Sprachen haben auch den "Null" -Typ, der keine möglichen Werte hat. Wenn Sie also versuchen, einen zu erstellen, erhalten Sie einen Fehler. Er heißt "null", hat aber nichts mit Null-Zeigern zu tun.)
Der Zweck von a std :: future soll wissen, wann ein Prozess ohne Rückgabewert beendet wurde. Im Grunde ist es ein Synchronisationswerkzeug.
Dies beantwortet die Frage nicht. –
Um die Frage "was wird von Leuten erwartet?" Direkt zu beantworten, machen sie nichts anderes. 'Zukunft' geht nicht weg, es braucht keine Spezialisierung. –
@DrewDormann: Von dem, was ich verstehe, müssten Sie schließlich einige Änderungen vornehmen, da das Entfernen der Spezialisierung "std :: promise" bedeuten würde, dass die Funktion 'set_value()' nicht mehr existiert und Sie 'set_value' aufrufen müssten ({}) stattdessen. –