﻿# V2619\. MISRA\. Typedef names should be unique across all name spaces\.

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

Это правило актуально только для С\. Имена 'typedef' должны быть уникальны для всех пространств имен\. Повторное использование имён 'typedef' может запутать разработчика\.

Рассмотрим следующий пример:

```cpp
void foo()
{
  {
    typedef unsigned char Id;
    Id x = 128;                // ok
  }
  {
    typedef char Id;
    Id x = 128;                // error
  }
}
```

При работе с типом 'unsigned char' допускается диапазон значений от 0 до 255, а с типом 'signed char' от \-128 до 127\. Поработав со вторым 'typedef', программист может забыть, что тип поменялся\. Это может привести к ошибке\.

Рассмотрим второй пример:

```cpp
void foo()
{
  {
    typedef unsigned char uId;
    uId x = 128;                // ok
  }
  {
    typedef singned char sId;
    sId x = 128;                // ok
  }
}
```

В этом случае сложнее допустить ошибку, так как имена 'typedef' различаются\.

В качестве исключения допускается дублировать имя 'typedef' при объявлении 'struct', 'union' или 'enum', если они ассоциированы с этим 'typedef'\. 

```cpp
typedef struct list
{
  struct list* next;
  int element;
} list;               // ok
```