C++中为何常以Node*指针形式使用结构体而非直接声明实例？

struct Node{
    int val;
    Node* next;
};

针对这个链表节点结构体，开发中普遍用Node*形式声明持有节点，而非直接用Node node创建栈实例，核心原因有三个：

• 匹配链表的动态结构特性
  链表是运行时可变长度的数据结构，节点的增删都是程序运行过程中按需触发的，编译阶段根本没法提前确定节点总数和生命周期。如果直接用Node node声明栈上实例，变量生命周期会严格绑定所在代码块的作用域，出作用域就会被自动回收，既没法跨作用域长期持有节点，也做不到运行时灵活扩容、缩容。
• 适配结构体的递归定义逻辑
  这个Node结构体属于递归定义类型：每个节点需要持有“下一个同类型节点”的关联关系。如果直接在结构体里存Node类型的成员而非指针，会触发无限递归的大小计算：一个Node里包含一个Node，被包含的Node里又有一个Node，永远算不出结构体实际大小，代码直接编译失败。而指针的大小是固定的（64位系统占8字节、32位系统占4字节），用Node*存下一个节点的地址，既能表达节点间的关联，也能让结构体大小在编译期确定。
• 符合内存使用和操作效率要求
  程序栈空间容量非常有限，默认通常只有数MB，如果链表长度较大，把所有节点存在栈上很容易触发栈溢出。Node*一般搭配堆内存分配（new/malloc）使用，堆内存容量远大于栈，适合存储大量节点。另外链表的插入、删除、反转等核心操作本质都是修改指针指向，如果操作的是栈上的Node实例，节点位置调整需要拷贝整个结构体内容，效率远低于直接修改指针；如果误将栈上局部节点的地址存入next指针，等局部变量出作用域销毁后，指针会直接变成野指针，引发内存错误。

注意：不是完全不能用Node node形式创建实例，比如临时做值计算、节点内容拷贝时，完全可以创建栈上的临时Node对象使用。但链表节点的长期持有、节点间的关联关系维护，必须依赖指针实现，否则根本无法发挥链表的动态结构优势。

内容的提问来源于stack exchange，提问作者Vinay Shukla