c++ - constexpr 静态结构类成员的冲突声明

Question

我正在尝试将 constexpr 静态结构数组声明为类成员，但是当我编译以下代码时:

#include<iostream>
#include<assert.h>

using namespace std;

typedef enum token_t {INTEGER,SIGN,EOE} token_t;

class Token{
        token_t type;
        int value;

        constexpr static struct token_d {
            token_t id;
            const char* name;

        } token_dump[] = {
            {INTEGER,"INTEGER"},
            {SIGN,"SIGN"},
            {EOE,"EOE"}
        };

    public:
        const char* get_token_type ();
        Token(token_t,int);
};

constexpr struct token_d Token::token_dump[];

const char* Token::get_token_type ()    {
    return token_dump[type].name;
};


Token::Token (token_t TokenType,int TokenValue) {
    type = TokenType;
    value = TokenValue;
};


int main()
{
    Token token1(INTEGER,2);
    cout<<token1.get_token_type();
    return 0;
}

我收到以下错误消息:

calc1.cpp:29:44: error: conflicting declaration ‘constexpr const token_d Token::token_dump []’
 constexpr struct token_d Token::token_dump[];
                                            ^
calc1.cpp:18:5: note: previous declaration as ‘constexpr const Token::token_d Token::token_dump [3]’
   } token_dump[] = {
     ^~~~~~~~~~
calc1.cpp:29:44: error: declaration of ‘constexpr const Token::token_d Token::token_dump [3]’ outside of class is not definition [-fpermissive]
 constexpr struct token_d Token::token_dump[];

如何定义 token_dump[]？我想不通。

calc1.cpp:29:44: error: conflicting declaration ‘constexpr const token_d Token::token_dump []’ constexpr struct token_d Token::token_dump[]; ^ calc1.cpp:18:5: note: previous declaration as ‘constexpr const Token::token_d Token::token_dump [3]’ } token_dump[] = { ^~~~~~~~~~ calc1.cpp:29:44: error: declaration of ‘constexpr const Token::token_d Token::token_dump [3]’ outside of class is not definition [-fpermissive] constexpr struct token_d Token::token_dump[];

Answer 1

相关的代码行应该是:

constexpr Token::token_d Token::token_dump[];

当你在 class Token 中定义 struct token_d 时，这意味着你正在定义结构 Token::token_d，换句话说它是范围为该类。在全局范围内没有名称 token_d。

当你在全局范围内编写struct token_d时，它在全局范围内将token_d声明为一个struct类型，目前是一个不完整的类型，与无关 token ::token_d。因此类型不匹配。

我建议不要编写 struct T 来引用一个预先存在的 T 正是出于这个原因(除其他外):如果你试图引用一个预先存在的 T -existing T 但你犯了一个错误，它会声明一个新的不完整类型，而不是在某些情况下给出错误。

---

关于静态类成员变量是否需要类外定义的讨论:C++17正在添加内联变量的概念，这与inline functions非常相似您可以在 header 中定义一个内联变量，然后编译器将其全部排序。变量定义上的 constexpr 将暗示 inline。但在 C++17 之前，您仍然需要手动选择一个翻译单元来放入类外定义。