具有不同元素的链表，可能

Linked list with different elements , possible?

本文关键字：链表 可能 元素      更新时间：2023-10-16

Hya，

莱姆解释我的观点。

template<typename T>
class node{
  T data;
  template<typename X>
  node<X>* right; // can point to any node<typename> i know its wrong
}
这样

我就可以做这样的事情：

node<int> a;
a.data = 23;
node<float> b;
b.data =43.6;
a.right= b;
std::cout<< a.data <<a.right->data;

再比如：

template <class Type>
struct vnode {
  Type data;
  vnode<Type> * vnodenext;
  // vrow what_to_put_here // **i don't want to use void ptrs neither want to cast back manually**
}

在main函数中，如果我定义vnode类型为string的结构和另一个类型为int vnode，那么我应该vnode在结构定义中用vrow替换哪个指针def，以便它可以指向int类型或其他类型的vnode vnode？

vnode<string> mystring;
vnode<int> myint;
myint.vrow = &mystring

实际上不可能做你想做的事情，因为在使用模板时，你必须知道编译时涉及的类型。相反，遍历以前构造的链表需要您在运行时发现列表中的类型。

为了说明这一点，请考虑以下情况：

struct node_base {
    virtual ~node_base() {}
}
template<typename T>
struct node : public node_base {
    T data;
    node_base* right;
}

现在你当然可以有一个 node_base* 列表，这些节点可以包含您想要的任何类型的数据。构造列表不是问题，因为在添加节点时，data的静态类型是已知的，您可以创建一个 node<TData> .

现在的问题是如何取回数据。假设有一个函数返回节点内的数据，给定指向该节点的指针。函数返回类型应该是什么？显然(除非您事先知道所有数据类型共享一个公共基础(，没有可以返回的单一类型。这给你留下了：

  1. 返回void*
  2. 编写将数据类型作为参数接收的模板化函数

但是，#2 在实践中是不可行的(尽管它在理论上有效(。您不能将数据类型编写为模板参数，因为这需要在编译时知道它，这违背了多数据类型列表的目的。

因此，剩下的唯一解决方案是返回一个指针类型(node_base*或数据本身的void*(，然后使用某种机制将该指针强制转换为有用的类型。

一般来说，如果没有某种运行时支持，这在C++是不可能的。但是，您可以将变体类型用于节点的值，例如，请参阅 http://www.boost.org/doc/libs/1_46_1/doc/html/variant.html。

你应该从一个共同的祖先派生你的vnode模板，即

struct vnode_base {
    virtual ~vnode_base() {}
};
template <class Type> 
struct vnode : vnode_base {
   // ...
};

并将 vnode_base* 类型用于节点中的下一个元素指针。由于将 rom 基类转换为祖先是隐式的，因此以下赋值就可以了：a.right= &b; .

要检查节点是否具有特定类型，请使用C++的 RTTI。实际上没有办法避免这种情况 - 您需要某种运行时类型检查。

vnode<float>* pf = dynamic_cast<vnode<float>* >(a.right);
if (pf) {
    // here we go
}
相关文章：