c++ - T 的模板特化 -> std::vector

Question

我有一个模板类方法

template<class T>
T pop<T>();

现在我想做一个模板特化如下，

template<class T>
std::vector<T> pop<T>();

我可以做到以下没问题，

template<>
std::vector<int> classname::pop<std::vector<int>>();

但我仍然需要将类型保留为模板参数。我该如何实现？

Answer 1

在我的头脑中，我通常通过使用单成员结构来绕过它:

template <typename T>
struct pop_impl {
    static T pop(classname& x); // normal function
};

template <typename T>
struct pop_impl<std::vector<T>> {
    static std::vector<T> pop(classname& x); // specialized for std::vector<T>
};

template <typename T>
T classname::pop() { return pop_impl<T>::pop(*this); }