不能 std::cout 隐式转换的 std::string

Question

我曾经通过std::cout << str << std::endl显示字符串，并认为 object 隐式转换为std::string也可以以这种方式显示。

然而，我注意到我错了。 在我为 std::string 重载operator <<之前，我无法std::cout隐式转换的std::string ::string。

以下代码演示了上述内容。

#include <stdio.h>
#include <iostream>
#include <string>

class X
{
public:
    operator std::string() const {
        return std::string("world");
    }
};

#ifdef OVERLOAD_STREAM_OP
std::ostream& operator<<(std::ostream& os, const std::string& s) {
    return os << s;
}
#endif

int main() {
    std::string s = "hello";
    std::cout << s << std::endl; // viable
    printf("---\n");
    X x;
    std::cout << x << std::endl; // not viable

    return 0;
}

看来，在 STL 实现中，std::string 类型的重载operator << function 有点不同（但我真的不明白那些模板的东西）：

  template<typename _CharT, typename _Traits, typename _Allocator>
    std::basic_ostream<_CharT, _Traits>&
    operator<<(std::basic_ostream<_CharT, _Traits>& __os,
           const basic_string<_CharT, _Traits, _Allocator>& __str)
    { return __os << __str._M_base(); }

我的问题：

1. STL 的重载operator <<和我自己的std::string类型的重载operator<<符 << 有什么区别？

2. 为什么我不能用std::cout显示隐式转换的 std::string object x （编译错误）？

Answer 1

1. STL 的重载operator <<和我自己的 std::string 类型的重载operator<<符 << 有什么区别？

您的operator<<是非模板，而 STL 的一个是模板。

2. 为什么我不能用std::cout显示隐式转换的std::string object x （编译错误）？

模板参数推导中不会考虑隐式转换（从X到std::string ），这会导致对模板operator<<的调用失败。 另一方面，非模板operator<<没有这样的问题。

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