Топ 100 вопросов про Undefined Behavior

1Что такое строгое правило псевдонима?

2Допускает ли стандарт C++, что неинициализированный логический объект приводит к сбою программы?

3О каких типах неопределенного поведения должен знать программист на C++?

4Каково общее неопределенное / неопределенное поведение для C, с которым вы сталкиваетесь?

5Оптимизация компилятора может привести к целочисленному переполнению. Все хорошо?

6Является ли std :: memcpy между различными тривиально копируемыми типами неопределенным поведением?

7Что такое ошибочное поведение? Чем оно отличается от неопределенного поведения?

8Вызывают ли std::min(0.0, 1.0) и std::max(0.0, 1.0) неопределенное поведение?

9Получение висячего указателя путем возврата указателя из локального массива в стиле C

10Допустимо ли в C++ обрабатывать скалярные члены структуры, как если бы они составляли массив?

11Установка дополнительных битов в bool делает его истинным и ложным одновременно

12Неправильное приведение - это приведение или использование, которое является неопределенным поведением

13Разница в правилах окончания срока службы?

14Двойное освобождение в стандартной библиотеке C++ с использованием только std::function и std::shared_pointer

15Это неудачный тест, который добавляет ноль к неопределенному поведению нулевого указателя, ошибку компилятора или что-то еще?

16Явный вызов деструктора

17Примеры использования reinterpret_cast, которые не запускают UB

18Можно ли создавать новое размещение в памяти, управляемое интеллектуальным указателем?

19Valgrind показывает утечку памяти в std :: make_unique

20В C и C++ это выражение, использующее оператор запятой, например «a = b, ++ a;» неопределенный?

21Хорошо ли определено это поведение инициализации члена C++?

22Разрешено ли отбрасывать const для объекта, определенного как const, если он фактически не изменен?

23Свойства с нулевой стоимостью с синтаксисом члена данных

24Является ли неопределенным поведение использование указателя после выделенной памяти?

25Неопределенное поведение или ошибка оптимизации gcc

26Ошибка reinterpret_cast или УБ?

27Действительно ли четко определено, как проверять выравнивание указателя, используя целочисленное значение указателя?

28Последовательно ли осуществляется доступ к многомерным массивам?

29Выброс исключения C++ через вызов функции C

30Правильно ли определено изменение переменной в ее объявлении?

31Почему оператор* rvalue unique_ptr возвращает lvalue?

32Соответствует ли определение int a = 0, b = a++, c = a++; определили поведение в C?

33Вызывает ли конфликт между объявлением и определением неопределенное поведение?

34Обоснование ограничительных правил для извлечения и повторной вставки с картой

35Является ли mem :: Forgot (mem :: uninitialized ()) определенным поведением?

36Влияет ли неопределенное поведение на static_assert?

37Является ли временный объект изначально константой?

38Постоянное изменение значения

39Вектор пуст после клонирования структуры с неинициализированным членом

40Какие значения перечисления являются неопределенным поведением в С++ 14 и почему?

41Выделение памяти для части структуры

42Является ли (int32_t) 255 << 24 неопределенным поведением в gcc (с ++ 11)?

43Почему это не поведение undefined для уничтожения объекта, который был перезаписан путем размещения new?

44Почему удаление void * - это UB, а не ошибка компиляции?

45Является ли неопределенным поведение передача указателя на несконструированный объектstreambuf в конструктор ostream?

46Преимущество бесконечных циклов без побочных эффектов в том, что C++ является UB по сравнению с C?

47Сдвиг влево unsigned int больше, чем его ширина битового поля, но меньше, чем его размер типа undefined?

48Почему существует «неопределенное поведение»?

49Когда побитовые операции не определены в C?

50Сохраняет ли аргумент put_money значение или ссылку?

51Работа с неопределенным поведением при использовании reinterpret_cast в отображении памяти

52Атрибут функции C++, указывающий, что время жизни возвращаемого значения совпадает с аргументом

53Почему PHP выбирает именно так случайные значения?

54Как gcc оптимизирует этот цикл?

55Вызывает ли сравнение освобожденного указателя UB?

56Является ли поведение следующего шаблона доступа C union undefined?

57Приведение массива char к указателю объекта - это UB?

58Вызывает ли 16-битная математика в этой программе неопределенное поведение?

59Является ли безопасным и определенным поведением преобразование между T и UnsafeCell <T>?

60Сравнение двух строковых литералов с помощью memcmp

61Хорошо ли определено приведение к идентичному макету с константными членами?

62Неожиданный memcpy для некопируемого и неперемещаемого типа при использовании co_await

63Qsort с размером 0 не определен?

64Является ли передача справки от ребенка к родителю во время строительства UB?

65Бесконечный цикл против бесконечной рекурсии. Оба не определены?

66Google Sparsehash использует realloc () для типа, который не копируется тривиально

67Инициализирует декларатор указателя с недопустимым поведением undefined указателем?

68Используется ли размещение-новое, копируется хранилище, а затем осуществляется доступ к поведению значения undefined?

69Назначение подраздела массива в стиле C с использованием std::array& без нарушения «строгого псевдонима» и, следовательно, вызова UB?

70Почему преобразование static_cast ускоряет неоптимизированную сборку моей функции целочисленного деления?

71Различное поведение встроенных функций в зависимости от версии GCC

72Класс перечисления С++: приведение к несуществующей записи

73Как отловить неопределенное поведение при инициализации аргумента функции

74Реализация контейнера типа std :: vector без неопределенного поведения

75Является ли ManuallyDrop <Box <T>> с определенным поведением mem :: неинициализированного?

76Как удаление указателя void может делать что-либо, кроме вызова глобального оператора удаления?

77Передача не-lvalue в качестве ссылочного аргумента const. Создана ли временная область в локальной области или области вызывающего абонента?

78Std::start_lifetime_as и UB в многопоточном приложении C++23

79Имеет ли эта программа с ограниченной рекурсией неопределенное поведение?

80Может ли доступ к элементу массива за пределами границы повредить его

81Доступ к членам союза C++ и неопределенное поведение

82О выровненном хранилище и тривиально копируемых/уничтожаемых типах

83Является ли `reinterpret_cast` между указателем вектора аппаратного SIMD и соответствующим типом неопределенным поведением?

84Есть ли какая-нибудь платформа / компилятор с двумя дополнениями, где сдвиг со знаком не делает обычных вещей?

85Когда на практике безопасны указатели с перфорированными типами?

86Приводит ли чтение или запись всего 32-битного слова, даже если у нас есть ссылка только на его часть, к неопределенному поведению?

87Неблокирующий вызов std :: async: чем опасна эта версия?

88Как обработать ошибку «ссылка на упакованное поле не выровнена»?

89Относится ли неопределенное поведение только к выполнению программы или может касаться самой программы?

90Определено ли поведение для назначения вызова функции в или в if (С++ 17)

91Почему мой компилятор «оптимизирует» этот цикл for в бесконечный цикл при компиляции с -O3 в C++

92Почему бы не определить некоторые неопределенные поведения?

93Как проверить, является ли строка, переданная в качестве аргумента, изменяемой строкой

94Неопределенное поведение за пределами максимального индекса массива

95Какое соглашение о вызовах использует clang?

96Перехват целочисленного переполнения с помощью LLVM?

97Почему в поведении, определяемом CRTP, используется downcast?

98Почему и как gcc компилирует неопределенное поведение в этом тесте подписанного переполнения, чтобы он работал на x86, но не на ARM64?

99Сдвигается ли подписанный бит короткого подписанного неопределенного поведения в C?

100Можно ли исправить небезопасный каламбур, пометив переменную как изменчивую?