C++明示的なインスタンス化 - 関数テンプレート - 暗黙のインスタンス化を置き換えて学習する

Question

Im + +のプライマープラスを読んで、暗黙的なインスタンス生成の仕組みを理解するいくつかの問題があります。私はまだクラスを学んでいませんので、私は関数を扱っています。私は暗黙のインスタンス（関数テンプレート）の基礎を理解していると思うが、私は明示的なインスタンス化を理解していない。テンプレートを使用する関数の下に、明示的なインスタンス化を使用すると、このような関数がどのように記述されるかを誰かに示すことができます。あなたはそれが動作する方法を変更することができますが、単純なままにしておきます。私は本当に感謝しています。これは、構文とその使用方法を理解するのに役立ちます。コピーに似たコード生成/あなたが具体的な形でTを交換ペーストなどのテンプレートの

2 #include <iostream> 
    3 
    4 template <typename T> 
    5 void show(T,T); 
    6 
    7 
    8 int main() 
    9 { 
10 int a = 10, b = 12; 
11 char c = 'x', d = 'y'; 
12 
13 show(a,b); 
14 show(c,d); 
15 
16 return 0; 
17 } 
18 
19 template <typename T> 
20 void show(T a, T b) 
21 { 
22 std::cout << "I used the int version " << a << " " << b << "\n"; 
23 } 

Answer 1

はちょうど私が明示的にintバージョンをインスタンス化しますが、charパラメータを渡すましShow<int>(c, d)お知らせください。それは明示的なインスタンス化ではなく、実際にexplicit specializationを参照している可能性があります。

Answer 2

と思います。インスタンシエーションとは、プログラムにコードをコピーして貼り付けるプロセスです。

テンプレートを使用すると、暗黙的なインスタンス化が行われます。関数テンプレートの場合、具体的な型は関数の引数から導出され、テンプレートはその型に対してインスタンス化されます。だから、あなたのコードが有効になった：

void show(int a, int) { std::cout << "I used the int version " << a << " " << b << "\n"; } 
void show(char a, char) { std::cout << "I used the int version " << a << " " << b << "\n"; } 

int main() { /* as it was */ } 

明示的なインスタンス化、一方で、単に明示的にコードを生成するようにコンパイラーに強制します。私たちはあなたのコードに明示的なインスタンス

template void show(double, double); 

を追加した場合、コンパイラは、対応するコードを生成し、

void show(double a, double) { std::cout << "I used the int version " << a << " " << b << "\n"; } 

は、これはあなたが実際にそのコードを使用するかどうかに関係なく起こるでしょう。

クラステンプレートのインスタンス化がはるかに微妙であるので、あなたは、あなたが楽しいの92％を逃している、クラスを知っていない場合。実際に使用されているメンバ関数だけが暗黙的にインスタンス化され、明示的なインスタンス化によってすべてのクラスメンバのコードが生成されます。また、クラスメンバ関数は、実際にインスタンス化されるまではある程度正確さがチェックされないので、すべての可能な型に対して実際には意味をなさないテンプレートを書くことができます。

Answer 3

はあなたがintための（明示的なインスタンス化を参照してください）特殊化を意味している場合、それをすることができますよう：

show<int>(a,b); 

：あなたは本当にその後、明示的なインスタンス化を行いたい場合は

template <typename T> 
void show(T,T); 

template <> // specialization (not overloading) for 'int' 
void show(int a, int b) 
{ 
    std::cout << "I used the int version " << a << " " << b << "\n"; 
} 

それは次のように行うことができます

実際にはこの場合実際には冗長です。

Answer 4

関数を明示的にインスタンス化するには、型を明示的に指定する必要があります。あなたの例では、showへの呼び出しを次のように置き換えます。

show<int>(a,b); 
show<char>(c,d); 

これはそれです。暗黙のインスタンス化は、コンパイラが引数の型からintとcharを見つけることができることを意味します。