Por qué no auto_ptr trabajos de construcción utilizando la sintaxis =

Question

me encontré con un error del compilador que no tiene mucho sentido para mí:

#include <memory> 
using namespace std; 

auto_ptr<Table> table = db->query("select * from t"); 

error: la conversión de 'Tabla *' de tipo no escalar ' std :: auto_ptr < Tabla>' pidió

Sin embargo, el trabajo siguiente línea hace:

auto_ptr<Table> table(db->query("select * from t")); 

¿Qué hay en esta definiton del constructor que hace que no funcione como se esperaba? Pensé que las declaraciones inicializadas usaban los constructores.

Aquí está mi auto_ptr 's constructor (de la SGI STL):

explicit 
auto_ptr(element_type* __p = 0) throw() : _M_ptr(__p) { } 

Answer 1

Es la palabra clave "explícita".

template <typename T> 
struct foo 
{ 
    explicit foo(T const *) 
    { 
    } 
}; 


template <typename T> 
struct bar 
{ 
    bar(T const *) 
    { 
    } 
}; 


int main(int argc, char **argv) 
{ 
    int a; 
    foo<int> f = &a; // doesn't work 
    bar<int> b = &a; // works 
} 

La palabra clave "explicit" impide que el constructor se utilice para las conversiones de tipo implícito. Tenga en cuenta los siguientes dos prototipos de funciones:

void baz(foo<int> const &); 
void quux(bar<int> const &); 

Con estas definiciones, intente llamar a las dos funciones con un puntero int:

baz(&a); // fails 
quux(&a); // succeeds 

En el caso de quux, el puntero int se convierte implícitamente a un bar.

EDIT: Para ampliar lo que otras personas comentaron, considere la (bastante tonto) siguiente código:

void bar(std::auto_ptr<int>); 


int main(int argc, char **argv) 
{ 
    bar(new int()); // probably what you want. 

    int a; 
    bar(&a); // ouch. auto_ptr would try to delete a at the end of the 
      // parameter's scope 

    int * b = new int(); 
    bar(b); 
    *b = 42; // more subtle version of the above. 
}