Управляйте определением

Аргумент функции, соответствующий параметру, который, как объявляют, имел тип массива, должен иметь соответствующее число элементов.

Объяснение

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

Однако законно в C задать размер массивов, но передать массив меньшего размера. Это правило препятствует тому, чтобы вы передали массив размера, меньшего, чем размер, который вы объявили.

Дополнительное сообщение в отчете

Аргумент функции, соответствующий параметру, который, как объявляют, имел тип массива, должен иметь соответствующее число элементов.

Тип аргумента имеет actual_size элементы, тогда как тип параметра ожидает expected_size элементы.

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.