C中的过载歧义,用于自动将对象转换为“可打印”格式

我正在尝试编写一个输入的函数.如果该输入可以直接传送到流(例如使用std :: cout<<),则返回输入不变.否则,它会尝试将输入转换为字符串,并返回字符串. 我有以下代码:

//Uses SFINAE to determine which overload to call
//See: https://en.wikipedia.org/wiki/Substitution_failure_is_not_an_error
//Basically, make_printable detects whether an object can be directly piped to a stream.
//If it can't be piped to a stream, it's converted into a string.
template<typename T, 
        typename StreamT = void, 
        typename = decltype(std::declval<T>().operator std::string())>
std::string make_printable(const T& obj) {
    std::cout << "[std::string make_printable(obj)]";
    return (std::string)obj;
}

template<
        typename T, 
        typename StreamT = std::ostream,
        typename = decltype(std::declval<StreamT&>() << std::declval<T const &>())>
const T& make_printable(const T& obj) {
    std::cout << "[const T& make_printable(obj)]";
    return obj;
}

此代码在调用可以转换为字符串或可以写入流的对象时有效,但如果我有一个可以转换为字符串并写入流的对象,则代码会由于歧义而失败在调用哪个函数方面.

如何重写这些函数或解决这种歧义,以便可以转换为字符串并写入流的对象按原样输出?

最佳答案

How can I rewrite these functions, or resolve this ambiguity, so that objects which can be both converted into a string and written to a stream are output as-is?

如果可以添加间接级别,可能的方法是使用首选重载.

我的意思是……如果你为首选版本添加一个未使用的int参数,而为另一个添加一个long参数

template<typename T, 
        typename StreamT = void, 
        typename = decltype(std::declval<T>().operator std::string())>
std::string make_printable (T const & obj, long)
 {                                     //  ^^^^ <-- long argument
   std::cout << "[std::string make_printable(obj)]";
   return (std::string)obj;
 }

template<
        typename T, 
        typename StreamT = std::ostream,
        typename = decltype(std::declval<StreamT&>() << std::declval<T const &>())>
T const & make_printable (T const & obj, int)
 {                                    // ^^^ <-- int argument
   std::cout << "[const T& make_printable(obj)]";
   return obj;
 }

如果你添加一个接收值的上层make_printable()并用int传递它

template <typename T>
auto make_printable (T const & obj)
 { return make_printable(obj, 0); }

当两个较低级别的版本都可用时,第二个版本是首选,因为int更适合int而不是long.

当只有一个较低的杠杆版本可用时,它被称为没有问题.

En passant:使用好的旧汽车…… – > decltype()表达返回类型的方式,SFINAE可以通过以下方式应用于您的函数

template <typename T>
auto make_printable (T const & obj, long)
   -> decltype( obj.operator std::string() )
 {
   std::cout << "[std::string make_printable(obj)]";
   return (std::string)obj;
 }
template <typename T, typename StreamT = std::ostream>
auto make_printable (T const & obj, int)
   -> decltype( std::declval<StreamT>() << obj , obj )
 {
   std::cout << "[const T& make_printable(obj)]";
   return obj;
 }

我想这是个人品味的问题,但我觉得这样简单一些.

点赞