启用 if 以检查传递的类型是否为兼容函数？

Question

考虑以下代码：

template <class Function, class = typename std::enable_if</*SOMETHING*/>::type>
apply(Function&& f);

执行提供的功能。

要使用SFINAE，我想检查函数是否满足以下条件：

• 它需要一个可转换为const unsigned int的参数
• 它返回可转换为std::string 的东西

我要写什么而不是/*SOMETHING*/？

Answer 1

你还没有为apply指定返回值，我选择int：

#include <string>
#include <type_traits>

template <class Function,
  class = typename std::enable_if<
    std::is_convertible<
      decltype(std::declval<Function>()(std::declval<const unsigned int>())),std::string>::value>::type>
int apply(Function&& f);

分解：这可以确保Function:

std::declval<Function>()

使用const unsigned int 参数调用：

std::declval<Function()(std::declval<const unsigned int>())

有一个返回类型：

decltype(std::declval<Function()(std::declval<const unsigned int>()))

可转换为std::string:

std::is_convertible<decltype(std::declval<Function()(std::declval<const unsigned int>())), std::string>

哇哦。