Оглавление
V2626. MISRA. The 'sizeof' operator should not have an operand which is a function parameter declared as 'array of type'.
Данное диагностическое правило основано на руководстве MISRA (Motor Industry Software Reliability Association) по разработке программного обеспечения.
Это правило актуально только для C.
Оператор sizeof возвращает размер указателя, а не массива, для случаев, когда массив был передан в функцию по копии.
Рассмотрим фрагмент кода:
char A[100];
void Foo(char B[100])
{
}В этом коде объект A является массивом, и выражение sizeof(A) вернет значение 100.
Объект B, несмотря на то, как он задекларирован, является обычным указателем. Значение 100 в квадратных скобках является лишь подсказкой программисту, что передаваемый массив должен содержать сто элементов. Таким образом, выражение sizeof(B) будет равно размеру указателя, а размер последнего определяется реализацией (implementation-defined). Например, для 32-битных систем его размер равен 4 байтам, а для 64-битных систем — 8 байтам.
Предупреждение выдается в том случае, когда вычисляется размер указателя, переданного в качестве аргумента в формате имя_типа имя_массива[N]. Такой код с высокой вероятностью содержит ошибку. Рассмотрим пример:
void Foo(float array[3])
{
const size_t n = sizeof(array) / sizeof(array[0]);
for (size_t i = 0; i < n; ++i)
array[i] = 0.0f;
}Выражение sizeof(array) / sizeof(array[0]) неверно вычислит размер массива, из-за чего он не будет полностью заполнен значением 1.0f.
Для предотвращения подобных ошибок необходимо явно передавать количество элементов в массиве.
Корректный код:
void Foo(float *array, size_t count)
{
for (size_t i = 0; i < count; ++i)
array[i] = 1.0f;
}Была ли полезна эта страница документации?
