C++模板部分特例問題

Question

我在編譯用下面的代碼時間麻煩：

template <typename T, 
      template <class T, class Allocator = std::allocator<T> > class C> 
    bool is_in(const C<T>& a, const C<T>& b); 

    template <typename T, std::vector> // HERE 
    bool is_in(const std::vector<T>& a, const std::vector<T>& b) 
    { 
    return false; // implementation tbd 
    } 

... 

vector<int> a, b; 

cout << is_in(a,b) << endl; 

該錯誤消息是（在標出「這裏」）：

error: 'std::vector' is not a type 

（的當然，我有包括向量從std！）。任何建議？我弄了一會兒，但我已經到了可以使用一些幫助的地步:-)我需要部分地專門化最初的模板聲明，以便我可以讓編譯器根據實際的類型容器C（將有一個is_in用於集合，一個用於矢量，一個用於範圍......，每次都有不同的算法）。

謝謝！

Answer 1

標準不允許功能模板的部分特化。

一個簡單的解決方案是：使用過載。

template <typename T> 
bool is_in(const std::vector<T>& a, const std::vector<T>& b) 
{ 
    return false; // implementation tbd 
} 

這是重載函數模板。其非部分專業化。

或者，你可以這樣做：

namespace detail 
{ 
    template<typename T, typename C> 
    struct S 
    { 
     static bool impl(const C & a, const C & b) 
     { 
      //primary template 
      //... 
     } 
    } 
    template<typename T> 
    struct S<T, std::vector<T> > 
    { 
     static bool impl(const std::vector<T> & a, const std::vector<T> & b) 
     { 
      //partial specialization for std::vector 
      return false; 
     } 
    } 
} 

template <typename T, template <class T, class Allocator = std::allocator<T> > class C> 
bool is_in(const C<T>& a, const C<T>& b) 
{ 
    return detail::S<T, C<T> >::impl(a,b); 
} 

Answer 2

我不知道，如果它（爲模板，模板始終是一個麻煩，我的心），但對於只是想

template <typename T> 
bool is_in(const std::vector<T>& a, const std::vector<T>& b) 
{ 
    ... 
} 

，因爲它是一個專業化。

編輯：其他人已澄清這一點，但我會補充它的完整性。上面的代碼實際上是一個重載而不是局部特化，但是不允許部分函數特化。

Answer 3

功能模板部分專業化是不允許允許。在任何情況下，你都沒有使用模板特化語法，你實際上正在編寫一個額外的重載。試試這個：

template <typename T> 
bool is_in(const std::vector<T>& a, const std::vector<T>& b) 
{ 
    return false; // implementation tbd 
} 

如果偏特被允許，它應該是這樣的，而不是：

template <typename T> // std::vector is not a template parameter, 
         // so we wouldn't put it here 
bool is_in<T, std::vector>(const std::vector<T>& a, const std::vector<T>& b) 
// instead, it'd appear^here, when we're specializing the base template 
{ 
    return false; // implementation tbd 
}