将运算符 << 与隐式转换的非基本数据类型一起使用时出错 [重复]

Question

我有一个结构，它可以作为其他类型的包装器，如下所示：

template<typename T>
struct A {
  A& operator=(const T& value){
    m_value = value;
    return *this;
  }

  operator T() const {
    return m_value;
  }

private:
  T m_value;
};

我是这样使用的：

int main() {
  A<int> a;
  a = 5;                  // Copy assignment constructor
  std::cout << a << "\n"; // Implicit conversion to int
}

按预期工作。使用非基本类型时会出现我的问题，如下例所示：

int main() {
  A<std::complex<int>> c;
  c = std::complex<int>(2, 2);  
  std::cout << c << "\n";
}

上面的 sn-p 引发了 invalid operands to binary expression 错误。

为什么会出现这个错误？为什么std::complex<int> 的重载运算符<< 不与隐式转换的A<std::complex<int>> 一起使用？

Answer 1

std::complex 的流操作符是模板函数。除非您实际拥有std::complex，否则不会调用它们，因为模板参数推导中不会发生任何转换。这意味着编译器将找不到合适的重载来打印A<std::complex<int>>

您是第一个工作案例，因为 std::basic_ostream::operator << 被重载以采用 int 并且您被允许一个用户定义的转换是重载解决方案。

---

作为一种工作方式，您可以定义自己的operator <<，它将您的包装器转发到底层类型的operator <<。看起来像

template<typename T>
std::ostream& operator <<(std::ostream& os, const A<T>& a)
{
    return os << static_cast<T>(a);
}