明示的なテンプレートのインスタンス化でコードの重複を避けるためにdecltype（）を使用できますか？無過負荷と</p> <pre><code>template <typename T> void foo(lots ofargs, goin here, andeven more, ofthese arguments, they just, dont stop); </code></pre> <p>：

Question

は、私は長いテンプレート関数の宣言を持っています。私はそれを明示的にインスタンス化したいと思います。

template void foo<int>(lots ofargs, goin here, andeven more, ofthese arguments, they just, dont stop); 

しかし、私は本当に長い宣言することをコピーしたくない：私は（= int Tのために言う）を書くことができます。

template <typename T> using bar = decltype(foo<T>); 

、その後：私はのようなものを言うことができるようにを好きだろう

template bar<int>; 

は今、最初の行は（GCC 4.9.3）コンパイルしますが、2行目は、」doesnのt。どういうわけか、それを働かせることはできますか？または、decltype()を使用して、インスタンス化の宣言をコピーしないようにすることはできますか？

注：私はこのケースをサポートする解決策が必要なので、引数だけから型を推論することはできません。

Answer 1

[temp.explicit]から：

明示的なインスタンス化のための構文は次のとおりです。
        明示的インスタンス化：
               にextern _オプトtemplate宣言

[...]明示的なインスタンスは、関数またはメンバ関数のためのものである場合、宣言で修飾されていない-IDは すべてのテンプレート引数を推定することができるテンプレートID又は、いずれかでなければなりませんテンプレート名またはoperator-function-id。 [注：宣言は修飾-IDを宣言することができ、その場合、修飾-IDの 非修飾-IDはテンプレートIDでなければなりません。 -end note]

宣言が必要です。のは、我々が開始しているふりをしてみましょう：

template <class T> void foo(T) { } 

我々が明示的にちょうど経由特化することができます

template void foo<char>(char); // template-id 
template void foo(int);   // or just template-name, if the types can be deduced 

これが書かれたものと同じです。

持つと同じである

using Fc = void(char); 
using Fi = void(int); 

template Fc foo<char>; 
template Fi foo; 

書面：

template <class T> using F = decltype(foo<T>); 

template F<char> foo<char>; 
template F<int> foo; 

基本的に、template bar<int>が機能しない理由は、宣言ではないということです。あなたはあまりにも名前が必要です。