AUTOSAR C++14 Rule M3-2-2

Одно Правило Определения не должно быть нарушено.

Описание

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

Одно Правило Определения не должно быть нарушено.

Объяснение

Нарушения Одного Правила Определения приводят к неопределенному поведению.

Реализация Polyspace

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

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

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

Примеры

развернуть все

Различные лексемы в том же определении типа

Этот пример использует два файла:

file1.cpp:
```
struct S 
{
   int x;
   int y;
}; 
```
file2.cpp:
```
struct S 
{
   int y;
   int x;
}; 
```

В этом примере, обоих file1.cpp и file2.cpp задайте структуру S. Однако определения переключают порядок полей структуры.

Проверяйте информацию

Группа: фундаментальные понятия

Категория: необходимый, автоматизированный

Смотрите также

Check AUTOSAR C++ 14 (-autosar-cpp14)

Темы

Проверяйте на кодирование стандартных нарушений

Введенный в R2019a

Документация Polyspace Bug Finder

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.