模板类赋值运算符中的模板参数

Question

我正在尝试编写一个通用类MyStack 来实现一个堆栈。我的类中有一个模板变量，类型名称为Data。我还重载了= operator 以将现有的MyStack 对象复制到另一个现有的MyStack 对象。因此，我想在复制之前检查两个类对象是否具有相同类型的变量，即，我不希望将float 类型的对象复制到int 类型的对象。完成这项任务的好方法是什么？

MyStack 定义：

template<typename Data>
class MyStack
{
    Data *data;
    int pos;
    int Max;
    MyStack();

    public:

    MyStack(int);
    int push(const Data);
    int push(const Data *,const Data);
    Data pop();
    Data* pop(const int);
    int getMaxSize();
    int currSize();
    int isEmpty();
    void display();
    MyStack(const MyStack &);
    void operator=(const MyStack s);
    ~MyStack();
};

这是运算符重载部分：

template<typename Data>
void MyStack<Data>::operator=(const MyStack s)
{
    cout<<"Copied with operator overloading"<<endl;
    delete[] data;
    data=new Data[s.Max];
    Max=s.Max;
    pos=s.pos;
    for(int i=0;i<=s.pos;i++)
            data[i]=s.data[i];
}

提前致谢。

Answer 1

在声明中

void operator=(const MyStack s);

你有很多问题（见overloading special members）：

1. 返回类型应为MyStack<Data> &。
2. s 应该是一个常量引用。
3. s 应该作为 const 引用的类型也是 MyStack<Data>。

请注意，MyStack 不是实际类型。它是一个“类型工厂”。

总体来说应该是这样的

MyStack<Data> &operator=(const MyStack<Data> &s);

这将顺便解决您的问题 - 它只需要对 MyStack 模板的 const 引用实例化为相同的 Data。

---

如果您也想支持来自其他堆栈类型的分配，您可以考虑如下方式：

#include <type_traits>

template<typename Data>
class MyStack
{
...

    template<typename OtherData>
    typename std::enable_if<
        std::is_convertible<OtherData, Data>::value,
        MyStack<Data> &>::type
        operator=(const MyStack<OtherData> &other);
};

这个用途：

• std::is_convertible 检查OtherData 是否可转换为Data

• std::enable_if 仅为类型 convertibel 定义为 Data。