タイプ制限付きの完璧な転送

Question

テンプレート化された関数で完全転送を使用してl値またはr値が保持されるようにしたいと考えていますが、同時に可能なパラメータタイプに一定の制限を課したいと思います。

たとえば、Tを呼び出し可能オブジェクトに制限したいとします。 次のアプローチは、私

template<typename T> 
typename std::enable_if<std::is_callable<T>>::value>::type myFun(T&& val) 
{ 
    foo(std::forward<T>(val)); 
} 

に正しく見えるが、私はまだ、まだ様々なSFINAEのニュアンスと完全に快適ではないですので、私は誰か他の人の意見をいただければ幸いです。

これは正しいことと慣用方法ですか？

Answer 1

std::is_callableは、ところでC++ 17の機能です。

あなたの関数myFunは何も返さないので、戻り値としてenable_ifを入れるのはちょっと変です。うん、テンプレートが選択されている場合には、voidになるでしょうが、それは、デフォルトのテンプレート引数としてそれを置くためにおそらくより読みやすいです：

template<typename T, std::enable_if_t<std::is_callable_v<T()>, int> = 0> 
void myFun(T&& val) 
{ 
    foo(std::forward<T>(val)); 
} 

Demo

それはあなたのenable_ifのために少し奇妙になりますが、真空中に存在する。少なくとも、私たちはstatic_assert経由で収まると良いコンパイラエラーをユーザに提供していないすべてのタイプキャッチする必要があります

template<typename T, std::enable_if_t<std::is_callable_v<T()>, int> =0> 
void myFun(T&& val) 
{ 
    foo(std::forward<T>(val)); 
} 

template<typename T, std::enable_if_t<!std::is_callable_v<T()>, int> =0> 
void myFun(T&& val) 
{ 
    static_assert(sizeof(T) == 0, "myFun is only callable with an argument that can be called as a function with no params"); 
} 

Demo2