结构体为什么可以包含指向其自身类型的指针

在刷链表相关的算法题时,看到了关于链表的结构体定义,如下

cpp 复制代码
// 单链表
struct ListNode {
    int val;  // 节点上存储的元素
    ListNode *next;  // 指向下一个节点的指针
    ListNode(int x) : val(x), next(NULL) {}  // 节点的构造函数
};

这时候我有个不理解的地方,为什么ListNode 结构体在定义过程中还能ListNode *next;

此时系统能知道ListNode的含义么?

在C++中,能够在定义过程中引用自己类型的指针是通过"不完全类型"这一特性实现的。

为了理解这一点,我们可以先了解几个关键概念。

不完全类型(Incomplete Type)

定义:已经声明 但是尚未定义 的类型。不完全类型不能用于定义变量或者类的成员 ,但是用不完全类型定义指针或者引用是合法的。(来自C++ Primer P274)

不完全类型是一种声明但尚未定义其所有细节的类型。例如,当我们声明 一个结构体或类,但还没有定义其所有成员时,这个类型就是不完全类型。C++允许在这种情况下进行指针声明。

自引用结构体

在C++中,结构体或类可以包含指向其自身类型的指针。这是通过不完全类型 实现的。

在定义结构体时,编译器知道有一个即将完成定义的类型,因此允许指向该类型的指针声明。这就是我们能在定义过程中使用指向自身类型的指针的原因。

尽管ListNode *next;中ListNode的定义还未完成,编译器已经知道ListNode这个名称标识了一个即将定义的类型,因此允许使用ListNode*这种指向自身类型的指针。这个机制是链表等数据结构能够自引用的基础。

相关推荐
好易学·数据结构8 小时前
可视化图解算法56:岛屿数量
数据结构·算法·leetcode·力扣·回溯·牛客网
Ashlee_code14 小时前
裂变时刻:全球关税重构下的券商交易系统跃迁路线图(2025-2027)
java·大数据·数据结构·python·云原生·区块链·perl
闻缺陷则喜何志丹15 小时前
【带权的并集查找】 P9235 [蓝桥杯 2023 省 A] 网络稳定性|省选-
数据结构·c++·蓝桥杯·洛谷·并集查找
jie*15 小时前
python(one day)——春水碧于天,画船听雨眠。
开发语言·数据结构·python·算法·线性回归
草莓熊Lotso17 小时前
【LeetCode刷题指南】--数组串联,合并两个有序数组,删除有序数组中的重复项
c语言·数据结构·其他·刷题
weixin_4196583117 小时前
数据结构之B-树
java·数据结构·b树
H_HX_xL_L17 小时前
数据结构的算法分析与线性表<1>
数据结构·算法
overFitBrain17 小时前
数据结构-2(链表)
数据结构
xienda17 小时前
数据结构排序算法总结(C语言实现)
数据结构·算法·排序算法
科大饭桶17 小时前
数据结构自学Day8: 堆的排序以及TopK问题
数据结构·c++·算法·leetcode·二叉树·c