如何爲另一個模板類型重載模板類方法？

Question

什麼是在C++ 03的標準方法，在不使用升壓，要麼：

1. 重載其中模板類型僅出現在該方法的返回值的模板類方法，或
2. 專營另一種模板類型的模板類方法。

換句話說，這怎麼能進行工作：

template <typename T, int N> struct Vector { T x[N]; }; 

struct Sampler 
{ 
    template <typename T> 
    T next() { 
     // Do some work and return a value of type T. 
     return T(); 
    } 

    template <typename T, int N> 
    Vector<T, N> next() { 
     // Do some different work and return a value of type Vector<T, N>. 
     return Vector<T, N>(); 
    } 
}; 

int main() { 
    Sampler sampler; 
    sampler.next<double>(); 
    sampler.next<Vector<float, 2> >(); 
    return 0; 
} 

書面，電話next()第一種方法，兩種用途，而我想第二次使用調用第二個方法。

Answer 1

看起來像是要求模板函數的部分專業化。這不在語言中，但您可以使用標籤分發或類模板來模擬它。下面是與標籤派遣一個例子：

template <typename T> struct tag{}; 
struct Sampler 
{  
    template <typename T> 
    T next() { 
     return next(tag<T>()); 
    } 

private: 
    template <typename T> 
    T next(tag<T>) { 
     return T(); 
    } 

    template <typename T, int N> 
    Vector<T, N> next(tag<Vector<T,N> >) { 
     return Vector<T, N>(); 
    } 
}; 

然後你使用這樣的：

sampler.next<double>(); 
sampler.next<Vector<double,2> >(); 

Live demo

請注意，您所需要的最後> >標記之間的空間中前C第二線++ 11。

Answer 2

您可以使用輔助結構：

template<typename T> 
struct SamplerHelper 
{ 
    T operator()() const 
    { 
     std::cout << "T\n"; 
     return T(); 
    } 
}; 

template<typename T, int N> 
struct SamplerHelper<Vector<T, N> > 
{ 
    Vector<T, N> operator()() const 
    { 
     std::cout << "vec\n"; 
     return Vector<T, N>(); 
    } 
}; 

struct Sampler 
{ 
    template <typename T> 
    T next() { 
     return SamplerHelper<T>()(); 
    } 
}; 

一個working example is available on wandbox。