为什么不能将 cout 与用户定义的转换一起使用到 std::string？

Question

这里我定义一个Date，并指定一个用户定义的转换。

class Date {
private:
    int day;
    int month;
    string dateStr;
public:
    Date(int _day, int _month) : day(_day), month(_month) {}

    operator const string() {
        ostringstream formattedDate;
        formattedDate << month << "/" << day;
        dateStr = formattedDate.str();
        return dateStr;
    }
};

转换为string时效果很好。

Date d(1, 1);
string s = d;

但是为什么不能直接和cout一起使用呢？

cout << d << endl; // The compiler complains that there is no suitable type marching << operator

但是，如果我使用char* 而不是string 进行用户定义的转换，我可以直接与cout 一起使用。为什么？

operator const char*() { 
    ostringstream formattedDate;
    formattedDate << month << " / " << day;
    dateStr = formattedDate.str();
    return dateStr.c_str();
}

ps。我知道直接重载<< 可以很好地输出。但我的问题是：为什么不能将<< 与用户定义的转换一起使用到std::string？

Answer 1

注意std::string是模板std::basic_string的实例化，the signature of operator<< for std::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);

那么对于cout << d;，必须推导出std::basic_string的模板参数；但是type deduction does not consider implicit conversions;

类型推导不考虑隐式转换（除了上面列出的类型调整）：这是重载解析的工作，稍后会发生。

这意味着扣除将失败；那么没有候选函数是可行的。

但是operator<< for const char*没有这样的问题；隐式转换生效，然后就可以正常工作了。

为了解决这个问题，您可以使用显式转换来避免模板参数推导；或直接在类型Date 上重载operator<<。