为什么隐式转换为 std::string 不适用于运算符<<被调用

Why implicit conversion to std::string doesn't work with operator<< being called

本文关键字:lt 运算符 调用 适用于 string 转换 为什么 std 不适用      更新时间:2023-10-16

起初,我使用用户定义的转换函数将对象隐式转换为int,然后使用运算符将其插入cout <<。程序编译成功并打印为"0"。

#include <iostream>
using namespace std;
class T {
public:
    operator int () {
        return 0;
    }
};
int main()
{
    T a;
    cout << a << endl;
    return 0;
}

然后,我尝试做同样的事情,只是将对象转换为std::string。程序出现编译错误。

#include <iostream>
#include <string>
using namespace std;
class T {
public:
    operator string () {
        return "";
    }
};
int main()
{
    T a;
    cout << a << endl;
    return 0;
}

为什么隐式转换不会在第二种情况下发生。

为什么隐式转换不会在第二种情况下发生。

因为operator<<(std::basic_string)是一个模板函数,

template <class CharT, class Traits, class Allocator>
std::basic_ostream<CharT, Traits>& 
    operator<<(std::basic_ostream<CharT, Traits>& os, 
               const std::basic_string<CharT, Traits, Allocator>& str);

这意味着给定T a; cout << a << endl;,要调用它,需要推导出所有三个模板参数。但在模板参数推导中,不会考虑隐式转换,然后推导失败。

类型

推断不考虑隐式转换(上面列出的类型调整除外(:这是重载解决的工作,稍后会发生。

另一方面,std::basic_ostream::operator<<(int)是一个非模板函数;它没有这样的问题。