テンプレート関数のポインタとしてのテンプレート関数

Question

テンプレートを扱う際に私が悩まされた小さな問題に直面しました。ここでは一例です：私は_returnTypeを必要はありませんテンプレートパラメータとして関数ポインタを与えるので、しかし、それは関数のシグネチャですぐそこです、（あなたがそれを試してみたい場合はhttp://cpp.sh/）

template<class _returnType, _returnType (*_function)()> 
_returnType aliasGetter() { return _function(); } 
int getCoolNumber() { return 42; } 
int main() 
{ 
    std::cout << aliasGetter<int, &getCoolNumber>(); //42 
} 

このコードは動作しますが、問題は、私が試してみても、この追加のテンプレートパラメータを取り除く方法を見つけることができないということです。

aliasGetterは、テンプレートパラメータ（ゲッタのエイリアスへのポインタ）を1つだけ取ることができますか？ それができないのなら、どうしてですか？ C++ 17では

Answer 1

、それは、template autoのおかげで可能になります：

template <auto F> std::invoke_result_t<F> aliasGetter() { return F(); } 

C++ 17の前に、それは不可能です。非タイプのテンプレートパラメータのタイプを指定する必要があります。そのための手段はありません。ファンクション・テンプレートを介してファンクション・ポインタを渡すことができないので、ファクトリをファクトリとして作成することはできません。あなたは手動でそれを2回入力することなく、あなたの関数ポインタの型を取得します

template <class T, T F> std::result_of_t<T()> aliasGetter() { return F(); } 
#define TEMP_ALIAS(x) decltype(x), x 

std::cout << aliasGetter<TEMP_ALIAS(&getCoolNumber)>(); 

：

---

C++ 14での最短回避策は、ため息、マクロを使用することです。