Этот вопрос следует за моим предыдущим вопросом: Generic operator‹‹ ostream C++ для строкового класса где я хотел бы реализовать общий оператор <<ostream
, который будет работать для любого класса, которому принадлежит метод to_str()
.
Мне удалось проверить, реализует ли класс метод 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
}
выдает ту же ошибку, что и в исходном вопросе. Что я делаю не так ?
!has_to_string<T>::value
производит бесконечную рекурсию, посколькуos << t
вызывает себя. - person Jarod42   schedule 29.05.2015