为何std::string类型转换运算符无法配合ostream<<使用？

核心原因在于C++模板参数推导的规则限制，以及ostream相关运算符的实现方式差异：

1. const char*对应的operator<<是现成的非模板重载
   std::ostream类本身提供了非模板的operator<<重载，直接接受const char*类型参数。当你用std::cout << mc1时，编译器可以通过一次用户定义的隐式转换（调用my_class的operator const char*()），将mc1转换成const char*，匹配到这个非模板重载，因此编译通过。

2. std::string对应的operator<<是模板函数，推导时不支持用户定义转换
   用于输出std::string的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);
   

   在模板参数推导阶段，编译器不允许使用用户定义的隐式转换（比如my_class到std::string的转换运算符）来推导模板参数。因此，编译器无法将mc1推导为std::string类型，自然无法匹配到这个模板函数。

为什么显式转换或友元运算符能解决问题？ #

• 显式转换：std::cout << (std::string)mc1相当于先手动完成用户定义转换，将mc1转成std::string，此时编译器可以直接匹配到模板实例化后的operator<<，无需推导。
• 友元运算符：自定义的operator<<(std::ostream&, my_class&)是一个非模板函数，编译器可以直接匹配到它，不需要任何转换（仅需访问类内部成员），因此编译通过。

内容的提问来源于stack exchange，提问作者user2871308