相关疑难解决方法(0)

是否可以编写一个模板来改变行为,具体取决于是否在类上定义了某个成员函数？

这是我想写的一个简单例子:

template<class T>
std::string optionalToString(T* obj)
{
    if (FUNCTION_EXISTS(T->toString))
        return obj->toString();
    else
        return "toString not defined";
}

所以,如果class T已经toString()确定的话,就使用它; 否则,它没有.我不知道怎么做的神奇部分是"FUNCTION_EXISTS"部分.

我想进入更多的模板元编程.我知道SFINAE代表"替换失败不是错误".但是有人能告诉我SFINAE的用处吗？

是否有任何理由将标准指定为模板struct而不是简单的布尔值constexpr？

在一个额外的问题,可能会在一个很好的答案中回答主要问题,如何enable_if处理非结构版本？

我正在使用C++ 03方法在编译时检测函数的存在.我必须使用这个方法而不是void_t方法,即使我使用C++ 14因为我必须支持GCC 4.9,并且在使用void_t方法时出错(奇怪的是只有Ubuntu 14的GCC 4.9有这个问题,而不是Fedora的,但它在GCC5 + AFAICT中全面修复.

具体来说,我正在检查是否存在,operator<<(std::ostream&, const T&)以便我可以使用任何类型的漂亮打印功能.当函数被调用时,如果类型支持它,您将获得常规的ostream输出,并且当未定义运算符时,您将收到有关没有实现的回退消息.代码在底部.

到目前为止,这对我来说非常有效,直到我遇到第三方库定义的类型,我无法改变.该类型具有bool和float的隐式转换运算符.这意味着当SFINAE检查完成以查看是否s << t有效时,我得到编译器错误,因为它s << t是不明确的.在这种情况下,我更喜欢它报告没有像普通的实现,而不是尝试选择隐式转换.有没有办法更改SFINAE检查以使其成为可能？我已经检查过,并且使用GCC5的void_t方法看起来像我想要的那样(在下面的代码中注释掉了),但由于上述原因我还不能使用它.

测试用例:

#include <iostream>
#include <typeinfo>
#include <type_traits>

namespace detail {

    namespace has_ostream_operator_impl {
        typedef char no;
        typedef char yes[2];

        struct any_t {
            template<typename T> any_t( T const& );
        };

        no operator<<( std::ostream const&, any_t const& );

        yes& test( std::ostream& );
        no test( no );

        template<typename T>
        struct has_ostream_operator {
            static std::ostream &s;
            static T const &t; …