Что плохого в явном написании условия в if?

@goditsa8 · Регистрация: 04.02.2013

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

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

людей которые пишут

C++
1
if (a==0)

а тем более

C++
1
if (a==false)

вместо

C++
1
if (!a)

Умными или адекватными назвать трудно.

Вы не погорячились? что такого плохого в

C++
1
if (a==0)

или

C++
1
if (a==false)

?

@Fulcrum_013 · 28.06.2015, 14:02

Сообщение от Mr.X

Тогда уж

а еще лучше

C++
1
if ((nullptr!=nullptr)==a)

Хотя если реально в коде поставить дефайн из моей подписи, как ни пиши а работать прога будет весело.

@Mr.X · 28.06.2015, 14:08

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

Не факт, например, указав a == false можно заодно обозначить, что переменная a имеет тип bool. Называется это самодокументируемый код.

Самодокументируемый код, это когда имена типов, переменных и функций являются содержательными и сами рассказывают о себе, к примеру

C++
1
if( path_exists )

@0x10 · 28.06.2015, 14:09

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

0x10, пардон, там должно быть статическая.

"Строгая" — было сказано уместно. В языках со строгой типизацией отсутствуют неявные преобразования. Например, на java не while (1) приведет к ошибке компиляции.

@gazlan · 28.06.2015, 14:12

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

в языке со строгой типизацией

C/C++ не требуют здесь bool типа. Выражение в скобках сравнивается с нулем (типа, test eax,eax / jz).

@castorsky · 28.06.2015, 14:13

0x10, ну тогда еще раз пардон

Добавлено через 33 секунды
gazlan, поэтому я и говорю, что в c++ фактически тип bool отсутствует. В нем даже вовсе нет никакой необходимости и его формальное наличие это собачья пятая нога.

@gazlan · 28.06.2015, 14:20

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

это собачья пятая нога

Не по теме:

Влияние Pascal, вероятно.

@castorsky · 28.06.2015, 14:26

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

Влияние Pascal, вероятно.

Так сложилось что ничего серьезного с этим языком я никогда не имел.

ValeryS · 28.06.2015, 14:42

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

Выражение в скобках сравнивается с нулем (типа, test eax,eax / jz).

0 это false
я правильно понимаю что if(false) сработает

Добавлено через 1 минуту

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

что в c++ фактически тип bool отсутствует.

и ссылку на стандарт можно увидеть?

@castorsky · 28.06.2015, 14:47

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

и ссылку на стандарт можно увидеть?

Какую еще ссылку? Вам объективных доводов мало? Или Вы из тех кто верит всему что на заборе написано? Я же сразу сказал фактически его нет, а то что он там есть на бумагах и прочем это школьникам.

@gazlan · 28.06.2015, 14:49

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

я правильно понимаю что if (false) сработает

Нет. Реальный код (инверсия условия, например, jz/jnz итд.) будет зависеть от оптимизатора. (Причем, между test и jxx может оказаться еще несколько инструкций).

ValeryS · 28.06.2015, 14:54

речь шла о

C++
1
if(a==false)

так вот if срабатывает когда в скобках true
a==false равно true может быть в одном случае если a это false
но !a тогда будет равно true
следовательно это тавтология
и достаточно написать

C++
1
if(!a)

теперь рассмотрим

C++
1
if(a==true)

a==true будет равно true тогда когда a это true
следовательно опять тавтология

C++
1
if(a)

я видал и такое

C++
1
2
3
4
if(a==true)
 return true;
else
 return false

Добавлено через 1 минуту

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

Я же сразу сказал фактически его нет,

и какие доказательства?
так можно сказать что char нет

@0x10 · 28.06.2015, 14:58

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

Я же сразу сказал фактически его нет, а то что он там есть на бумагах и прочем это школьникам.

Если бы тип bool отсутствовал, что было бы эквивалентно наличию синонима 'bool' для одного из интегральных типов, то этот код не скомпилировался бы из-за неоднозначности:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#include <iostream>
 
void f(int) {
    std::cout << "f(int)" << std::endl;
}
 
void f(bool) {
    std::cout << "f(bool)" << std::endl;
}
 
int main() {
    f(42);
    f(true);
}

ValeryS · 28.06.2015, 15:00

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

инверсия условия, например, jz/jnz итд.

и где здесь сравнение с 0?
есть переход если флаг 0 установлен/не установлен
а флаг можно и вручную установить

и потом я не стал бы апеллировать к ассемблеру, их много есть на свете
например есть еще условное выполнение

@castorsky · 28.06.2015, 15:06

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

и какие доказательства?

То что общеизвестно не нуждается в доказательстве. Есть ноль - ложь, и всё остальное - истина. В языках, в которых присутствует логический тип ноль - число, а false - ложь, не ноль - тоже число, а true - истина. Понимаете разницу?

Добавлено через 1 минуту
0x10, а если бы тип bool присутствовал, то этот код не скомпилировался из-за несоответствия типов.

C++
1
2
3
4
int a;
if (a) {
  ...
}

Вот же ж дилема какая.

@gazlan · 28.06.2015, 15:06

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

и где здесь сравнение с 0?

О сравнении с нулем речь шла несколько раньше, в #148.

@0x10 · 28.06.2015, 15:07

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

то этот код не скомпилировался из-за несоответствия типов

Как я уже говорил выше, это следствие не отсутствия типа, а слабой типизации языка.

@castorsky · 28.06.2015, 15:09

Сообщение от 0x10

Как я уже говорил выше, это следствие не отсутствия типа, а слабой типизации языка.

Это следствие убогого дизайна языка, а не слабой типизации.

Добавлено через 1 минуту
т.е. формально тип есть, а практически в нем нет никакой нужды. И типизация тут не при чем.

ValeryS · 28.06.2015, 15:13

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

В языках, в которых присутствует логический тип ноль - число, а false - ложь, не ноль - тоже число, а true - истина.

так в с++ так же

просто он позволяет неявные приведения
простой пример

C++
1
2
3
4
5
6
bool a=false;
a++;
a++;
a++;
a++;
int b=a;

b будет равно 1, а не 4 как если бы bool замаскированным int
равно как и

C++
1
2
char a=5;
int b=a;

будем утверждать что char нет?

Добавлено через 2 минуты

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

т.е. формально тип есть, а практически в нем нет никакой нужды.

на практическую реализацию

C++
1
2
int a=xxxxx;
int b=!!a

xxxxx какое то число
b будет равно или 0 или 1

@castorsky · 28.06.2015, 15:15

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

так в с++ так же
просто он позволяет неявные приведения

В теории это разные типы, они не могут быть кастованы неявно. Вы же не допускаете неявного приведения списка к хеш таблице? То же самое. На приактике же это один и тот же скалярный тип. Дублирование функционала?

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

будем утверждать что char нет?

Это не то же самое. int и char - скалярные типы, они в любом языке могут быть явно или неявно приведены друг к другу.

Добавлено через 46 секунд

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

b будет равно или 0 или 1

и? Не понял к чему это и зачем.

@mporro · 28.06.2015, 15:29

Согласно стандарту C++ нет никакого специального "логического типа", который бы мог образовывать алгебру.
Есть специальный целочисленный тип, определяемый посредством отображения двух литералов true и false, а также других целочисленных типов в два значения 0 и 1.

Новые блоги и статьи Все статьи Все блоги /
Особенности gif сгенерированных в Си russiannick 21.10.2026 Рассмотрим генерацию gif файлов, которые в Си имеют свои особенности. Gif представляет собой графический формат популярный в интернете. Посмотрим на палитру. Gif файл сгенерированный в си отличается. . .	FPS контроллер с анимированными Y-Bot и 3D-звуком miniaudio (Box3D, Recast, BehaviorTree.CPP, ozz-animation, ImGui, OpenGL и SDL3) 8Observer8 18.10.2026 Содержание блога \| English Version Полное мультиплатформенное руководство по стартовому проекту с FPS-контроллером игрока, анимированными роботами Y-Bot с 4-слойным блендингом, 3D-физикой Box3D,. . .	Локальный http сервер Argus19 17.10.2026 Локальный http сервер На работе, на двух локальных компьютерах круглосуточно работают программы опроса приборов с записью в книги Excel,которые раз в сутки записываются на сервер компании. Т. к. . . .	Копировать Windows на новый диск на UEFI damix 17.10.2026 https:/ / uriesk. wordpress. com/ 2016/ 11/ 01/ move-window-10-to-ssd-on-a-uefi-dualboot-system-with-basic-linux-tools/ TL DR Вставляем диск, а старый подключаем через переходник, грузимся с лайва. . .
ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .	Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .	Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .

@castorsky 1978 / 1082 / 87 Регистрация: 29.11.2013 Сообщений: 3,353
	28.06.2015, 14:13
	0x10, ну тогда еще раз пардон Добавлено через 33 секунды gazlan, поэтому я и говорю, что в c++ фактически тип bool отсутствует. В нем даже вовсе нет никакой необходимости и его формальное наличие это собачья пятая нога. 0

@mporro 306 / 101 / 18 Регистрация: 04.07.2014 Сообщений: 571
	28.06.2015, 15:29
	Согласно стандарту C++ нет никакого специального "логического типа", который бы мог образовывать алгебру. Есть специальный целочисленный тип, определяемый посредством отображения двух литералов true и false, а также других целочисленных типов в два значения 0 и 1. 0