模板類中模板函數的難點

Question

我在嘗試編寫迭代元組的迭代模板成員函數時遇到了一個問題。

在下面的代碼：

#include <cstddef> 
#include <iostream> 
#include <string> 
#include <tuple> 

template <typename... P> 
class A 
{ 
public: 
    typedef std::tuple<P...> tup_t; 

    tup_t tup; 
}; 

template <typename T, typename... P> 
class AA : public A<P...> 
{ 
public: 
    T junk; 
}; 

template <typename T> 
class B 
{ 
public: 
    T a; 

    void func(const char* delim); 

private: 
    template <size_t x> 
    void __func(const char* delim); 
}; 

template <typename T> 
void B<T>::func(const char* delim) 
{ 
    __func<std::tuple_size<typename T::tup_t>::value>(delim); 
} 

template <typename T> 
template <size_t x> 
typename std::enable_if<(x > 1), void>::type 
B<T>::__func(const char* delim) 
{ 
    std::cout << std::get<x-1>(a.tup) << delim; 

    __func<x-1>(delim); 
} 

template <typename T> 
template <size_t x> 
typename std::enable_if<(x == 1), void>::type 
B<T>::__func(const char* delim) 
{ 
    std::cout << std::get<x-1>(a.tup) << std::endl; 
} 

int main() 
{ 
    typedef A<int,float,std::string> T_first; 
    B<T_first> b; 

    std::get<0>(b.a.tup) = 5; 
    std::get<1>(b.a.tup) = 4.0; 
    std::get<2>(b.a.tup) = "string"; 

    b.func(" - "); 

    typedef AA<int,std::string,double,size_t> T_second; 
    B<T_second> bb; 

    std::get<0>(bb.a.tup) = "test"; 
    std::get<1>(bb.a.tup) = 3.0; 
    std::get<2>(bb.a.tup) = std::tuple_size<T_second::tup_t>::value; 

    bb.func(" => "); 

    return 0; 
} 

當我編譯：

$ g++-4.5 -std=c++0x -W -Wall -pedantic-errors test6.cpp 

我收到以下錯誤：

test6.cpp:60:1: error: prototype for ‘typename std::enable_if<(x > 1), void>::type B<T>::__func(const char*)’ does not match any in class ‘B<T>’ 
test6.cpp:31:32: error: candidate is: template<class T> template<unsigned int x> void B::__func(const char*) 
test6.cpp:70:1: error: prototype for ‘typename std::enable_if<(x == 1), void>::type B<T>::__func(const char*)’ does not match any in class ‘B<T>’ 
test6.cpp:31:32: error: candidate is: template<class T> template<unsigned int x> void B::__func(const char*) 

現在，如果我不是定義B<T>::__func內類如：

template <size_t x> 
    typename std::enable_if<(x > 1), void>::type 
    __func(const char* delim) 
    { 
    std::cout << std::get<x-1>(a.tup) << delim; 

    __func<x-1>(delim); 
    } 

    template <size_t x> 
    typename std::enable_if<(x == 1), void>::type 
    __func(const char* delim) 
    { 
    std::cout << std::get<x-1>(a.tup) << delim; 
    } 

它編譯得很好。

我真的不喜歡在類聲明中實現函數，所以如果有人能指出我最初嘗試出錯的地方，我會很感激。

它是：

template <typename T> 
template <size x> 

是否應該被寫入以不同的方式？

編譯器版本：gcc version 4.5.2 (Ubuntu/Linaro 4.5.2-8ubuntu4)

感謝，

附：請不要取笑我簡化的測試用例。產生這種情況的項目比這個例子更令人印象深刻......但只是略微。

Answer 1

這些類型必須在__func的聲明和定義中匹配。因此，在類的定義必須聲明__func爲：

template <size_t x> 
typename std::enable_if<(x > 1)>::type 
__func(const char* delim); 

（這等同於使用std::enable_if<(x > 1), void>作爲第二個模板參數默認爲void）

這樣做的原因限制與模板特辦。事實上，由於您使用的是std::enable_if，因此您依賴於這些專業化，因爲std::enable_if<true, T>是專業化的。還請注意__func<0>不具有返回類型void的情況下的不匹配。它'有'返回類型std::enable_if<false, void>::type，它不存在，因此是無效的（然後通過SFINAE刪除）。