Тип bool, для чего нужен, как работает?

@alfer · Регистрация: 21.04.2010

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

Может кто-нибудь поможет на простейшем но понятном примере объяснить как работает тип bool. Знаю что это тип может быть ложный или истинный но что-то никак его работу не могу понять.... для чего он нужен...

Croessmah · 21.10.2017, 09:14

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

if, while и прочие просто принимают любой численный тип

Они работаю с чем-то, что может конвертироваться в bool.

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

где оно в ассемблерном коде?

А где здесь ассемблерный код?
Здесь код C++.
Иначе по Вашей логике можно сказать,

C++
1
2
3
4
int sq(int n)
{
   return n * n;
}

что функции sq не существует,
компилятор же её заинлайнил в результате.
Мы здесь говорим о C++, а не о ассемблере.
В конце концов, int'ов, char'ов и т.д. тоже не существует.

@COKPOWEHEU · 21.10.2017, 11:39

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

Они работаю с чем-то, что может конвертироваться в bool.

Может скажете что математические операторы (+, -, *, /) тоже конвертируют в bool? Или все-таки принимают данные любых численных типов?

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

А где здесь ассемблерный код?

Преобразование, явное или неявное это все-таки преобразование. При преобразовании char->int переменная копируется в регистр подходящего размера и старшие биты зануляются (или заполняются единицами для отрицательных чисел). При преобразовании int->float преобразование еще более хитрое. Даже явное преобразование int->bool выглядит примерно как (x==0?1:0) Все это прекрасно видно в дизассемблерном коде. Где что-то подобное для операторов условий?

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

Иначе по Вашей логике можно сказать,
что функции sq не существует,

Вот же она (компиляция с -Os)

Assembler
1
2
3
4
5
6
00000000000006ea <sq>:
   return n * n;
 6ea:   0f af ff                imul   %edi,%edi
}
 6ed:   89 f8                   mov    %edi,%eax
 6ef:   c3                      retq

Если принудительно объявить inline

Assembler
1
 5c4:   0f af f6                imul   %esi,%esi

То есть видно, что задача функции выполняется, для нее сгенерирован код.

@Mournful Max · 21.10.2017, 12:28

Просто оставлю это здесь. Ни с кем не спорю, ни за кого не вступаюсь.

Сообщение от 6.4.1 The if statement

1 If the condition yields true the first substatement is executed. If the else part of the selection statement is present and the condition yields false, the second substatement is executed.

Сообщение от 6.4.1 The if statement

2 If the if statement is of the form if constexpr, the value of the condition shall be a contextually converted constant expression of type bool;

while ( condition ) statement
do statement while ( expression ) ;

Сообщение от 6.5.1 The while statement

1 In the while statement the substatement is executed repeatedly until the value of the condition becomes false.

Сообщение от 6.5.2 The do statement

1 The expression is contextually converted to bool;

( Жирным выделено Стандартом )

Тема спорная, однако явно видно, что Стандарт использует такие речевые обороты:

If the condition yields true...

... becomes false...

Иногда даже прямо говорит, что:

... converted to bool;

... of type bool;

Он не говорит что-то вроде этого:

... if a condition is not 0...

Тут конкретно:

Сообщение от 5.9 Relational operators

1 The operators < (less than), > (greater than), <= (less than or equal to), and >= (greater than or equal to) all yield false or true. The type of the result is bool.

Croessmah · 21.10.2017, 12:51

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

Может скажете что математические операторы (+, -, *, /) тоже конвертируют в bool? Или все-таки принимают данные любых численных типов?

Тёплое с мягким, здрасть.

От Вас другого и не ждал.

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

Преобразование, явное или неявное это все-таки преобразование.

Ога. И если его нельзя произвести - ошибка.

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

При преобразовании char->int переменная копируется в регистр подходящего размера

В C++ нет регистров.

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

Все это прекрасно видно в дизассемблерном коде.

Там не действует семантика C++.

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

Где что-то подобное для операторов условий?

Нет никаких операторов условий.
Ваш ассемблер - ложь лживая.
Всё есть не более чем электрические импульсы.
Суть Ваших изречений ясна?
Не надо путать языки между собой.

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

Вот же она (компиляция с -Os)

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#include <cstdio>
 
namespace {
    int sq(int n)
    {
    return n * n;
    }
}
 
 
int main()
{
    printf("%d", sq(10));
}

Assembler
1
2
3
4
5
6
7
8
9
10
11
12
main: # @main
  push rax
  mov edi, .L.str
  mov esi, 100
  xor eax, eax
  call printf
  xor eax, eax
  pop rcx
  ret
 
.L.str:
  .asciz "%d"

https://godbolt.org/g/pH9uXc

Функции sq не существует.

@COKPOWEHEU · 21.10.2017, 15:35

Сообщение от Captain Maxee

Иногда даже прямо говорит, что:

... converted to bool;

Где оно, это преобразование?

Сообщение от Captain Maxee

Тут конкретно:

Тут говорится об операторах сравнения, а не операторах ветвления.

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

Тёплое с мягким, здрасть.
От Вас другого и не ждал.
...
Ога. И если его нельзя произвести - ошибка.

Внезапно, если нельзя привести аргументы арифметических операторов к bool - тоже ошибка. Просто потому что bool - численный тип, а арифметические операторы и условия принимают именно их. Какое совпадение.

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

В C++ нет регистров.
...
Там не действует семантика C++.

Приведение типов осуществляется не на уровне языка - там определяется только возможность (проверка синтаксиса). Примеры я привел.

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

Нет никаких операторов условий.

Хорошо, как тогда вы назовете обобщение операторов if, for, while, ? ? Или вы настолько неуверены в своем мнении что готовы уводить тему в обсуждение терминологии?

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

Ваш ассемблер - ложь лживая.

Хотите разбираться в машинных кодах вместо их мнемонического представления? Месье знает толк...

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

Не надо путать языки между собой.

При чем здесь язык если речь идет о приведении типов? А тип определяется не языком, а моделью представления данных. Язык лишь дает им названия. К примеру, 2-байтное число в дополнительном коде в Си называется int16_t, а в Паскале - word. При том что это одно и то же число, и приведения типов осуществляются одинаково.

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

Функции sq не существует.

Угу, когда оптимизатор ее не просто заинлайнил, а вычислил на этапе компиляции. Объявите ее доступной извне (gcc, похоже, делает это по умолчанию) и удивитесь результату. Еще бы макрос в качестве примера привели

C
1
2
#define sq(x) ((x)*(x))
printf("%i\n",sq(10));

Куда же в исполняемом коде делся sq, магия наверное?

Assembler
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
int main (void){
 5a0:   48 83 ec 18             sub    $0x18,%rsp
  volatile int x;
  volatile bool y;
  scanf("%i", &x); //volatile и ручной ввод чтобы оптимизатор не мешался
 5a4:   48 8d 3d e9 01 00 00    lea    0x1e9(%rip),%rdi        # 794 <_IO_stdin_used+0x4>
 5ab:   31 c0                   xor    %eax,%eax
 5ad:   48 8d 74 24 0c          lea    0xc(%rsp),%rsi
 5b2:   e8 c9 ff ff ff          callq  580 <scanf@plt>
  if(x)printf("true\n");
 5b7:   8b 44 24 0c             mov    0xc(%rsp),%eax
 
//----  Вот проверка без приведения типов ------
 5bb:   85 c0                   test   %eax,%eax
//-------------------------------------------------------------------
 
 5bd:   74 0c                   je     5cb <main+0x2b>
 5bf:   48 8d 3d d1 01 00 00    lea    0x1d1(%rip),%rdi        # 797 <_IO_stdin_used+0x7>
 5c6:   e8 a5 ff ff ff          callq  570 <puts@plt>
  x++;
 5cb:   8b 44 24 0c             mov    0xc(%rsp),%eax
 5cf:   ff c0                   inc    %eax
 5d1:   89 44 24 0c             mov    %eax,0xc(%rsp)
  y = x;
 5d5:   8b 44 24 0c             mov    0xc(%rsp),%eax
 
//----- А вот неявное приведение типов
 5d9:   85 c0                   test   %eax,%eax
 5db:   0f 95 c0                setne  %al
//-------------------------------------------------------
 
 5de:   88 44 24 0b             mov    %al,0xb(%rsp)
  if(y)printf("true\n");
 5e2:   8a 44 24 0b             mov    0xb(%rsp),%al
 5e6:   84 c0                   test   %al,%al
 5e8:   74 0c                   je     5f6 <main+0x56>
 5ea:   48 8d 3d a6 01 00 00    lea    0x1a6(%rip),%rdi        # 797 <_IO_stdin_used+0x7>
 5f1:   e8 7a ff ff ff          callq  570 <puts@plt>
}

Разница понятна?

Добавлено через 2 часа 4 минуты
P.S. Croessmah, ты серьезно думаешь, что засирание кармы - аргумент в споре?

@Renji · 21.10.2017, 19:26

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

Где оно, это преобразование?

Во флагах процессора. Если вам так уж охота обсуждать реализацию if на уровне процессора, то операторы условного перехода проверяют отдельные биты регистра флагов, а не то, чему там равны int/double/void*-переменные.

@COKPOWEHEU · 21.10.2017, 22:09

Renji, это уже зависит от реализации. К примеру в микроконтроллерах AVR достаточно часто встречается конструкция if( var & (1<<x) ){...}, которая разворачивается в sbrc var, x (проверка x-того бита в регистре var). То есть проверяется не "регистр флагов", а обычный РОН. По существу же, (не)явное преобразование подразумевает сначала вычисление значения нужного типа, в данном случае - сведение к 0/1, а потом использование именно его. Конечно, это можно списать на оптимизацию, но проще - признать if (и подобные) обычными операторами, принимающими численные аргументы. Впрочем, все это - вопрос терминологии.
Предлагаю такую формулировку: операторы ветвления воспринимают аргумент как логическое значение. Сам аргумент может не быть логическим значением, и физического приведения типов может не быть. Причем эта формулировка не противоречит оригиналу.

@animefan · 21.10.2017, 22:49

Не по теме:

Сообщение от Captain Maxee

( Жирным выделено Стандартом )

В стандарте простой моноширинный шрифт. http://cdn.imgpaste.net/2017/10/22/epBQN.png

@animefan · 25.10.2017, 17:43

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

По существу же, (не)явное преобразование подразумевает сначала вычисление значения нужного типа, в данном случае - сведение к 0/1, а потом использование именно его.

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

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

А вызов функции по существу подразумевает физическую генерацию инструкции call (или подобной), иначе это не вызов функции?

@COKPOWEHEU · 25.10.2017, 22:11

Вызов - да. Но есть еще макросы и inline функции, которые подразумевают встраивание непосредственно в вызывающий код.

@Raali · 26.10.2017, 10:33

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

Знаю что это тип может быть ложный или истинный но что-то никак его работу не могу понять.... для чего он нужен...

чтобы хранить там значение true либо false

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

Может кто-нибудь поможет на простейшем но понятном примере объяснить как работает тип bool.

C++
1
2
3
4
5
6
7
8
9
10
11
#include <iostream>
 
int main()
{
    bool isHappy = false;
 
    if(isHappy)
        std::cout << "Hello World :)";
    else
        std::cout << "Hello World :(";
}

Новые блоги и статьи Все статьи Все блоги /
Сезонность и суточность закисления почв anaschu 04.07.2026 200 часов это все равно моловато. Есть ситуации, но нестандартные, когда смена происходит за 5 лет. Но обычно это 50 лет и более. Наверное, закисление почвы происходит сезонно в средней. . .	В чем ценность человеческого опыта в глобальном смысле? kumehtar 03.07.2026 Возможно, ценность человека не в том, что он однажды достигает мудрости, а в том, что он становится носителем карты пути. Он знает не только истину, но и последовательность внутренних изменений,. . .	интеграция AnyLogic с самописным REST API и переход на Odoo anaschu 03.07.2026 Успешная интеграция AnyLogic с самописным REST API и переход на промышленную Odoo WMS Сегодня проделал огромный путь от простой симуляции физических процессов до построения полноценной. . .	Поиск всех путей на ориентированном графе. Linux dcc0 02.07.2026 Переработка старого кода из моей статьи. Через несколько переработок от PHP кода к C89 (надеюсь, 89). Но довольно запутанно получилось. Код для Linux. Но если убрать time и то, что с ним. . .
Сам себя обучал rest api anaschu 02.07.2026 Педагогический лайфхак: Почему чистый REST API для ученика намного круче, чем готовые библиотеки Когда мы отказались от капризного JAR-файла AnyLogic и переписали код на стандартный HttpClient,. . .	rest api anylogic - выполнение модели на своём русском сайте anaschu 02.07.2026 Как подружиться с AnyLogic Cloud API, победить провайдеров и развернуться Java-бэкенд в Docker на бесплатном хостинге: Двухдневный лог борьбы Всем привет! Хочу поделиться свежим (и довольно. . .	Где деньги лежат kumehtar 02.07.2026 Это - японская подводная лодка I-52 (тип C2, кодовое имя Momi) вышла из Японии в марте 1944 года с миссией в оккупированную немцами Францию (Лорьян). Это была одна из «Янаги»-миссий по обмену. . .	Krabik для WoW 3.3.5a, многоязычный AmbA 02.07.2026 Допилил бота, думаю что окончательно. Изменения: - добавлена многоязычность - добавлено снятие скриншотов - добавлено поддержание бафов хождения по воде (для жреца, дк и шамана) - и так, по. . .

@alfer 1 / 1 / 0 Регистрация: 21.04.2010 Сообщений: 38

	Тип bool, для чего нужен, как работает? 26.04.2010, 02:58. Показов 145896. Ответов 30 Метки нет (Все метки) Может кто-нибудь поможет на простейшем но понятном примере объяснить как работает тип bool. Знаю что это тип может быть ложный или истинный но что-то никак его работу не могу понять.... для чего он нужен... 0

@COKPOWEHEU 4070 / 2704 / 433 Регистрация: 09.09.2017 Сообщений: 12,025
	21.10.2017, 22:09
	Renji, это уже зависит от реализации. К примеру в микроконтроллерах AVR достаточно часто встречается конструкция `if( var & (1<<x) ){...}`, которая разворачивается в `sbrc var, x` (проверка x-того бита в регистре var). То есть проверяется не "регистр флагов", а обычный РОН. По существу же, (не)явное преобразование подразумевает сначала вычисление значения нужного типа, в данном случае - сведение к 0/1, а потом использование именно его. Конечно, это можно списать на оптимизацию, но проще - признать if (и подобные) обычными операторами, принимающими численные аргументы. Впрочем, все это - вопрос терминологии. Предлагаю такую формулировку: операторы ветвления воспринимают аргумент как логическое значение. Сам аргумент может не быть логическим значением, и физического приведения типов может не быть. Причем эта формулировка не противоречит оригиналу. 0

@COKPOWEHEU 4070 / 2704 / 433 Регистрация: 09.09.2017 Сообщений: 12,025
	25.10.2017, 22:11
	Вызов - да. Но есть еще макросы и inline функции, которые подразумевают встраивание непосредственно в вызывающий код. 0