erstellen std :: pair oder std :: map mit std :: unique_ptr als Wert implizit

Question

Dieser Code in Visual Studio funktioniert:

typedef struct { 
    int a; 
} data_t; 

using datap_t = std::unique_ptr<data_t>; 
using MyPair = std::pair<std::string, datap_t>; 

int main() { 
    data_t * pd1 = new data_t(); 
    MyPair p("tst", pd1); // This does not compile in gcc or clang 
    // MyPair p2("tst", datap_t(pd1)); // This compiles 

    return 0; 
} 

Aber Klirren und gcc geben Fehler:

error: no matching function for call to 'std::pair<const std::basic_string<char>, std::unique_ptr<data_t> >::pair(const char [3], data_t*&) 

Here ist der ideale zu versuchen.

Die Tatsache, dass ich datap_t(pd1) und es kompiliert bedeutet, dass der Konstruktor gültig ist, also warum ist diese Vorlage nicht eine passende finden?

Ich habe versucht, ein Schlüssel-Wert-Paar zu einer Karte mit Emplace hinzuzufügen, und deshalb wollte ich diese implizite Konvertierung an erster Stelle haben. Beachten Sie, dass die implizite Konvertierung wie Visual Studio für die meisten anderen Typen funktioniert, z. B. std::string von "raw string".

This answere sieht relevant aus, aber es spricht über einen behobenen Fehler und ist sehr alt.

Answer 1

Der std::unique_ptr Konstruktor, der einen einzelnen rohen Zeiger als Eingabe verwendet, wird als explicit markiert, um implizite Konvertierungen zu verhindern.

pd1 ist ein roher Zeiger. MyPair p("tst", pd1); beinhaltet eine implizite Konvertierung zu std::unique_ptr, weshalb die Kompilierung in Clang und GCC fehlschlägt, wie es sein sollte. Sie haben stattdessen eine explizite Umwandlung zu verwenden:

MyPair p("tst", datap_t(pd1)); 

Eine bessere Option ist überhaupt nicht zu den rohen Zeiger zu verwenden:

MyPair p("tst", std::make_unique<data_t>()); 

Clang und GCC das Richtige tun, Visual Studio ist nicht (trotz seiner unique_ptr documentation zeigt der entsprechende Konstruktor ist explicit).