使用功能正确获取 SFINAE

Question

我写了一个快速的东西来确定给定类型（和参数）是否可以转换为普通函数指针。它的工作原理是这样的：

template <typename F, typename...Args>                                                                                                                        
struct is_stateless : std::is_convertible<F, typename std::result_of<F(Args...)>::type (*) (Args...)>::type                                                    
{}; 

这在大多数情况下运行良好，但它有一个严重的缺点：使用std::result_of<F(Args...)>::type。如果你不小心为你的函数提供了错误的参数（比如你遗漏了&），你会因为result_of 没有type 字段而得到模板错误。在这种情况下，我更希望我的is_stateless 结构只是“假”（如果您提供了一个“正确”的函子和碰巧不能转换为函数指针的参数，那就是这样）。

我愿意使用 GCC4.8.* 及更低版本中的 C++11 和 c++1y 功能。关于如何做到这一点的任何想法？

Answer 1

不允许实例化result_of<F(Args...)>，其中Args 不正确，因为F 是不允许的。如果您仍然这样做，则无法从错误中恢复。

您可以做的是避免使用result_of：您可以使用decltype(declval<F>()(declval<Args>()...)) 获得相同的结果。这也应该适用于 SFINAE 上下文：

#include <utility>
#include <vector>

template <typename F, typename...Args>
void funcptr_helper(...);

template <typename F, typename...Args>
auto funcptr_helper(F, Args...) -> decltype(std::declval<F>()(std::declval<Args>()...));

template <typename F, typename...Args>
struct funcptr {
  typedef decltype(funcptr_helper<F, Args...>(std::declval<F>(), std::declval<Args>()...)) (*type)(Args...);
};

template <typename F, typename...Args>
struct is_stateless : std::is_convertible<F, typename funcptr<F, Args...>::type>::type {};

int main() {
  auto f1 = [](int i){ return i; };
  static_assert(is_stateless<decltype(f1), int>::value, "");

  int j = 0;
  auto f2 = [=](int i){ return i + j; };
  static_assert(!is_stateless<decltype(f2), int>::value, "");

  static_assert(is_stateless<std::vector<int>& (*) (std::vector<int>&, int, char, bool), std::vector<int>&, int, char, bool>::value, "");
  static_assert(!is_stateless<std::vector<int>& (*) (std::vector<int>&, int, char, bool)>::value, "");
  static_assert(!is_stateless<std::vector<int>& (*) (std::vector<int>&, int, char, bool), const std::vector<int>&, int, char, bool>::value, "");
}