为何Trie类定义中可先出现Trie*类型？编译器如何识别？

先贴出问题中的代码：

class Trie {
private:
    vector<Trie*> children;
    bool isEnd;

    Trie* searchPrefix(string prefix) {
        Trie* node = this;
        for (char ch : prefix) {
            ch -= 'a';
            if (node->children[ch] == nullptr) {
                return nullptr;
            }
            node = node->children[ch];
        }
        return node;
    }
};

核心原因：C++的不完全类型规则 #

当你写下class Trie的那一刻，编译器就已经完成了这个类的前向声明，此时Trie属于「不完全类型」——也就是编译器知道这个类型存在，但还不清楚它的完整结构（成员、方法细节等）。

对于不完全类型，C++有明确的使用规则：

• 允许声明指向该类型的指针或引用，因为指针的大小是固定的（同一平台下所有指针长度一致，比如64位系统是8字节），编译器不需要知道Trie的具体结构，就能确定Trie*的内存布局。
• 允许声明以该类型为返回值或参数的函数（如果是函数定义，只要用到的类成员已经在前面声明过，也可以在类内部完成）。

对应到代码中的具体场景 #

1. vector<Trie*> children：这里只是声明一个存储Trie指针的容器，编译器只需要确认Trie*是合法的指针类型，不需要知道Trie的完整定义，完全符合不完全类型的使用规则。
2. Trie* searchPrefix(string prefix)：函数返回类型用Trie*，属于不完全类型的合法用法；函数体里的Trie* node = this以及node->children，此时编译器已经处理到类内部，children成员已经被声明过，虽然类还没完全定义，但编译器已经知晓这个成员的存在，因此解引用指针访问成员是合法的。

总结 #

类名的首次出现就相当于前向声明，让类型成为不完全类型；而指针的特性（大小固定、无需完整类型即可声明），使得在类完整定义前使用Trie*完全符合C++的语法规则。

内容的提问来源于stack exchange，提问作者y z