测试功能模板的存在

Question

有没有办法（甚至是一种特定于gcc-7和-fconcepts的hacky方式）来测试是否定义了函数模板而不必提供参数，就像使用decltype或{{ 1}}？

例如，我想要达到类似的目的：

std::result_of

Answer 1

template<class T>
concept bool X()
{
  return requires 
  { T::f; };
}

我想有时候为别人表达你的问题是为自己搞清楚的最好方法。