Какой смысл иметь конструктор преобразования

Question

После прочтения конструктора преобразования я пришел к выводу, что это просто конструктор класса, который имеет один параметр. Это page объясняет это много, но я все еще смущен этим. Почему он используется?. До сих пор все, что я понимаю, что вместо того, чтобы объявить экземпляр в качестве такого

someclass a(12); 

мы могли бы сделать это как

someclass a = 12; 

Answer 1

Если у вас есть конструктор преобразования

SomeClass(int) 

, что означает, что функция

void foo(SomeClass x); 

может быть удовлетворено при вызове

foo(12); 

Это может или может не быть тем вы хотите. Ключевое слово explicit существует, чтобы избежать таких «неожиданных» преобразований.

Answer 2

Его также полезно (dangerious), потому что он может автоматически преобразовывать аргументы.

void print(std::string const& str) 
{ 
    std::cout << str << "\n"; 
} 


int main() 
{ 
    print("Hi"); // That's not a string. 
        // But the compiler spots that std::string has a single 
        // argument constructor that it can use to convert a 
        // `char const*` into a std::string with. 
} 

Это, в основном, позволяет сделать язык более простым для записи (чтения).

Существует неудачный побочный эффект (который они заметили после факта). То, что компилятор преобразует то, что вы не хотите преобразовывать автоматически. Не могу думать об одной из рук. Но они существуют. В результате они добавили ключевое слово explicit для конструкторов. Это предотвращает автоматическое преобразование компилятора (как вам нужно явно его вызывать).

Благодаря @Mooing Duck

int main() 
{ 
    std::vector<int> names = 3; // What does this mean? 
            // This does not compile because of the explicit keyword now. 
            // But it used to compile and the meaning is not obvious. 

    // It gets even worse if you think about a function that takes a vector 
    plop(3); // Do you want that to auto converted into an std::vector<int>? 
       // Would you not want a compiler error? 
} 

Answer 3

Это становится полезным, когда вы хотите сделать неявные преобразования. например

struct A { 
    A(int i) : i(i) {} 
    A() : A(0) {} 
    int i; 
    A operator+(const A& a) { 
     return A(i + a.i); 
    } 
}; 

void f(A a) {} 

int main() { 
    A a(1); 
    A c = a + 2; // This wont be possible with out the implicit conversion of 2 to A 
    f(3);   // This wont be possible with out the implicit conversion of 3 to A 
}