c – 内部类的奇怪的constexpr行为

发布时间：2020-12-16 05:40:00 所属栏目：百科来源：网络整理

导读：有人可以试试解释一下吗？ templatetypename T,size_t S = T::noElems()struct C{};struct X{ enum E { A,B,C }; static constexpr size_t noElems() { return C+1; };};struct K{ CX cx; // this DOES compile};struct Y{ struct Z { enum E { A,C }; stati

有人可以试试解释一下吗？

template<typename T,size_t S = T::noElems()>
struct C
{
};

struct X
{
    enum E { A,B,C };
    static constexpr size_t noElems() { return C+1; };
};

struct K
{
    C<X> cx; // this DOES compile
};

struct Y
{
    struct Z
    {
        enum E { A,C };
        static constexpr size_t noElems() { return C+1; };
    };
    C<Z,Z::C+1> cyz; // this DOES compile

    C<Z> cyz; // <--- this does NOT compile 
};

解决方法

用struct的声明

struct Y
{
    struct Z
    {
        enum E { A,Z::C+1> cyz1; // this DOES compile

    C<Z> cyz2; // <--- this does NOT compile 
};

实体cyz1和cyz2在Z :: noElems()的内联声明之前解析,所以定义

static constexpr size_t noElems() { return C+1; };

在宣布时不可用

C<Z> cyz2;

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!