Question

如何在模板构造函数上进行特化？为了更好地理解，我将带来一个代码示例：

template<typename T>
class Stack {
  private:
    int nelem;
    int size;
    vector<T> stack;

  public:
    ~Stack();
    Stack<T>(int t);
    void push(T data);
    T pop();
    T top();
    int getPosTop(){return (nelem--);};
    void cleanStack(){nelem = 0;};
    bool StackEmpty(){ return (nelem == 0);};
    bool StackFull(){ return (nelem == size);};
};


template <typename T>       // constructor definition here
Stack<T>::Stack<T>(int t){
  size = t;
  nelem = 0;
};

int main(){



return 0;
}

出现了很多错误。然后，我读了另一篇文章，一些建议，正在取代

template <typename T>
    Stack<T>::Stack<T>(int t){

到

template <typename T> template <typename T> Stack<T>::Stack<T> (int t){

这还不够。

我错过了什么？而且，它背后的想法是什么？

Answer 1

只有你的类是模板，而不是你的构造函数，你应该只使用

template <typename T>
Stack<T>::Stack(int t){ /*...*/ }

如果你想专门构建Stack<char>的构造函数，那就是

template <>
Stack<char>::Stack(int t){ /*...*/ }

Answer 2

您想知道如何专门构建构造函数Stack<T>::Stack 对于T的特定值。你按照说明这样做： -

#include <vector>
#include <iostream>

template<typename T>
class Stack {
private:
    std::size_t nelem;
    std::size_t size;
    std::vector<T> stack;

public:
    ~Stack(){};
    Stack<T>(std::size_t n);
    void push(T data);
    T pop();
    T top();
    std::size_t getPosTop(){return (nelem--);};
    void cleanStack(){nelem = 0;};
    bool StackEmpty(){ return (nelem == 0);};
    bool StackFull(){ return (nelem == size);};
};

template <typename T>
Stack<T>::Stack(std::size_t t){
    size = t;
    nelem = 0;
    std::cout << "Constructing a `Stack<T>`\n";
}

template <>
Stack<std::string>::Stack(std::size_t t){
    size = t;
    nelem = 0;
    std::cout << "Constructing a `Stack<T>` with `T` = `std::string`\n";
}

template <>
Stack<int>::Stack(std::size_t t){
    size = t;
    nelem = 0;
    std::cout << "Constructing a `Stack<T>` with `T` = `int`\n";
}

int main() {
    Stack<float> sf{2};
    Stack<int> si{3};
    Stack<std::string> ss{4};
    sf.cleanStack();
    si.cleanStack();
    ss.cleanStack();
    return 0;
}

哪些输出： -

Constructing a `Stack<T>`
Constructing a `Stack<T>` with `T` == `int`
Constructing a `Stack<T>` with `T` == `std::string`

Live demo

如何专门化模板化构造函数？

2 个答案: