可隐式转换为string_view的类无法适配ostream插入运算符问题

我有一个可隐式转换为std::string_view的类，该类在几乎所有场景下都能正常工作，但无法适配ostream插入运算符（operator<<），必须为该类显式编写ostream插入运算符。而可转换为int的类却能正常适配ostream。我猜测原因在于string_view（及其对应的ostream插入运算符）是模板，但想了解更详细的编译失败原因。

代码示例：

#include <iostream>
#include <string_view>

struct I {
    operator int() const { return 4; }
};
struct S {
    operator std::string_view() const { return "I am an S"; }
};

int main() {
    I i;
    S s;
    std::cout << i;  // 正常运行
    std::cout << s;  // 编译失败
}

核心原因：模板参数推导不支持用户定义的隐式转换 #

• int适配成功的逻辑：std::ostream提供了非模板的operator<<(std::ostream&, int)重载。当执行std::cout << i时，编译器会触发I到int的隐式转换，直接匹配这个非模板重载，因此编译通过。
• string_view适配失败的逻辑：针对std::string_view的operator<<是一个模板函数，简化定义如下：

  template <class CharT, class Traits>
  std::basic_ostream<CharT, Traits>& operator<<(
      std::basic_ostream<CharT, Traits>& os,
      const std::basic_string_view<CharT, Traits>& sv
  );
  

  在模板参数推导阶段，编译器需要从实参（S对象）推导出CharT和Traits。但模板推导规则明确：不会考虑用户定义的隐式转换，仅会直接匹配实参与形参的类型。由于S和std::basic_string_view<CharT, Traits>类型不直接匹配，推导失败，编译器找不到可用的重载，最终编译报错。

解决方法 #

要让S类适配ostream，可以采用以下两种方式：

1. 显式触发转换：手动将S对象转为std::string_view后输出：

   std::cout << static_cast<std::string_view>(s);
   

2. 显式编写重载：为S类定制ostream插入运算符：

   std::ostream& operator<<(std::ostream& os, const S& s) {
       return os << static_cast<std::string_view>(s);
   }
   

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