模板类指针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)才是类。类模板是其他种类的野兽。     

要回复问题请先登录注册