関数テンプレートの存在をテストする

Question

decltypeまたはstd::result_ofのように、関数テンプレートが引数を指定せずに定義されているかどうかをテストする方法はありますか（gcc-7に特化した-fconcepts）

例えば、私は、これに似た何かを達成したいと思います：

struct A { auto f(auto...); }; 

template<class T> requires X<T::f>() 
void f(T, auto...); 

auto z = f(A{}, 0, "", 'a'); 

Answer 1

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

私は時々、他の人のためにあなたの質問を連接の推測では、自分自身でそれを考え出すの最良の方法です。