テンプレートクラスのメンバ関数の特殊化

Question

そこに：

次のコードの結果はどうなりますか？

foo.hという

#include <iostream> 

template<class _Tp> 
struct Foo 
{ 
    void print() { std::cout << "foo\n"; } 
}; 

foo.cxx

#include "foo.h" 

template<> 
void Foo<int>::print() 
{ 
    std::cout << "foo<int>\n"; 
} 

main.cxx

#include "foo.h" 

int main() 
{ 
    Foo<double>().print(); 
    Foo<int>().print(); 
    return 0; 
} 

結果が異なっている：

MSVCでコンパイルさ

1. 、G ++でコンパイル

   foo 
   foo 
   

2. 、

   foo 
   foo<int> 
   

私は関係なく、コンパイラの第二の結果を取得したいと思います。達成するために私はさらに何をすべきですか？可能であれば、基礎となる基準や仕組みについて私に説明してください。ありがとうございました！

Answer 1

プログラムに未定義の動作があります。

Foo<int>::print()の2つの実装 - foo.cxxのクラステンプレート定義と非インライン定義から得られるインライン定義です。コンパイラは自由に選択することができます。

コンパイラで診断する必要はありません。それらの多く（明らかにg ++とMSVCを含む）は、クラステンプレートとそのメンバ関数の定義のためのルートを選択します。

両方のコンパイラがfoo.cxxで実装を選択していることを確認するには、関数をfoo.hに宣言します。

#include <iostream> 

template<class _Tp> 
struct Foo 
{ 
    void print() { std::cout << "foo\n"; } 
}; 

template<> void Foo<int>::print(); 

Answer 2

興味深いです。私はテンプレートがリンク時ではなくコンパイル時に解釈されることを知っています。したがって、私の意見では、専門化テンプレートは各cppファイルで実装する必要があります。あなたのg ++​​バージョンは何ですか？

Answer 3

foo.hが次のように見える場合、両方のコンパイラで同じ結果が得られます。しかし、私は理由を知らない。

#include <iostream> 


template<class _Tp> 
struct Foo 
{ 
    void print(); 
}; 

template<class _Tp> 
void Foo<_Tp>::print() 
{ 
    std::cout << "foo\n"; 
} 

template<> void Foo<int>::print();