неявного преобразования типа не работает

Question

class Test { 
public: 
    operator string() { 
     return string{"TEST!"}; 
    } 
}; 

int main() { 
    cout << Test{}; 
} 

Я ожидал, что тестовый объект будет неявно преобразуются в строку и выход, но он дает мне ошибку:

error: cannot bind 'std::ostream {aka std::basic_ostream<char>}' lvalue to 'std::basic_ostream<char>&&' 

Это явное преобразование работает:

cout << string{Test{}}; 

---

Я получил это работает литьем в const char*:

class Test { 
public: 
    operator const char*() { 
     return "TEST!"; 
    } 
}; 

Тогда выход:

cout << Test{}; //Yay it works. 

Я предполагаю, что cout << string уже неявное преобразование из string в char * и если я использую литье в строку, она не будет выполнять преобразование в два уровня из Test to string to char *. После прямого литья до const char* он работает. (Пожалуйста, исправьте, если предположение неверно)

---

ДОКАЗАТЬ это предположение верно

class Test { 
public: 
    operator string() { 
     return string{"TEST!"}; 
    } 
}; 

ostream& operator<< (ostream& os, string s){ 
    os << s; 
    return os; 
} 

Это будет выполнять прямой вычет типа из Test to string и строки вывода. и после того, как я попробовал, он работает!

cout << Test{}; //YAY WORKS! OUTPUT "TEST!" 

---

Что-то особенное cout << string объясняется Borgleader. Предположение частично правильно и частично ошибочно.

Answer 1

Ключевое слово explicit означает, что вы должны явно сделать преобразование самостоятельно, как std::string(Test{}). Он отключает неявные преобразования.

cout << string{Test{}}; // <-- this is explicit, you've got implicit and explicit confused 

Правило заключается в том, что при выводе аргумента шаблона не учитывается определенное пользователем преобразование. Однако, как вы заметили, если у вас есть только оператор преобразования для int, он компилируется. Это связано с тем, что эта перегрузка не является шаблоном функции. Посмотрите на reference page, и вы увидите:

basic_ostream& operator<<(int value); 

Это не-шаблонные перегрузки поэтому компилятор будет искать преобразования определенного пользователя.

Answer 2

Перегрузка std::string (или std::basic_string) является функциональным шаблоном. Определенные пользователем преобразования не учитываются при выводе аргумента шаблона, поэтому компилятор не считает перегрузку string совпадением.

Чтобы избежать ошибки, определите перегрузку basic_ostream& operator<<(basic_ostream&, Test&) для вашего класса.