隐式类型转换不起作用

Implicit type conversion is not working

本文关键字：不起作用 类型转换      更新时间：2023-10-16
class Test {
public:
    operator string() {
        return string{"TEST!"};
    }
};
int main() {
    cout << Test{};
}

我期待 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!"

Borgleader解释了cout << string的一些特别之处。假设部分正确，部分错误。

explicit 关键字意味着您必须像std::string(Test{})一样自己显式进行转换。它禁用隐式转换。

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

规则是，在模板参数推导期间，不会尝试用户定义的转换。但是，正如您所指出的，如果您只有一个转换运算符来编译它。这是因为该重载不是函数模板。看看参考页面，你会看到：

basic_ostream& operator<<( int value );

这是一个非模板化的重载，因此编译器将查找用户定义的转换。

采用std::string(或std::basic_string(的operator<<重载是一个函数模板。在模板参数推导期间不考虑用户定义的转换，因此编译器不认为string重载是匹配的。

若要避免此错误，请为类定义重载basic_ostream& operator<<(basic_ostream&, Test&)。

相关文章：