C++语法｜类直接包含与自身类型相同的成员变量？

在C++中，一个类不能直接包含与自身类型相同的成员变量。这是因为类的大小需要在编译时确定，而一个包含自身类型的成员变量会导致递归定义，从而无法确定类的大小。

示例代码（非法定义）

以下代码是非法的，因为 Node 类包含了自身类型的成员变量 next：

class Node {
public:
    int value;
    Node next;  // 这是非法的，会导致递归定义
};

解决办法

虽然不能直接包含与自身类型相同的成员变量，但可以通过指针或引用来实现类似的效果。指针和引用的大小是已知的（通常是固定的），因此可以用于定义与自身类型相关的成员变量。

1.使用指针

可以使用指针来定义一个类，其中的成员变量是指向自身类型的指针。这在实现链表、树等数据结构时非常常见。

class Node {
public:
    int value;
    Node* next;  // 指向自身类型的指针

    Node(int val) : value(val), next(nullptr) {}
};

int main() {
    Node node1(1);
    Node node2(2);
    
    node1.next = &node2;  // node1 的 next 指向 node2

    return 0;
}

2.使用智能指针

为了更好地管理动态分配的内存，可以使用智能指针（如 std::shared_ptr 或 std::unique_ptr）。

#include <memory>

class Node {
public:
    int value;
    std::shared_ptr<Node> next;  // 使用智能指针

    Node(int val) : value(val), next(nullptr) {}
};

int main() {
    auto node1 = std::make_shared<Node>(1);
    auto node2 = std::make_shared<Node>(2);
    
    node1->next = node2;  // node1 的 next 指向 node2

    return 0;
}

总结：

• 直接包含自身类型的成员变量会导致递归定义，无法确定类的大小，因此这是非法的。
• 可以使用指针或智能指针来定义与自身类型相关的成员变量，从而实现类似的效果。
• 指针和智能指针的大小是已知的（通常是固定的），因此可以用于定义类的成员变量。