use_count() von shared_ptr zog in ein std :: async in gcc 4.6.3

Question

in dem folgenden Code, ich möchte die use_count() des shared_ptr in die std::async bewegt 1 sein:

#include <memory> 
#include <iostream> 
#include <future> 

using namespace std; 

void fun(shared_ptr<int> sp) 
{ 
    cout << "fun: sp.use_count() == " << sp.use_count() << 
     " (in gcc 4.6.3, is there a way to make this 1?)\n"; 
} 

int main() 
{ 
    auto sp1 = make_shared<int>(5); 

    auto fut = async(
     launch::async, 
     fun, 
     move(sp1) 
    ); 
} 

---

Meine Plattform nutzt gcc 4.6.3 und der Code oben gibt diese Ausgabe (fun: sp.use_count() == 2):

fun: sp.use_count() == 2 (in gcc 4.6.3, is there a way to make this 1?) 

---

Auf coliru.stacked-crooked.com, erhalte ich das Verhalten, das ich will (fun: sp.use_count() == 1):

fun: sp.use_count() == 1 (in gcc 4.6.3, is there a way to make this 1?) 

---

Ich bin nicht sicher, was Compiler coliru verwendet, aber ich vermute, es ist neuer als gcc 4.6.3.

Gibt es eine Möglichkeit, um das gewünschte Verhalten zu erhalten, ohne meinen Compiler von gcc 4.6.3 zu aktualisieren?

Answer 1

Obwohl std::async kopiert alle Argumente, beim Aufruf der Funktion es perfekt-leitet die Argumente auf die aufrufbar, so dass die Argument Wert Kategorie beibehalten wird.

Die Argumente für std::async sind nur MoveConstructible sein erforderlich, sonst wäre es nicht möglich sein, std::unique_ptr in std::async passieren.

Mit anderen Worten, das richtige Verhalten ist sp.use_count() == 1 und das ist, was ich mit einem alten g ++ - 5.3.1 beobachte.

---

Überprüfen Sie, ob der folgende Code mit dem Compiler kompiliert, wo Sie sp.use_count() == 2 beachten:

using namespace std; 

void fun(unique_ptr<int> p) { 
    cout << "fun " << *p << '\n'; 
} 

int main() { 
    unique_ptr<int> sp(new int{1}); 

    auto fut = async(
     launch::async, 
     fun, 
     move(sp) 
    ); 

    fut.get(); 
} 

Answer 2

eine mögliche Abhilfe

void fun(shared_ptr<int>* sp) 
{ 
    unique_ptr<shared_ptr<int>> guard(sp); 

    cout << "fun: sp.use_count() == " << sp->use_count() << 
     " (in gcc 4.6.3, is there a way to make this 1?)\n"; 
} 

int main() 
{ 
    auto sp1 = make_shared<int>(5); 

    auto fut = async(
     launch::async, 
     fun, 
     new shared_ptr<int>(move(sp1)) 
    ); 
} 

sein könnte, was gesagt, wäre es interessant, zu sehen, wo gcc463 erstellt die zusätzliche Kopie im Originalcode; Es sieht so aus, als würde das temporäre Element, das in async() von "dease_copy" übergeben wird, nicht wie ein rvalue an den Parameter "fun()" weitergeleitet werden. Können Sie nicht mit Ihrem Debugger eingreifen, um zu sehen, was vor sich geht?