<![CDATA[Async und move-only Typen]]>Hi! Kurze Frage. Ich fürchte, dass mein g++ (4.6.3) und die aktuell bei installierte libstdc++ da etwas buggy ist; denn laut Standard (bzw meiner Interpretation) müsste ich das hier doch kompiliert bekommen, oder?

#include <future>
#include <memory>

void foo(std::unique_ptr<int>)
{
}

int main()
{
   std::unique_ptr<int> p (new int(42));
   auto f = std::async(foo,move(p));
   f.get();
}

Bei mir will das nicht. Quasi endlos viele Fehlermeldungen vom Compiler -- habe da auch etwas mit const tuple<...> entdeckt, was mich glauben lässt, dass libstdc++ da was zu kopieren versucht, was nicht zu kopieren ist -- unique_ptr ist ja move-only.

Laut meiner Interpretation des Standards müsste das aber so klappen und der unique_ptr müsste "korrekt geforwarded" werden, also zumindest als rvalue, da ja DECAY_COPY ein rvalue in diesem Fall zurück gibt. Liege ich da falsch oder richtig?

]]>https://www.c-plusplus.net/forum/topic/325172/async-und-move-only-typenRSS for NodeMon, 13 Jul 2026 00:03:27 GMTThu, 17 Apr 2014 19:19:25 GMT60<![CDATA[Reply to Async und move-only Typen on Thu, 17 Apr 2014 19:19:25 GMT]]>Hi! Kurze Frage. Ich fürchte, dass mein g++ (4.6.3) und die aktuell bei installierte libstdc++ da etwas buggy ist; denn laut Standard (bzw meiner Interpretation) müsste ich das hier doch kompiliert bekommen, oder?

#include <future>
#include <memory>

void foo(std::unique_ptr<int>)
{
}

int main()
{
   std::unique_ptr<int> p (new int(42));
   auto f = std::async(foo,move(p));
   f.get();
}

Bei mir will das nicht. Quasi endlos viele Fehlermeldungen vom Compiler -- habe da auch etwas mit const tuple<...> entdeckt, was mich glauben lässt, dass libstdc++ da was zu kopieren versucht, was nicht zu kopieren ist -- unique_ptr ist ja move-only.

Laut meiner Interpretation des Standards müsste das aber so klappen und der unique_ptr müsste "korrekt geforwarded" werden, also zumindest als rvalue, da ja DECAY_COPY ein rvalue in diesem Fall zurück gibt. Liege ich da falsch oder richtig?

]]>https://www.c-plusplus.net/forum/post/2395160https://www.c-plusplus.net/forum/post/2395160Thu, 17 Apr 2014 19:19:25 GMT<![CDATA[Reply to Async und move-only Typen on Thu, 17 Apr 2014 20:11:29 GMT]]>Probier den Code mal mit nem anderen Compiler (über ideone.com oder so).

]]>https://www.c-plusplus.net/forum/post/2395173https://www.c-plusplus.net/forum/post/2395173Thu, 17 Apr 2014 20:11:29 GMT<![CDATA[Reply to Async und move-only Typen on Thu, 17 Apr 2014 20:25:04 GMT]]>hustbaer schrieb:

Probier den Code mal mit nem anderen Compiler (über ideone.com oder so).

Bei ideone kompiliert es, es gibt aber ne Exception, weil dort kein Threading unterstützt wird. Die Frage ist jetzt, ob async jetzt wirklich das alles ausführt mit moven, wo der Fehler auftritt, oder direkt eine Exception wirft.
Edit: Und bei meinem gcc 4.8.1 auch, also liegts wohl am Compiler.

]]>https://www.c-plusplus.net/forum/post/2395175https://www.c-plusplus.net/forum/post/2395175Thu, 17 Apr 2014 20:25:04 GMT<![CDATA[Reply to Async und move-only Typen on Thu, 17 Apr 2014 20:44:19 GMT]]>Vermutlich an der Standardlibrary Implementierung.

]]>https://www.c-plusplus.net/forum/post/2395178https://www.c-plusplus.net/forum/post/2395178Thu, 17 Apr 2014 20:44:19 GMT<![CDATA[Reply to Async und move-only Typen on Thu, 17 Apr 2014 20:44:55 GMT]]>VS2013:
error C2280: 'std::unique_ptr<int,std::default_delete<_Ty>>::unique_ptr(const std::unique_ptr<_Ty,std::default_delete<_Ty>> &)' : attempting to reference a deleted function : c:\program files (x86)\microsoft visual studio 12.0\vc\include\functional : 1112

]]>https://www.c-plusplus.net/forum/post/2395179https://www.c-plusplus.net/forum/post/2395179Thu, 17 Apr 2014 20:44:55 GMT<![CDATA[Reply to Async und move-only Typen on Thu, 17 Apr 2014 20:45:29 GMT]]>hustbaer schrieb:

Vermutlich an der Standardlibrary Implementierung.

Ja, Compiler, Standardimplementierung, IDE,... alles dasselbe. 😉

]]>https://www.c-plusplus.net/forum/post/2395180https://www.c-plusplus.net/forum/post/2395180Thu, 17 Apr 2014 20:45:29 GMT<![CDATA[Reply to Async und move-only Typen on Thu, 17 Apr 2014 21:11:33 GMT]]>ok, wenn es also bei neueren Versionen funktioniert, gehe ich mal davon aus, dass die alte Version diesbezüglich buggy ist und dass meine Interpretation richtig ist.

Danke.

]]>https://www.c-plusplus.net/forum/post/2395185https://www.c-plusplus.net/forum/post/2395185Thu, 17 Apr 2014 21:11:33 GMT<![CDATA[Reply to Async und move-only Typen on Thu, 17 Apr 2014 21:36:01 GMT]]>Das ist natürlich konform; async forwarded bzw. moved alle Argumente. Mein GCC 4.8.1 (wie der Nathans) führt es vollständig fehlerfrei aus.
Was passiert, wenn du als Launch-Policy nur async angibst?

Edit: Ein wenig zu spät.... :p

]]>https://www.c-plusplus.net/forum/post/2395191https://www.c-plusplus.net/forum/post/2395191Thu, 17 Apr 2014 21:36:01 GMT<![CDATA[Reply to Async und move-only Typen on Thu, 17 Apr 2014 21:34:53 GMT]]>Die Implementation der stdlibc++ ist völlig konform: Alle Argumente in ein Tupel reinmoven zum Zwischenspeichern und dann über das Tupel die Argumente forwarden. Dafür brauchts halt rvalue-References auf *this, was der GCC 4.6.3 offensichtlich noch nicht unterstützt.

]]>https://www.c-plusplus.net/forum/post/2395192https://www.c-plusplus.net/forum/post/2395192Thu, 17 Apr 2014 21:34:53 GMT<![CDATA[Reply to Async und move-only Typen on Fri, 18 Apr 2014 03:24:10 GMT]]>aergds schrieb:

Dafür brauchts halt rvalue-References auf *this, was der GCC 4.6.3 offensichtlich noch nicht unterstützt.

Ich bin mir ziemlich sicher, dass man das dafür nicht braucht. 🙂

]]>https://www.c-plusplus.net/forum/post/2395214https://www.c-plusplus.net/forum/post/2395214Fri, 18 Apr 2014 03:24:10 GMT