是否可以指定模板類的一部分？ （在'<'和'< >'之前的部分）

Question

class trytemplate 
{ 
public: 
    //////// 1 
    template <typename T> 
    trytemplate(const T& p) 
    { 
     std::cout << p << std::endl; 
    } 

    //////// 2 
    template <typename U> 
    trytemplate(const std::vector<U>& p) 
    { 
     std::cout << p[0] << " " << p.size() << std::endl; 
    } 

    //////// 3 
    template <typename U, typename V> 
    trytemplate(const V<U>& p) 
    { 
     std::cout << p[0] << " " << p.size() << std::endl; 
    } 
}; 

ctor 2工作正常，但我想使它像3（3不編譯）。
所以，我可以這樣做：

int i = 123; 
trytemplate o1(i); // call ctor 1 

std::vector<float> v1(1, 123.0f); 
trytemplate o2(v1); // ideally can be deduced by compiler, and call ctor 3 

MyVector<float> v2(1, 123.0f); 
trytemplate o3(v2); // ideally can be deduced by compiler, and call ctor 3 

在這種情況下，我可以通過任何載體狀容器，只要確保類有operator[]和size()。

所以問題是：是否有可能讓ctor變成3號？
或者有沒有更好的方法？

P.S.如果有人可以建議更好的標題，那麼我會改變它，謝謝！

Answer 1

使用模板模板參數

template <template<typename> class V, typename U> 
trytemplate(const V<U>& p) 
{ 
    std::cout << p[0] << " " << p.size() << std::endl; 
} 

您還可以添加可變參數模板接受需要超過一個模板參數的類模板。

template <template<typename...> class V, typename... Params> 
trytemplate(const V<Params...>& p) 
{ 
    std::cout << p[0] << " " << p.size() << std::endl; 
} 

---

請注意，如果您使用非可變參數（第一）版本，那麼你通過在類模板應該只需要一個模板參數。這意味着它不能與std::vector一起使用，因爲它需要第二個模板參數，分配器類型（其默認參數爲std::allocator<T>）。如果你的編譯器不支持可變參數模板，像VS2012無月CTP，然後用這個

template <template<typename, typename> class V, typename U, typename A> 
trytemplate(const V<U, A>& p) 
{ 
    std::cout << p[0] << " " << p.size() << std::endl; 
}