# V2626\. MISRA\. The 'sizeof' operator should not have an operand which is a function parameter declared as 'array of type'\.

Данное диагностическое правило основано на руководстве [MISRA](https://misra.org.uk/) \(Motor Industry Software Reliability Association\) по разработке программного обеспечения\.

Это правило актуально только для C\.

Оператор `sizeof` возвращает размер указателя, а не массива, для случаев, когда массив был передан в функцию по копии\.

Рассмотрим фрагмент кода:

```cpp
char A[100];

void Foo(char B[100])
{
}
```

В этом коде объект `A` является массивом, и выражение `sizeof(A)` вернет значение `100`\.

Объект `B`, несмотря на то, как он задекларирован, является обычным указателем\. Значение `100` в квадратных скобках является лишь подсказкой программисту, что передаваемый массив должен содержать сто элементов\. Таким образом, выражение `sizeof(B)` будет равно размеру указателя, а размер последнего определяется реализацией \(implementation\-defined\)\. Например, для 32\-битных систем его размер равен 4 байтам, а для 64\-битных систем — 8 байтам\.

Предупреждение выдается в том случае, когда вычисляется размер указателя, переданного в качестве аргумента в формате `имя_типа имя_массива[N]`\. Такой код с высокой вероятностью содержит ошибку\. Рассмотрим пример:

```cpp
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`\.

Для предотвращения подобных ошибок необходимо явно передавать количество элементов в массиве\.

Корректный код:

```cpp
void Foo(float *array, size_t count)
{
  for (size_t i = 0; i < count; ++i)
    array[i] = 1.0f;
}
```