模板类指针c ++声明

如何解决模板类指针c ++声明

|

template <typename T>
class Node
{...};

int main
{
    Node* ptr;
    ptr = new Node<int>;
}

将无法编译我必须将指针声明为

Node<int>* ptr;

为什么在声明尚未创建类的指针时必须指定类型，为什么编译器必须知道它将指向的类型。并且不可能创建通用指针并在事后决定我要为其分配哪种类型。     

解决方法

        模板化在编译时解析类型。将新的“ 2”对象分配给它时，指针必须在编译时知道其确切类型。

Node<int>

和

Node<std::vector>

在二进制文件中可能会非常不同（对象的二进制布局完全根据template参数而改变），因此对模板使用未解析的指针类型没有任何意义。 您应该首先为节点定义一个公共父类：

class NodeBase
{ ... }

template<typename ValueT>
  class Node : public NodeBase
{
 ...
};

NodeBase* ptr;

    ,        简单的答案是因为C ++使用（相当）严格的静态类型 检查。

Node<int>

与

Node<double>

完全无关 当编译器看到“ 8”时，它必须知道是否 叫

Node<int>::doSomething()

或

Node<double>::doSomething()

。 如果您确实需要某种动态通用性， 实际类型“ 11”将指向，仅在运行时才知道，您需要 定义一个基类，并从中派生。 （这很常见 准确地说，类模板是从非模板基派生的成语 以便可以在运行时解决指针的一般性。）     ,           为什么在声明尚未创建类的指针时必须指定类型，为什么编译器必须知道它将指向的类型。 您可以使用指针做很多事情，仅列出一些： 根据指针的类型调用许多函数之一 从中索引（假设它指向此类对象的连续数组中的第一个元素） 取指向对象的大小 将其传递到指针类型为参数的模板 为了使编译器生成有效执行这些操作的代码，它需要知道指针的类型。如果将决定推迟到看到指针的类型，那么它将需要： 为指针以后可能需要的每种可能的类型编译有效的代码（制作一个肿的程序），或者 创建效率低下的代码，以通过一些最坏的悲观的笨拙行为来处理所有可能的类型，或者 将自身（编译器）的副本嵌入到C ++程序中，以便它在获得必要信息时可以完成其工作-这会使每个琐碎的程序变得庞大（且速度缓慢）   并且不可能创建通用指针并在事后决定我要为其分配哪种类型。 种类...您有很多选择： 使用

void*

，但是在它再次可以对指向类型进行有意义的操作之前，您需要手动将其强制转换回该类型：在您的情况下，这意味着记录某处，然后针对每种可能性使用单独的代码 使用

boost::any<>

-非常像ѭ12pretty，但内置安全功能 使用

boost::variant<>

-更安全，更方便，但是在创建指针时必须列出可能的指向类型 使用对象的运行时多态族和虚拟调度...这是经典的面向对象程序设计...您有一个指向“抽象”

Node

的指针，该you声明了要用于操作的共享函数和成员数据任何特定类型的节点，则模板化的

Node

类都从该抽象

Node

派生并实现特定于类型的功能。然后使用

virtual

函数通过指向基类的指针来调用它们。     ,        每当您在C ++中创建任何类型的对象（包括指针）时，都必须知道对象的完整类型。您的代码中没有

Node

这样的类型，因此您无法创建指向它的指针的实例。您需要重新考虑如何设计和编写代码。     ,        正如Neil Butterworth和Luc Danton都指出的那样，您不能拥有Node *类型的指针，因为Node不是类型。这是一个模板。是的，Node是一个类模板，但是这里的类仅限定了那种模板。一种看待它的方式：正如类和类的实例是非常不同的事物一样，模板和模板实例化也是如此。正是那些模板实例（例如Node）才是类。类模板是其他种类的野兽。