Cast «указатель на константный» в «указатель на константные VLA»

Question

В этом фрагменте указателя на VLA используется для облегчения доступа к большой справочной таблице:

#pragma GCC diagnostic warning "-Wcast-qual" 

char 
lookup(int a, int b, int c, char const *raw, int x, int y, int z) 
{ 
    typedef char const (*DATA_PTR)[a][b][c]; 

    DATA_PTR data = (DATA_PTR)raw; 

    return (*data)[x][y][z]; 
} 

GCC 6.2.0 дроссели на нем, в то время как Clang 4.0.0 (багажник) компилируется просто отлично, оба с -Wcast-qual включены.

In function 'lookup': 
warning: cast discards 'const' qualifier from pointer target type [-Wcast-qual] 
    DATA_PTR data = (DATA_PTR)raw; 
       ^

Код работает как ожидалось в любом случае.

Моя догадка НКУ путает «указатель на VLA из константных элементов» и «указатель на константные VLA», но я тянусь ...

Есть ли способ, чтобы заткнуться GCC без возился с предупреждениями? Это ошибка GCC?

EDIT1:

Подробные сведения о фактическом коде:

struct table { 
    int a; 
    int b; 
    int c; 
    char *raw; 
}; 

char 
lookup2(struct table const *table, int x, int y, int z) 
{ 
    typedef char const(*DATA_PTR)[table->a][table->b][table->c]; 

    DATA_PTR data; 
    data = (DATA_PTR)table->raw; // GCC ok 
    data = (DATA_PTR)(char const *)table->raw; // GCC raises -Wcast-qual 

    return (*data)[x][y][z]; 
} 

EDIT2:

Так что это ... стандартный проект C11 говорит 6.7.3/9:

Если спецификация Ион типа массива включает в себя квалификаторы любого типа, тип элемента является настолько квалифицированным, а не типом массива.

См. Ответ @hvd.

Один хак, чтобы заставить замолчать -Wcast-qual:

DATA_PTR data = (DATA_PTR)(intptr_t)raw; 

Answer 1

Это давняя проблема в C. Это та же самая причина, почему

int array[2]; 
const int (*ptr)[2] = &array; 

недопустим в C (но будет действительным в C++): это объявляет указатель на массив из const -qualified integers, который является not a const -qualified массив целых чисел, поэтому нормальное правило, что указатель на тип может быть неявно преобразован t o указатель на const -qualified версия этого типа не применяется.

В вашем случае, вы конвертируете из const char * (указатель на const -qualified типа) в char const (*)[a][b][c] (указатель на не- const -qualified типа), которые, как предполагается -Wcast-qual предупредить о.

clang просто никогда не потрудился реализовать эту особую странность C, он рассматривает C-код семантикой C++, в которой говорят, что массив из элементов const сам по себе является также и кодом const.

Вы бы нормально быть в состоянии работать вокруг него, окружив массив в struct:

typedef struct { char d[a][b][c]; } const *DATA_PTR; 

, но это не вариант для Власа. Я не верю, что есть подходящее обходное решение, отличное от использования многомерных массивов вообще, или не используя -Wcast-qual.