C++09 (Teil 1) - Ein Überblick: Sprachfeatures

[Phoemuex]

Vielen Dank für den Artikel, ich habe noch eine Frage: Wieso hast du nichts zu dem Garbage-Collector geschrieben, der ja wenigstens geplant war? Wird der im endgültigen Standard doch nicht enthalten sein (hoffentlich :D) oder hat das andere Gründe?

Felix

[Ben04]

In C++09 wird der soweit ich weiß nicht drin sein.

[Gast]

Weiß jemand, welche Art GC für C++ angedacht ist? Sollte es dann wie in C++/CLI dafür eigene Pointer-Typen geben, oder würde es sowas wie der Boehm Collector (= konservativ) werden? Sorry, falls es zu offtopic wird, ich frage dann auch nicht mehr genauer nach. Mich interessiert das Thema GC nur generell.

Btw. sehe ich grad noch die verbesserten for-loops. Ich bin froh, dass es das jetzt auf Sprachebene geben wird. Das mit den Makros ist einfach nichts gescheites.

[queer_boy]

Der GC ist vom Komitee zurückgestuft worden, weil da einfach noch zu viel unklar ist. Nix mit 09 also.
Das Komitee schreibt dazu:

A second proposed compromise to meet the timetable is the scaling back of the garbage collection feature. It is planned to remove known problems that inhibit garbage collected implementations, without actively designing a new feature.

d.h., das ist alles, was in C++09 drin sein wird.

Ein GC also entweder in einem späteren Standard oder als Technical Report.

Optimizer schrieb:

Weiß jemand, welche Art GC für C++ angedacht ist? Sollte es dann wie in C++/CLI dafür eigene Pointer-Typen geben, oder würde es sowas wie der Boehm Collector (= konservativ) werden? Sorry, falls es zu offtopic wird, ich frage dann auch nicht mehr genauer nach. Mich interessiert das Thema GC nur generell.

C++/CLI wird im letzten (zurückgestuften) Proposal *nicht* empfohlen. Es ist angedacht, Programme voll unter die Kontrolle eines GCs zu stellen (wobei das optional (bzw. "programmer-directed") aktiviert werden soll, wo auch z.B. ints nach Adressen auf Objekte untersucht werden sollen (zumindest, wenn man sie als gc_relaxed deklariert).
Aber H. Boehm kann das in seinem Proposal sicher besser als ich zusammenfassen.

AFAIR geht die Syntax für ein new ohne GC dann so:

new (nogc) X;
//und
malloc_nogc

Es wird dann auch möglich sein, das ganze auf der Ebene von Übersetzungseinheiten zu steuern. Mit einem

gc_forbidden;

wird der GC abgeschaltet (für die eine Unit), auch ein Objekt gc_lock lock; kann per RAII für eine einzelne Funktion den GC unterbinden.

Ich habe das aber weder hier noch im nächsten Artikel angesprochen, weil es eben nicht Teil von 09 sein wird.

Achja: Der GC wird *keine* Destruktoren aufrufen, auch kein finally ist angedacht.

[Gast]

Danke.

[C++-Prokkramierer]

Wozu auch nen GC? Jeder C++ Programmierer ist es doch gewohnt ohne zu Leben und weiß damit umzugehen (smart-ptr), von daher sehe ich da keinen Vorteil den in den Standard aufzunehmen und GC-Bibliotheken gibt es ja bereits für die die es dennoch brauchen.

Mir gefallen die Ideen der neuen Konzepte sehr gut, aber deren Syntax gefällt mir zum Großteil weniger

[Ben04]

Wenn jemand gerne über das Thema "GC in C++XY" dann soll er bitte ein Topic in RudP eröffnen.

[Gast]

Schöner Artikel

Ne Frage: Wieso kann man decltype nicht erweitern, um es folgendermaßen benutzen zu können:

decltype(int + double); // Kann das ein Ausruck sein ? Müsste man den Standard bissl umschreiben ;)

Das müsste sich doch leicht machen lassen, dann würde man auch Funktionen leicher deklarieren können:

template<class A, class B>
decltype(A + B) operator+( const A& a, const B& b);

Und wenn nicht könnte man sich die "komplizierte" Funktionsdeklaration sparen, indem man decltype in Kombination mit T() benutzt, dann hätte man wieder seinen normalen Ausdruck:

template<class A, class B>
decltype(A() + B()) operator+( const A& a, const B& b);

Alle Build'ins haben (), natürlich müsste T dieses dann auch bereitstellen ...

[Gast]

... Ist decltype überhaupt nen Compile-Zeit-Operator ?

[Prokkramierer]

KasF schrieb:

... Ist decltype überhaupt nen Compile-Zeit-Operator ?

Muss es, da C++ ein statisches Typsystem hat.

[Gast]

Prokkramierer schrieb:

Muss es, da C++ ein statisches Typsystem hat.

Stimmt ja

Was ist mit dem Trick nun:

template<class A, class B>
decltype(A() + B()) operator+( const A& a, const B& b);

anstatt:

template<class A, class B>
auto operator+( const A& a, const B& b) -> decltype(a + b);

Kann das funktionieren ?

[Bashar]

KasF schrieb:

Was ist mit dem Trick nun:

template<class A, class B>
decltype(A() + B()) operator+( const A& a, const B& b);

Ich würde mal aus dem Bauch heraus sagen, das funktioniert ohne Probleme, wenn A und B default-konstruierbar sind.

[camper]

KasF schrieb:

[Was ist mit dem Trick nun:

template<class A, class B>
decltype(A() + B()) operator+( const A& a, const B& b);

Kann das funktionieren ?

Daran ist nichts auszusetzen - aber ist das wirklich einfacher?
Die andere Deklarationsform erlaubt es, den typbestimmenden Ausdruck genauso zu schreiben, wie er dann tatsächlich in der Implementation vorkommt - bei traditioneller Schreibweise wie hier sieht das dagegen doch recht umständlich aus (insbesondere wenn die Funktionsparametertypen komplexer werden (häufig genug werden die ja irgendwie komplex aus den Templateparametern zusammengesetzt).
Was ich evtl. kritisieren würde, ist, dass auch bei neuer Schreibweise immer noch Codeduplizität auftritt - der decltype-Ausdruck nimmt ja im Grunde die Implementation vorweg. So gesehen wäre es ggf. wünschenswert, den return-Typ gar nicht explizit angeben zu müssen und auf diesen aus der Implementation zu schließen, z.B.:

template<typename T, typename U>
constexpr auto max(T&& a, U&& b) { return a < b ? b : a; } // implizit inline auch ohne constexpr, statt
template<typename T, typename U>
constexpr auto max(T&& a, U&& b) -> decltype( a < b ? b : a ) { return a < b ? b : a; }

Das wäre denkbar, wenn die Implementation wie bei contexpr dann vornherein auf ein einzelnes return-Statement beschränkt ist (die meisten Fälle, die mir einfallen, sollten sowieso constexpr sein). Ist aber wahrscheinlich nicht wichtig genug, um die Sprache dafür zu ändern.

[queer_boy]

Bashar schrieb:

KasF schrieb:

Was ist mit dem Trick nun:

template<class A, class B>
decltype(A() + B()) operator+( const A& a, const B& b);

Ich würde mal aus dem Bauch heraus sagen, das funktioniert ohne Probleme, wenn A und B default-konstruierbar sind.

oder man würde auf nummer sicher gehen:

template <class A, class B>
decltype(*static_cast<A*>(0) + *static_cast<B*>(0)) operator + (A const&, B const&);

das ist umständlich.

camper schrieb:

Was ich evtl. kritisieren würde, ist, dass auch bei neuer Schreibweise immer noch Codeduplizität auftritt - der decltype-Ausdruck nimmt ja im Grunde die Implementation vorweg. So gesehen wäre es ggf. wünschenswert, den return-Typ gar nicht explizit angeben zu müssen und auf diesen aus der Implementation zu schließen, z.B.:

template<typename T, typename U>
constexpr auto max(T&& a, U&& b) { return a < b ? b : a; } // implizit inline auch ohne constexpr, statt
template<typename T, typename U>
constexpr auto max(T&& a, U&& b) -> decltype( a < b ? b : a ) { return a < b ? b : a; }

ich habe dunkel in erinnerung, diesen vorschlag irgendwo gelesen zu haben. ein schnelles durchschauen der passenden dokumente hat aber jetzt irgendwie nichts gebracht. ich wüsste jetzt aber nicht einmal mehr, wie weit ausgereift dieser vorschlag wäre.

[Gast]

camper schrieb:

aber ist das wirklich einfacher?

Kommt wahrscheinlich auf die Funktion an. Bei op+ zb sind mir ja die Parameter egal, mich interessiert ja nur der Typ. Hingegen bei deinem max müsste ich die auto -> decltype Variante benutzen.

Wobei ich auto -> decltype irgendwie schöner finde, also decltype( T()+U() )

camper schrieb:

Was ich evtl. kritisieren würde, ist, dass auch bei neuer Schreibweise immer noch Codeduplizität auftritt - der decltype-Ausdruck nimmt ja im Grunde die Implementation vorweg.

Hmmm, das gefällt mir irgendwie gar nicht, wäre schön wenn das so Umgesetzt werden könnte, wie du es vorgeschlagen hast.

[Frickler]

Lol wie geil jetzt werden Kritiken an der neuen Syntax schon gelöscht

[GPC]

Frickler schrieb:

Lol wie geil jetzt werden Kritiken an der neuen Syntax schon gelöscht

Nein, ich lösche Posts die offensichtlich nur einen Flamewar provozieren.

[Frickler]

Ich habe doch nur meine subjektive Meinung dazu abgegeben. Gut der letzte Satz konnte auch falsch verstanden werden, aber einen Flamewar wollte ich damit nicht provozieren, sondern nur darauf hinweisen, dass es in anderen Sprachen doch auch mit etwas weniger kryptischer Syntax geht.

[Ben04]

Langsamer wird das aber wirklich sehr stark OT hier. Hier gehören Beiträge zum und Diskussionen über den Artikel hin, nicht wie man C++09 besser machen könnte und schon gar keine Diskussion über einen Flamewar. Dafür sind NDR und RudP da,

[GPC]

Diskussionen die nicht direkt zum Artikel gehören ab jetzt hier: http://c-plusplus.net/forum/viewtopic-var-t-is-207658.html