Приведение массива указателей из одного типа в другой

Проблема в том, что int *[] — это неполный тип, экземпляр которого невозможно создать.

В объявлении функции int *[] в точности эквивалентен int **, поскольку фактический аргумент, передаваемый функции, в любом случае будет «указателем на указатель на int». Следовательно, в контексте объявления функции int *[] фактически относится к полному типу (указатель на указатель на int).

Однако в приведении (int *[])a сообщает компилятору создать временный тип int *[], а это недопустимо, поскольку это неполный тип.

Хотя мы не можем иметь значения неполного типа, мы можем иметь указатели на такие значения, поэтому компилируется следующее (только ради примера; это не рекомендуемая конструкция) — для более четкой записи используется typedef:

typedef int * incompleteIntArray[];

void test(int*[]);
int main()
{
    char *a[2];
    test(*(incompleteIntArray *)&a);
}

Дело в том, что хотя incompleteIntArray (он же int *[]) является неполным типом, указатель на этот тип им не является. Следовательно, указатель &a на char *[2] можно привести к указателю на int *[], и мы можем разыменовать его, чтобы создать аргумент функции. Однако это работает только потому, что массивы всегда передаются по ссылке, поэтому фактический аргумент — это указатель, а не экземпляр int *[].

C просто не позволяет приводить типы массивов. Вероятно, по той же причине, что и не позволяет присваивать типы массивов. Просто язык указан.

C17 6.5.4 Операторы приведения:

Ограничения
Если имя типа не указывает недействительный тип, имя типа должно указывать атомарный, квалифицированный или неквалифицированный скалярный тип, а операнд должен иметь скалярный тип.

Скаляр означает «одну переменную», в отличие от «агрегата», который представляет собой массивы или структуры. Поэтому приведение структуры к другому типу структуры также не допускается.

В некоторых ситуациях вы можете преобразовать указатель на массив или указатель на структуру в указатель на другой массив или структуру, но это также почти всегда неверная практика и во многих случаях вызывает неопределенное поведение.

Причина, по которой (int**)a компилируется, заключается в том, что параметр массива в функции всегда неявно подстраивается под указатель на ее первый элемент. Таким образом, в случае void test(int*[]); это на 100% эквивалентно void test(int**);, потому что первый элемент — это int*, а указатель на него будет int**.

Но то, что ваш код компилируется, не означает, что он правильный. C допускает всевозможные дикие и безумные преобразования указателей, но приведение символьного указателя к указателю к целочисленному указателю по-прежнему приводит к недопустимому преобразованию. Поскольку эти типы несовместимы, и разыменование результирующего указателя приведет к неопределенным ошибкам поведения.

Конкретное предупреждение о том, что int*[] является неполным типом, здесь менее актуально, поскольку в любом случае код совершенно неверен. Массив без указания размера является неполным типом. В случае функции это не имеет значения, поскольку массив в любом случае будет скорректирован, как упоминалось ранее. Но в другом месте кода, вероятно, не имеет смысла создавать экземпляр типа неполного массива, если C вообще это позволяет. А это не так, поскольку приведение типов массивов недопустимо.