为 std::complex 重载标准运算符<<

Question

有没有办法替换默认的

template <typename T, typename charT, typename traits> 
std::basic_ostream<charT, traits> &
operator << (std::basic_ostream<charT, traits> &strm, const std::complex<T>& c)

带有我自己版本的标准库？我不能只使用上面的签名重载它，因为编译器抱怨（这是正确的）关于模棱两可的调用。我需要这样的重载，因为我想以不同的格式显示std::complex 数字，例如a + b*i，而不是默认的(a,b)。

我可以简单地做到这一点

template<typename T>
std::ostream& operator<<(std::ostream& os, const std::complex<T>& c)
{
    os << real(z) << " + " << imag(z) << "i";
    return os;
}

但这不是std 中使用的通用版本，不会被其他库调用，例如 Eigen。

Answer 1

你能做的——至少因为你已经愿意采取官方禁止的方法来向namespace std添加一些与用户定义的类无关的东西——就是为你的类型明确地专门化它需要。

template <typename charT, typename traits>
std::basic_ostream<charT, traits>&
operator << (std::basic_ostream<charT, traits> &strm, const std::complex<double>& c)    
{
    strm<<c.real()<<"+"<<c.imag()<<"*i";
    return strm;
}

然后编译器将选择完美匹配而不是模板版本。为您需要的每种类型重载它。

但是请注意，遵循 C++ 标准，这会产生未定义的行为，因为您可能不会向 namespace std 添加任何内容来替换现有的实现。

不过，它似乎至少在使用 g++ 编译器的 ideone.com 上有效，并且可能对于其他现代编译器也是如此[这个猜测基于 this thread here]