LINUX.ORG.RU

Объясните предложение из стандарта Си


0

0

ISO/IEC 9899:1999

6.7.5.3 Function declarators (including prototypes)

абзац 7

A declaration of a parameter as ‘‘array of type’’ shall be adjusted to ‘‘qualified pointer to type’’, where the type qualifiers (if any) are those specified within the [ and ] of the array type derivation. If the keyword static also appears within the [ and ] of the array type derivation, then for each call to the function, the value of the corresponding actual argument shall provide access to the first element of an array with at least as many elements as specified by the size expression.

Что они хотят? Как они будут проверять, что переданный аргумент обладает указанным свойством?

Объявил функцию void f(int a[static 4]); и без проблем передал ей массив из двух элементов, компилятор gcc 4.1.2

Перемещено Dimez из General


ну стандарт С как бы обычно и не предполагает, что то что он требует должно проверяться. Обычная практика -- просто сказать что если условие невыполнено, то влечет undefined behaviour.

dilmah ★★★★★
()

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

Begemoth ★★★★★
()

понятно, спасибо

braked
() автор топика
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.