在C++模板特

Question

環境的幾點思考：微軟的Visual Studio 2010

編碼標準：C++ 0x中兼容

我有一個類模板

template <typename T1, int I> 
class A 
{ 
    public template <typename T2> void f(T2 x); 
    /*...*/ 
}; 

template <typename T1, int I> 
template <typename T2> 
void A<T1, I>::f(T2 x) 
{ 
    /*...*/ 
} 

和偏特以上類別

template <int I> 
class A<char, I> 
{ 
    public template <typename T2> void f(T2 x); 
    /*...*/ 
}; 

那我可不可以在下面的部分專業類中專門化成員函數？

template <int I> 
template <> 
void A<char, I>::f<double>(double x) 
{ 
} 

謝謝！

注意：我沒有處理它，但考慮它是否適用。如果您瞭解該規則，便可輕鬆評級。

Answer 1

這是無效的，因爲您不能明確地專門化一個成員函數，也不會給任何封閉類模板提供固定的模板參數。

不是C++ 11兼容，但MSVC

微軟編譯器的工作有一個擴展，允許雖然內類模板聲明明確專業。儘管我從來沒有嘗試過，有很好的機會，這將接受以下的非標準代碼

template <int I> 
class A<char, I> 
{ 
    public: 
    template <typename T2> void f(T2 x); 

    template<> void f<double>(double x) { 

    } 
    /*...*/ 
}; 

更新：鏘編譯此並報告

// clang++ -fms-extensions main1.cpp 
main1.cpp:10:21: warning: explicit specialization of 'f' within class scope is a 
       Microsoft extension [-Wmicrosoft] 

    template<> void f<double>(double x) { 
       ^

C++ 11/C++ 03兼容

的方法在這裏是超載的，而不是專業化

template <int I> 
class A<char, I> 
{ 
    public: 
    template <typename T2> void f(T2 x); 

    void f(double x) { 

    } 
    /*...*/ 
};