Створіть попередження компілятора, якщо відсутня кома ініціалізації масиву const char * array

Я багато використовую рядкові буквальні таблиці в своєму коді С. Усі ці таблиці виглядають приблизно так:

static const char* const stateNames[STATE_AMOUNT] =
{
    "Init state",
    "Run state",
    "Pause state",
    "Error state",
};

Проблема з кодом вище полягає в тому, якщо таблиця стає довшою і змінюється під час розробки, я час від часу забуваю кому. Код компілюється без проблем із відсутньою комою, але моя програма закінчується збоєм, коли встановлюється остання рядок NULL. Я використовував компілятори MinGW і Keil для перевірки.

Чи є спосіб створити попередження компілятора для моєї ініціалізації, якщо кома відсутня?

Обгортання кожної const char*пари в дужках повинно вирішити проблему, як показано в наступному фрагменті:

static const char* const stateNames[5] =
{
    ("Init state"),
    ("Run state"),
    ("Pause state")     //comma missing
    ("Pause state3"),
    ("Error state")
};

Якщо ви забудете кому, ви отримаєте помилку компіляції, подібну до: error: called object is not a function or function pointer

LIVE DEMO

Зауважте, що якщо ви забудете кому, що насправді відбувається, це те, що C насправді об'єднає два (або більше) рядків до наступної коми або до кінця масиву. Наприклад, скажімо, ви забули кому, як показано в наступному:

static const char* const stateNames[] =
{
    "Init state",
    "Run state",
    "Pause state" //comma missing
    "Pause state3" //comma missing
    "Error state"
};

int main(void)
{  
    printf("%s\n", stateNames[0]);
    return 0;    
}

Це gcc-9.2генерує (інші компілятори генерують подібний код):

.LC0:
        .string "Init state"
        .string "Run state"
        .string "Pause statePause state3Error state" ; oooops look what happened
        .quad   .LC0
        .quad   .LC1
        .quad   .LC2
main:
        push    rbp
        mov     rbp, rsp
        mov     eax, OFFSET FLAT:.LC0
        mov     rdi, rax
        call    puts
        mov     eax, 0
        pop     rbp
        ret

Зрозуміло, що три останні рядки об'єднані, а масив як не довжина, яку ви очікували.

Ви можете дозволити компілятору рахувати масив та генерувати повідомлення про помилку, якщо несподіваний результат:

enum { STATE_AMOUNT = 4 };

static const char* const stateNames[] =
{
    "Init state",
    "Run state",
    "Pause state"    // <--- missing comma
    "Error state",
};

_Static_assert( sizeof stateNames / sizeof *stateNames == STATE_AMOUNT,
        "oops, missed a comma" );

Дивіться цей потік щодо ідей, які можна реалізувати, _Static_assertякщо ваш компілятор дуже старий і не підтримує його.

Як бонус, це також може допомогти при додаванні нових станів, але забудьте оновити рядкову таблицю. Але ви також можете заглянути в X Макроси.

Я завжди використовував посилання на масив явно розміру, щоб вирішити це.

// no explicit size here
static const char* const stateNames[] =
{
    "Init state",
    "Run state",
    "Pause state",
    "Error state",
};
static const char* const (&stateNameVerifier)[STATE_AMOUNT] = stateNames;

http://coliru.stacked-crooked.com/a/593fc2eac80782a6

main.cpp:10:32: error: reference to type 'const char *const [5]' could not bind to an lvalue of type 'const char *const [4]'
static const char* const (&stateNameVerifier)[STATE_AMOUNT] = stateNames;

Це не приносить компілятора, щоб допомогти вам, але я вважаю, що його написання, як показано нижче, полегшує людині не кидати кому:

static const char* const stateNames[STATE_AMOUNT] =
{
      "Init state"
    , "Run state"
    , "Pause state"
    , "Error state"
};