專營C++類的成員函數對於模板類

Question

這是我的問題：

我有一個CC級，我想專注一類的成員方法對於另一個模板類（模板參數）。 一個例子：

#include <iostream> 
#include <string> 
#include <complex> 

template<class T> 
class cc { 
    public: 

    void foo() ; 

    T v ; 
}; 

template<class T> // OK, generic definition of foo() 
void cc<T>::foo() { 
    std::cout << v << std::endl ; 
} 

//////////////////////////////////////////////////////////////////// 
// ERROR! can not accept the the specialization respect to a 
// complex<TT> with a template argument. 
template<class TT> 
void cc< std::complex<TT> >::foo() { 
    std::cout << "complex t " << v << std::endl ; 
} 
//////////////////////////////////////////////////////////////////// 


template<> // OK! specialization respect to a complex<double> 
void cc< std::complex<double> >::foo() { 
    std::cout << "complex " << v << std::endl ; 
} 


template<> // OK! 
void cc<double>::foo() { 
    std::cout << "double: " << v << std::endl ; 
} 

int main() 
{ 
    cc< std::complex<double> > r ; 
    cc<double> r2 ; 

    r.foo() ; 
    r2.foo() ; 
} 

在C++中是複雜的模板類型，所以想要寫的成員函數，與每一個複雜<類型>其中類型是任何模板類型的作品。 有可能嗎？

Answer 1

可以部分專門全班：

template<class T> 
class cc { 
public: 

    void foo() { std::cout << v << std::endl ; } 

    T v ; 
}; 

template <class T> 
class cc<std::complex<T>> { 
    public: 

    void foo() { std::cout << "complex " << v << std::endl ; } 

    std::complex<T> v ; 
}; 

或委託通用的方法來一個「幫手」（我展示了使用重載的）：

template <typename T> 
void print(const T&v) { std::cout << v << std::endl ;} 

template <typename T> 
void print(const std::complex<T>& c) { std::cout << "complex " << c << std::endl; } 

template<class T> 
class cc { 
public: 
    void foo() { print(v); } 

    T v ; 
}; 

Answer 2

這裏是一個解決方案，它使用SFINAE。如果需要，謂詞is_complex可以作爲類cc的嵌套類型。在C++ 14中，std::enable_if語法稍微好一些。這裏有雲（online）：

委派

由answer通過Jarod42，我們可以實現print功能像這樣的模板成員函數（online）的啓發：

template<class T> 
class cc { 
    template <typename TT> 
    void print(const TT&v) { std::cout << v << std::endl ;} 

    template <typename TT> 
    void print(const std::complex<TT>& c) { std::cout << "complex " << c << std::endl; } 

public: 
    void foo() { print(v); } 

    T v ; 
};