嵌套类作为constexpr类型的Clang编译问题咨询

三种编译场景 #

情况A：正常编译（独立类写法） #

#include <iostream>

class Foo {
public:
    constexpr Foo(int x) : val(x) {}
    int val;
};

class Bar {
public:
    static constexpr Foo foo{42}; // 编译完全正常
};

int main() {
    std::cout << Bar::foo.val << std::endl;
    return 0;
}

情况B：编译失败（嵌套类写法） #

#include <iostream>

class Bar {
public:
    class Foo {
    public:
        constexpr Foo(int x) : val(x) {}
        int val;
    };

    static constexpr Foo foo{42}; // Clang报错：调用未定义的构造函数'Foo'
};

int main() {
    std::cout << Bar::foo.val << std::endl;
    return 0;
}

情况C：编译失败（错误信息合理） #

#include <iostream>

class Foo {
public:
    static constexpr Foo foo{42}; // 报错：不允许使用不完整类型'Foo'
    constexpr Foo(int x) : val(x) {}
    int val;
};

int main() {
    std::cout << Foo::foo.val << std::endl;
    return 0;
}

问题本质分析 #

按C++的规则，在Bar里声明static constexpr Foo foo{42}的时候，嵌套类Foo的完整定义已经写在前面了，此时Foo是完整类型，编译器完全能找到它的构造函数。

但Clang在情况B里却报“构造函数未定义”，这明显是诊断错误——代码里明明写了构造函数，根本不存在未定义的问题。对比情况C里“类型不完整”的合理报错，情况B的错误提示完全不符合代码逻辑，而且升级到最新版Clang这个问题还存在。

结论 #

这必须提交成Clang的编译Bug报告，不是错误信息优化的问题。因为核心是编译器在语义分析时出错了，错误地把已经完整定义的嵌套类当成构造函数不可用的状态，属于逻辑bug，不是改改提示文案就能解决的。

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