我如何检测一个构造器是否真的是constexpr,以便使用静态初始化?

查看此代码:

struct NonConstexpr {
    NonConstexpr() { }
};

template <typename T>
struct Bar {
    NonConstexpr nonConstexpr;

    constexpr Bar() { }
};

struct Foo {
    Bar<void> bar;

    constexpr Foo() { }
};

在本代码中, Foo 的构造函数标记为 constexpr 但它不能出现在常量表达式中,因为它实际上无法满足这一要求。你可以在我的 previous question .

我的问题是:我能检测到编译时间吗? 福 的构造函数实际上不会 常量表达式 ?

我问这个的原因,我想检测一个全局变量 福 是否静态初始化(我希望 static_assert 关于这个,作为我的全球 FOO公司 对象必须静态初始化)。

注意,直截了当的解决方案,暂时添加 常量表达式 对变量不起作用,因为 福 有一个非平凡的析构函数。