c++ - 同时具有指针类型和常规类型的类模板

Question

我用值类型模板定义了一个 Node 类

template<class T>
class Node {
  T val;
  public:
    Node (T & v) : val (v) {}
    ...
    void print() { cout << v << endl; }
}

大多数时候，感兴趣的节点值将是一个对象类，比如 class Foo .在这种情况下，使用 Node<Foo *>会更方便。但也可能是节点将保持原始时间，比如 int .然后使用 Node<int>就足够了。

问题是，一些函数可能需要根据是否为 ​​T 来表现不同。是否为指针类型。例如，print应该cout << *v什么时候和cout << v否则。

我尝试过定义两者:

template<class T>
class Node {
  T val;
  public:
    Node (T & v) : val (v) {}
    ...
    void print() { cout << v << endl; }
}

template<class T>
class Node<T*> {
  T* val;
  public:
    Node (T* v) : val (v) {}
    ...
    void print() { cout << *v << endl; }
}

它现在可以根据它是否是 Node<int> or Node<int *> 选择合适的定义。但是问题就来了，这两个定义会共享很多代码。我想知道是否有更好的方法来实现这一目标。

Answer 1

看这个:C++ template specialization, calling methods on types that could be pointers or references unambiguously

相同的技术应该在这里起作用，允许您在两种情况下将 val 作为引用(或指针)统一处理。

CRTP可能有助于减少代码重复，允许在没有任何开销的情况下为两个特化编写通用代码。

请注意，当您有时使用指针有时使用实例时，所有权语义会变得很棘手——val 的生命周期是多少，如果有时它是一个参数的指针，而其他时候它是一个论点的拷贝，以及如何执行它？