В языке С не существует неявного приведения типа от T **
к const T **
. Потому компилятор и ругается. Правила константой корректности языка С допускают "появление" const
на первом уровне индирекции, но на более глубоких уровнях все const
должны в точности совпадать
void *p = 0;
const void *pc = p; // Можно
void **pp = 0;
const void **ppc = pp; // Нельзя
const void **pcp = 0;
const void *const *pcpc = pcp; // Можно
Собственно, именно это вы уже и проиллюстрировали своим примером. Ваша функция требует параметр типа const void **
, а вы передаете туда void **
. Это ошибка. Никакого "бага компилятора" тут нет.
В языке С++ правила константной корректности существенно отличаются: разрешается добавлять const
на любом уровне индирекции, если одновременно добавляются const
на всех уровнях до самого верхнего уровня индирекции
void **pp = 0;
const void *const *pcpc = pp; // Можно в С++, но нельзя в С
То есть в вашем примере в С++ прошел бы такой вариант
void func(const void *const *_data);
void **data;
func(data);
Но не в С.