UB и логические операторы

@Lawliet1 · Регистрация: 30.09.2011

Студворк — интернет-сервис помощи студентам

Является ли следующее выражение UB????

C++
1
ptr != 0 && *ptr++

нужно рассмотреть 2 варианта:
1) ptr - нулевой указатель
2) ptr не нулевой указатель

Насколько я понял:
1) В логическом оператора && всегда первым обрабатывается первый операнд, следовательно общее значение выражения false (второй операнд даже не рассматривался)
2) Рассматривается первый операнд - значение true, идем к второму оператору и это не UB, так как второй операнд не влияет на первый (его значение мы уже рассмотрели)

Croessmah · 17.02.2016, 17:19

Не по теме:

Сообщение от Tulosba

Представим, что класс S из моего примера это "умный" (пусть и недостаточно) указатель

умный указатель, это же не указатель :)

Tulosba · 17.02.2016, 17:19

Сообщение от Kastaneda

вот так же надо

Да-да. И можно ещё результат сравнения на истину проверить, а потом проверить результат сравнения на истину на истину ...

C++
1
if((static_cast<bool>(s) == true) == true)

@ct0r · 17.02.2016, 17:38

Babysitter,

A zero value, null pointer value, or null member pointer value is converted to false; any other value is converted to true.

Однако я всегда пишу nullptr - сразу видно, что это указатель, а не что-то еще.

@rikimaru2013 · 17.02.2016, 17:43

Сообщение от ct0r

я всегда пишу nullptr - сразу видно, что это указатель, а не что-то еще.

Как-то так?) if( (static_cast<bool>(ptr) == true) != nullptr )

@ct0r · 17.02.2016, 17:49

rikimaru2013, не, вот так:

C++
1
2
3
4
if (wtf != nullptr) {
  if (wtf != nullptr) {
    // wtf != nullptr, 200%
    ...

Croessmah · 17.02.2016, 17:50

Сообщение от ct0r

wtf != nullptr, 200%

не факт, если другой поток вклинится

@rikimaru2013 · 17.02.2016, 17:54

Шутки шутками, но я видел такое:

C++
1
2
3
4
5
6
7
bool foo(some* ptr)
{
    if( ptr->getE() )
        return true;
    else
        return false;
}

Мой психиатр говорит, что я должен отпустить это и просто забыть.

@ct0r · 17.02.2016, 17:55

Croessmah, я писал про однопоточную среду. В многопоточной я использую Ten-Thousands-Checked Locking Pattern

Croessmah · 17.02.2016, 18:05

Сообщение от ct0r

В многопоточной я использую Ten-Thousands-Checked Locking Pattern

Это хорошо, главное, что не Double-Checked-Lock Pattern

Новые блоги и статьи Все статьи Все блоги /
Алиса нашла кучу ошибок компиляции и запуска в проекте, который без проблем компилировался и запускался))) anaschu 30.06.2026 Я пока посмеюся, но завтра проверю. А вообще интерсно. Дал алисе файл, в котором точно нет ошибок компиляции и запуска, и попросил их найти. Нашла кучу))) Критические ошибки, мешающие компиляции и. . .	сукцессия 16. Общий обзор, в основном что бы другие ии поняли anaschu 29.06.2026 # Передаточный документ: модель микоризной сукцессии (для нового чата) Этот документ предназначен для того, чтобы новый чат Claude мог продолжить работу без необходимости заново разбираться в. . .	сукцессия 15 неявная схема anaschu 29.06.2026 Алиса Калибровка параметров симбиотической модели: технический обзор Содержание: Введение Постановка проблемы Технические аспекты реализации Процесс внедрения изменений	сукцессия 14. Обновленная схема модели anaschu 28.06.2026 ГЛОБАЛЬНАЯ ОПИСАТЕЛЬНАЯ СПЕЦИФИКАЦИЯ ЭКОСИСТЕМНОЙ МОДЕЛИ «SOIL CHEMISTRY & MYCORRHIZA 2. 0» https:/ / ibb. co/ NnkGpfMd Представленная интегрированная схема описывает непрерывную нелинейную. . .
сукцессия 13. Питон модель трехзонного мицелия, пока что в основном арбускулярного anaschu 28.06.2026 ## Разработка агентной модели микоризной сукцессии: от выявления артефактов к созданию комплексной системы ### Аннотация Представлено исследование по разработке агентной модели микоризной. . .	сукцессия 12. краткий список проверок модели перед запуском. anaschu 27.06.2026 Скрытые отказы в моделях систем динамики (SD-models) экологических систем: два случая из практики Контекст Разбирался прототип модели систем динамики (SD-модели) микоризной сукцессии: пять. . .	Сукцессия 11. Проверка орудий перед войной: разработка через тестирование anaschu 27.06.2026 Как не дать модели соврать самой себе: проверки для симуляции микоризной сукцессии Введение Когда вы строите математическую модель живой системы — грибов, растений, почвы — главная опасность. . .	10 сукцессия. Питон код войны грибов и растений anaschu 27.06.2026 import numpy as np class PlantAgent: def __init__(self, name, strategy, initial_biomass): self. name = name self. strategy = strategy # "greedy" (широколиственные) или. . .

@ct0r Игогошка! 1801 / 708 / 44 Регистрация: 19.08.2012 Сообщений: 1,367
	17.02.2016, 17:55
	Croessmah, я писал про однопоточную среду. В многопоточной я использую Ten-Thousands-Checked Locking Pattern 1