【问题标题】:Using C++ templates in Linked Lists, with multiple different types appearing in the list在链接列表中使用 C++ 模板,列表中出现多种不同类型
【发布时间】:2026-02-06 17:45:02
【问题描述】:

(首先,作为免责声明,这与作业有关。我不是要求任何人为我完成作业,只是为了尝试帮助我了解如何正确实施模板。)

我目前的设置是:

我有 A 类,它是一个基类。 B、C、D类都是A类的孩子。

我正在尝试创建一个链表,在单个列表中可以指向 B、C 或 D。

我目前的设置是这样的:

enum Types { TypeB, TypeC, TypeD }

struct Node
{
    void * pointerToElement;
    int type;
    Node * next;
};

struct Header
{
    int counter;
    Node * first;
};

这确实有效。当我通过链表打印出所有元素时,我使用and if语句和int type来识别它是什么类型(基于定义的ENUM),然后使用static_cast来转换void指针指向 B、C 或 D 类的指针。

现在,有人告诉我必须改用模板,这让我很头疼。我在模板方面做得不多,但我对它们的体验并不是那么愉快。

我对模板的理解是,我可以使用它来定义具有 B、C 或 D 类的整个链表,但是让 B、C 或 D 都出现在同一个链表中是不是很合理?

我尝试了以下方法:

enum Types { TypeB, TypeC, TypeD } // I realise that if templates work, I won't need this

template <class T>
struct Node
{
    T * pointerToElement;
    int type;
    Node<T> * next;    // Reason 1 I suspect I could only use one type
};

template <class T>
struct Header
{
    int counter;
    Node<T> * first;    // Reason 2 I suspect I could only use one type
};

我的主要问题是,模板应该能够做到这一点吗?在一个类中实现它时,我需要为标题指定一个类型,这是我不想做的,所以我也将该类作为模板,并且它一直遵循我的其余代码应该“ t 需要是一个模板,最后到了 main(),我必须在其中定义 B、C 或 D 类。

欢迎提出意见和建议。

谢谢。

编辑

感谢大家的cmets,我可能已经从讲座中学到了更多尝试这个。

我所做的几乎是抛弃了模板,或者至少是我尝试使用它们的方式。我使用了模板(不幸的是,为了使用模板)并且它有效。这是我现在所做的(所有有用的 cmets 都解决了所有问题......谢谢!)

template <class T>
struct Node
{
    T * pointerToElement;
    int type;   // I can get rid of this after I go through the code and remove all references to it, which I am doing now.
    Node<T> * next;    // Reason 1 I suspect I could only use one type
};

template <class T>
struct Header
{
    int counter;
    Node<T> * first;    // Reason 2 I suspect I could only use one type
};

还是原来的样子,但是在声明Header的时候,我声明为:

标题 * 我的标题;

(我使用的类结构与以下解决方案中的相同)。

所以这是指向基类,所有其他类都派生自该基类。然后,由于继承,我可以毫无问题地在其中存储类 B、C 或 D,并且假设在派生类(B、C 和 D)中定义的所有函数都定义在基类中,我可以调用它无需强制转换(例如,它们都有自己的打印函数,并且在派生类中定义时调用正确的函数)。

我认为作业试图传达的想法是一个可用于任何类型的链接列表,我认为存在一些误解(可能主要是由于我),我认为应该使用模板在每个节点中定义不同的类类型,而不是它们可以用来定义基类。

【问题讨论】:

  • 这听起来像是继承的工作
  • 有点混乱,但对于一个很好的家庭作业问题 +1。
  • GWW:B、C、D类都是继承自A类,实际赋值中是模拟银行,所以A类是Account,B、C、D是Savings、Check或信用账户。这个想法是每个客户都有一个链接的帐户列表,他们的帐户可以是任何时间的,显然我需要使用模板来满足标记标准(我使用 void*)。我想我最终可能会在作业的其他地方扔模板。约翰:谢谢。
  • @joshendo:你确定你需要在这部分作业中使用模板吗?问题的实际措辞是什么?
  • 该学科的协调员不是最擅长写作业,而且模板只是上周另一位学者的口口相传(这就是为什么它显然是,而不是肯定的...... . 任务的一半工作是弄清楚要做什么。)。我想我将使用派生类/继承并完全放弃模板的东西,这似乎是不可能的,也不是一个好主意,并且正在破坏我原本可以工作的程序。感谢 cmets。

标签: c++ templates linked-list


【解决方案1】:

您应该使用继承而不是模板。正如您所猜测的,模板为每个类型创建实例 T,这不是您想要的。

您的代码应该是以下几行:

class A{...};
class B: public A{...};
class C: public A{...};
class D: public A{...};
struct Node{
    A *next;
}

您可以将指向ABCD 的指针分配给next。确保在适当的地方将成员函数标记为virtual

【讨论】:

  • 我想这就是我最终可能会做的事情。只是一个简单的问题,如果 B 类具有 C 类没有的功能,即使它没有出现在所有派生函数中,也可以在 A 类中将其定义为虚函数吗?
  • @joshhendo - 如果它是一个纯虚函数(即:在 A 类中,您没有该函数的主体,只是一个带有 =0 的声明),那么所有派生的类必须实现它。如果 A 有它的实现,那么 C 将继承该实现,除非它有自己的实现。无论如何,在遍历列表时,您将只能访问为 A 定义的成员函数和变量,除非您强制转换为其他内容(使用 dynamic_cast 而不是 static_cast,了解差异和用途) .
  • @joshhendo:看看SOLID 原则,尤其是Liskov substitution principle。在设计良好的程序中,如果您编写一个使用 A 类型对象的操作,您应该能够用 B、C 或 D 类型的对象替换它,并且程序应该仍然是正确的。 (简而言之,照你说的做是不行的,尽管 C++ 允许你这样做。)
最近更新 更多