Что плохого в явном написании условия в 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.

Новые блоги и статьи Все статьи Все блоги /
Модель по догадкам anaschu 25.08.2026 Прошло две недели. Я уже рассказывал, как разговаривал с сотрудниками у сортировки и как понял, что главная ветка — не про приёмку, а про отбор. Но тогда я думал, что понял механику. На этой неделе я. . .	Запись в регистр сведений независимо от заполненности табличной части Maks 25.08.2026 Реализация из решения ниже выполнена на нетиповом документе с несколькими табличными частями, разработанного в КА2. Задача: Обеспечить запись документа в регистр сведений независимо от. . .	Ноутбук Альфария kumehtar 24.08.2026 Встретился тут в сети ноутбук Альфария, примарха Альфа-Легиона. Хотя возможно, это ноутбук Омегона, разумеется. Ну как вам?	Мастера простых решений DevAlt 23.08.2026 В сишарп стэках winforms, да и wpf существует сложная система связывания источниках данных и элементов формы(текстовые поля и метки), опирается все это на технологию событий и мета. . .
Цена ошибки DevAlt 23.08.2026 Человек я беспокойный и потому заинтересовался OCaml, в чате форсили функторы модулей как суперфичу. Пытаясь отдуплить концепт, наткнулся на тутор с простым примером. А главный принцип обучения от. . .	Сегодня суббота, 22.08.2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины. zorxor 22.08.2026 Сегодня суббота, 22. 08. 2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины. Кто Я, откуда Я пришел и куда Я иду? Эти вопросы не оставляют меня ни на секунду. Жизнь на планете Земля. . .	Жизня: рисунок укладки багажа, сделанный клодом anaschu 21.08.2026 Сделал 15 снимков, он по снимкам сделал схему.	Был там один разговор по поводу свободы в материальном мире. kumehtar 19.08.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