C++テンプレート控除は、次のコードの場合

Question

が動作していない：

#include<functional> 
template<typename T> 
void f(std::function<void(T)> g) { 
} 

template<typename T> 
void g(T x) { 
} 

int main() { 
    f(&g<int>); 
} 

C++ 14コンパイラはエラーを生成します。

no matching function for call to 'f(<unresolved overloaded function type>)' 
    f(&g<int>); 

テンプレート引数控除はここで働いていない理由を私は好奇心旺盛です。 グラムの引数はint型であることを考えると、我々は、Fの引数は、それゆえT = int Fで、タイプstd::function<void(int)>のものであり、と推論することができ、ということらしいです。なぜこれは起こりませんか？私はこれを説明するC++標準の関連セクションに興味があります。 Tは、ここでは推論されていない状況で発生するか？

次のようなコードはコンパイルされます。

#include<vector> 
template<typename T> 
void f(std::vector<T> vec) { 
} 


int main() { 
    f(std::vector<int>{}); 
} 

だから、非推定されるコンテキストを作成して角括弧ではありません。

Answer 1

あなたの機能はタイプstd::functionの引数を期待していますが、それを代わりに関数へのポインタを渡しています。 &g<int>はです。〜std::functionパラメータタイプですが、テンプレート引数の控除には完全一致が必要です（調整は[temp.deduct.call]/2,3,4で許可されています）。ただし、ユーザー定義のコンバージョンは考慮されません。

std::functionを渡しているので、f(std::function<void(int)>(g<int>))を書くと、テンプレート引数の控除が成功します。

f<int>(&g<int>)は明示的にTと指定されているため、テンプレート引数の控除に参加しなくなり、ユーザー定義の変換が試行されるようになりました。

Answer 2

&g<int>のタイプはvoid(*)(int)です。したがって、コンパイラは、テンプレートからは実行できないシグニチャvoid f<>(void(*)(int))の関数を生成しようとします。タイプstd::function<void(int)>は完全に異なるタイプです。あなたのようなコードで

、オブジェクトstd::vector<int>{}std::vector<int>のタイプのものであり、従ってコンパイラはintことがTを推定することにより供給されるテンプレートから行うことができる機能void f<>(std::vector<int>)を生成しようとします。

f<int>を指定すると、コンパイラはその型を推論する必要がないため、そのようにすることはできません。さらに、推論された文脈では暗黙的な変換は考慮されないが、は非推論文脈ではと考えられる。したがって、型を明示的に指定して関数の引数を推論しないコンテキストにすることで、コンパイラは暗黙の変換を使用してstd::function<void(int)>引数をg<int>で初期化できます。