通用模板 ostream << 运算符的 C++ 不明确重载

Question

这个问题跟在我之前的问题之后：Generic operator<< ostream C++ for stringifiable class 我想实现一个通用的 <<ostream 运算符，它适用于任何拥有 to_str() 方法的 class .

我已经成功地检查了 class 是否实现了 to_str() 方法并使用了 std::cout << stringify(a) 多亏了这个。但是，我很难编写模板 ostream<< 运算符来使 std::cout << a 有效。

以下测试代码：

#include <iostream>
#include <sstream>
#include <string>

template<class ...> using void_t = void;

template<typename T, typename = void>
struct has_to_string
: std::false_type { };

template<typename T>
struct has_to_string<T, 
    void_t<decltype(std::declval<T>().to_str())>
    >
: std::true_type { };

template<typename T> std::enable_if_t<has_to_string<T>::value, std::string> 
stringify(T t) { 
    return t.to_str(); 
} 

template<typename T> std::enable_if_t<!has_to_string<T>::value, std::string> 
stringify(T t) { 
    return static_cast<std::ostringstream&>(std::ostringstream() << t).str(); 
} 

// The following does not work
/*
template<typename T> std::enable_if_t<has_to_string<T>::value, std::ostream&> 
operator<<(std::ostream& os, const T& t) {
    os << t.to_str();
    return os;
}

template<typename T> std::enable_if_t<!has_to_string<T>::value, std::ostream&> 
operator<<(std::ostream& os, const T& t) {
    os << t;
    return os;
}
*/

struct A {
    int a;
    std::string to_str() const { return std::to_string(a); }
};

struct B {
    std::string b;
    std::string to_str() const { return b; }
};

int main() {
    A a{3};
    B b{"hello"};
    std::cout << stringify(a) << stringify(b) << std::endl;    // This works but I don't want to use stringify
    // std::cout << a << b << std::endl;               // I want this but it does not work
}

给出与原始问题相同的错误。我做错了什么？

Answer 1

当类型为 std::string 时，您会收到一个 ambiguous overload for 'operator<< 错误，因为代码中的模板版本与模板版本具有相同的优先级在 ostream header.

中发货

您可以通过更改您的测试程序来检查这是否是问题的根源：

int main() {
    std::cout << std::string("There is your problem") << std::endl;
}

你仍然会看到同样的错误。

要解决此问题，您可以添加 operator<< 的显式定义，该定义将优先于两个冲突的模板。

std::ostream& operator<<(std::ostream& os, const std::string& t) {
    using std::operator<<;
    os << t;
    return os;
}

通用模板 ostream << 运算符的 C++ 不明确重载

C++ ambigous overload for generic template ostream << operator

c++

templates

ostream

enable-if

c++11