は、戻り値の型に機能をオーバーロード？ （再訪）

Question

誰かがコンパイラは2例を以下に何異なる私に言うことはできますか？

#include <cstdio> 
    using namespace std; 

    template <typename TReturn, typename T> 
    TReturn convert(T x) 
    { 
     return x; 
    } 

    int main() 
    { 

     printf("Convert : %d %c\n", convert<int, double>(19.23), convert<char, double>(100)); 
     return 0; 
    } 

と

int convert(double x) 
{ 
    return 100; 
} 

char convert(double x) 
{ 
    return 'x'; 
}   

int main() 
{ 
    printf("Convert : %d %c\n", convert(19.23), convert(100));  // this doesn't compile 
    return 0; 
} 

最初のケースは、関数のオーバーロードを持っていませんか？コンパイラは、テンプレート関数にこの呼び出しを検出すると

Answer 1

、それは（この場合、倍）を自動的に実際のテンプレートパラメータとして渡されたタイプによって各外観を交換する機能を生成するためにテンプレートを使用し、それを呼び出します。このプロセスは自動的にコンパイラによって実行され、プログラマには見えません。したがって、データ抽象化と隠蔽も実装されます。

コンパイラは、通常の関数やクラスなどのテンプレートを扱いません。それらはrequireでコンパイルされます。つまり、テンプレート関数のコードは必要になるまでコンパイルされません。

第二exmapleオーバーロードされていません。変換が間違っています。