C++模板问题

Question

template <class T>
class ListNode {

public:
    T* data;
        ListNode<T>* next;
}

假设我有一个列表节点模板，并且在代码中的某个位置我想获取数据的副本 - 这意味着不是指向数据的指针 (T*) 的副本，而是一个指向另一个的新指针 (T*)内存中具有相同信息的位置。

使用C++模板时如何做到这一点？如果我不知道 T 的类型是什么，如何复制 (*data)。

Answer 1

编译器知道T的类型。不知道的是有多少个 T 实例被指向。就获得实际实现而言，简短的答案是不要使用指针类型。请改用容器。由于无论如何都要复制节点数据，因此开销很小。下面是明确的示例：

template <class T>
class ListNode {
public:
    // use a vector as the  container
    std::vector<T> data;
    ListNode<T>* next;
    // initializer from pointer primitive
    ListNode(const T* ps,size_t elements)
    {
        data.assign(ps,ps+elements);
    }
    // copy templated instance
    ListNode(const ListNode& arg)
    {
        data = arg.data;
    }
    // assignment
    ListNode& operator=(const ListNode& arg)
    {
        if (this != &arg)
        {
            data = arg.data;
        }
        return *this;
    }
};

实际用法与此类似：

{
    const char* ps = "Hello World";
    ListNode<char> ln1(ps,strlen(ps));
    ListNode<char> ln2 = ln1;
}

当然，您可以得到更复杂的解决方案，但它们都将涉及跟踪指针指向的类型 T 的实例数量。

Answer 2

T 必须是可复制构造的，这样您就可以执行

   template <class T>
   ListNode<T>::ListNode(const ListNode<T>& src)
   {

        ...
        // given a preexisting copy, src, create a new T to
        // perform a copy
        T* destT = new T(*srcT);
   }

如果 T 有复制构造函数，则这将起作用。如果没有，编译器会给你一个错误（可能是一个非常神秘的错误）

Answer 3

使用运算符=或复制构造函数。标准做法是，这两者都会生成对象的副本。

因此，例如：

T *p = other_pointer;
*p = *data;

或者

T* copy = new T(*data);

Answer 4

创建模板化类型的副本时，实际上您无需担心类型本身，而是在该类型的复制构造函数或赋值运算符上执行该任务：

template <class T>
class ListNode {
public:
    T* data;
    ListNode<T>* next;
    T* getCopy() { new T(*data); } // get copy of "data"
};

假设您使用此 ListNode class A，那么您可以为 A 定义一个复制构造函数（以及赋值运算符）：

class A {
public:
  A(const A& copy);
};

现在，当调用 ListNode::getCopy() 时，它将在内部调用 A 的复制构造函数。