テンプレート化された関数のアドレスを取得してコンパイルをトリガーする必要がありますか？

Question

私はthis questionの公式の答えがdecltypeであるべきですトリガー機能のコンパイル。実際には宣言されているが定義されていない関数上のdecltypeは正当です。

次の質問は、関数のアドレスを取って関数のコンパイルをトリガーする必要がありますか？ this exampleください：私がテストしてみた

template <typename T> 
void foo(T&& x) { x.func(); } 

int main() 
{ 
    auto bar = &foo<int>; 
} 

すべてのコンパイラをのようなエラーで失敗：非クラス型であるxのメンバーfuncため

要求、int

しかし、私がちょうどfooを定義し、それを宣言しなければ、コードはうまくコンパイルされます。関数のアドレスを取ってコンパイルする必要があるかどうかについて、誰かが私に公式ソースを提供できますか？

Answer 1

3.2/2：それは未評価 オペランド（項5）またはその部分式でない限り

発現は、潜在的に評価されます。 ...オーバーロードされない 関数が潜在的に評価される式として表示されるか、または が候補関数のセットのメンバーになる場合、オーバーロードによって選択された場合 潜在的に評価される式から参照される場合、 はodr-純粋な仮想関数であり、その名前が明示的に修飾された でない場合を除きます。その後

3.2/3：

は、すべてのプログラムがそのプログラムにODR-使用されているすべての非インライン 関数や変数の正確に一つの定義を含まなければなりません。診断なし が必要です。定義はプログラム内で明示的に現れることがあり、標準またはユーザ定義のライブラリには があります（または が適切な場合）。暗黙的に定義されています（12.1,12.4および 12.8を参照）。インライン関数は、それがodr使用されるすべての翻訳単位で定義されなければならない。

関数名は間違いなく（sizeof、decltypeに例えば）未評価のオペランドではありません、それは式の中で表示されますので、それが潜在的に評価されています。次に、2つ目は、正確に1つの非インライン定義、または各翻訳単位のインライン定義が必要です。