检查模板函数是否存在

Question

如何检查是否存在这样的模板函数：检查reader struct 是否具有read 算术值

struct reader {
    template<typename T>
    std::enable_if_t<std::is_arithmetic<T>::value, T> read() {
        return {};
    }
};

我使用这样的检查器：

template <typename T>
struct test_read {
    static constexpr auto value = std::is_convertible<decltype(std::declval<T>().read<int>()),int>::value;      
};

但是编译器抱怨：

error: wrong number of template arguments (1, should be 2)
 static constexpr auto value = std::is_convertible<decltype(std::declval<T>().read<int>()),int>::value;

请给我你的建议。

谢谢。

---

更新：这是我讨论后得到的最终版本，希望大家对你的代码有帮助

struct not_reader {

};


struct reader {
    template<typename T>
    std::enable_if_t<std::is_arithmetic<T>::value, T> read() {
        return {};
    }
};


template<class T, class Elem>
struct has_read {
private:
    template<class C, typename=void>
    struct test_read : std::false_type {
    };
    template<class C>
    struct test_read<C, typename std::enable_if<std::is_convertible<decltype(std::declval<C>().template read<Elem>()), Elem>::value>::type>
            : std::true_type {
    };
public:
    using type = typename test_read<T>::type;
    static constexpr bool value = test_read<T>::value;
};


static_assert(has_read<reader, int>::value, "reader should have int read()");
static_assert(!has_read<not_reader, int>::value, "not_reader should not have int read()");

Answer 1

你在read()之前忘记了template

static constexpr auto value
    = std::is_convertible<
         decltype(std::declval<T>().template read<int>()),int>::value;  
// .................................#########    

但我不认为您的代码可以检查“如果reader 结构具有read 算术值”：尝试使用int 类型调用test_read，您应该会收到编译错误。

以下是替代解决方案的示例

#include <type_traits>

struct reader
 {
   template<typename T>
   std::enable_if_t<std::is_arithmetic<T>::value, T> read()
    { return {}; }
 };

template <typename, typename = void>
struct readTypeRet
 { using type = void; };

template <typename T>
struct readTypeRet<T, decltype(std::declval<T>().template read<int>(), void())>
 { using type = decltype(std::declval<T>().template read<int>()); };

template <typename T>
struct test_read
    : public std::is_convertible<typename readTypeRet<T>::type, int>
 { };

int main ()
 {
   static_assert(test_read<reader>::value == true, "!");
   static_assert(test_read<int>::value == false,   "!");
 }

Answer 2

用更清晰的方式简要重申您的问题：

• 如果T满足is_arithmetic，你有一些函数将返回T，否则返回void
• 您想要断言使用int 调用此函数将返回可转换为int 的类型

我认为修复代码的最短路径是利用 std::result_of（C++11/14，在 C++17 中使用 std::invoke_result_t）：

template<class T>
struct test_read {
static constexpr auto value = std::is_convertible<
    typename std::result_of<decltype(&T::template read<int>)(T)>::type, int
    >::value;    
};

Live Demo

关于此解决方案的一些说明：

• 在指定T（reader）的成员函数read时，我们需要使用template关键字来告知编译器名称reader是一个模板。
• 使用result_of 需要F(Args) 的类似函数的语法，所以这里我们将reader::read 的类型作为F 部分，然后将reader 作为Args 部分传递
  • 我们必须将T 的实例（reader) 传递给read，因为它是一个成员函数（而不是static 或免费），并且成员函数隐含地引用了它们的类的实例'正在被召唤。