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

Новые блоги и статьи Все статьи Все блоги /
Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия	Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .	Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .
Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .	Как ИИ начал спорить и врать (возможно почуяв опасность для себя от индустрии - уход от электроники). Hrethgir 04.08.2026 Недельный диалог, на фоне событий с НПЗ. Да, из спирта можно получать бензин, и это не сложно. Но потом в схеме я решил избавиться от насоса, при этом полностью сделав контроль подачи спирта в. . .	Термопринтер QR701 Argus19 03.08.2026 Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .

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