Тип 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 :(";
}

Новые блоги и статьи Все статьи Все блоги /
Книги по геймдизайну, левел-дизайну, игровым механикам и проектированию игрового опыта 8Observer8 08.11.2026 Содержание блога \| English Version 1. 2003 - 06 - Designing Virtual Worlds (1st Edition) Автор: Richard A. Bartle \| Объем: 768 стр. Ссылки: Amazon . . .	Родители токсичные абьюзеры по отношению к своим детям ругают их оскорбляют не любят zorxor 08.11.2026 Жить в атмосфере постоянных оскорблений, критики и холодности со стороны родителей — это тяжелое и болезненное испытание, которое оставляет глубокие эмоциональные раны. Токсичное и абьюзивное. . .	Как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Ответ от Джемени ИИ. zorxor 08.11.2026 Джемени, как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Многие люди, возвращаясь домой, сразу переодеваются в максимально свободную одежду или вовсе предпочитают. . .	Паттерн очереди действий/команд (Action / Command Queue). Система очереди действий и кат-сцен с SDL3 Callbacks, cglm и OpenGL 8Observer8 07.11.2026 Содержание блога \| English Version Руководство для начинающих по реализации паттерна очереди действий/ команд (Action / Command Queue) на C++ (C++20) с использованием официального SDL3 Callbacks. . .
Проверка полного ФИО в типовом справочнике Maks 07.11.2026 Решение реализовано в конфигурации КА2, на примере справочника "КонтактныеЛицаПартнеров". Задача: Запрет инициалов. Не допускаеть использование сокращений вида "И. И. ", "И. И. ", "И И" и. . .	Про "Windows must die!" kumehtar 04.11.2026 Знаете, чет накатило. . . . Когда-то это было почти боевым кличем: мол, нормальный человек сидит на DOS, OS/ 2 или Linux, а вот это вот - Must Die. А теперь человек произносит «мастдай» с усмешкой - и. . .	Красочные поля с номером страницы svg+background-image russiannick 04.11.2026 Красочные поля с номером страницы не менее важны чем в эпоху бумажных книг. Посему спешу представить почтеннейшей публике этот важный инструмент который эти поля и формирует. В процессе разработки. . .	Вступаем в новую фазу генерации favicons, векторную. russiannick 02.11.2026 Теперь нет нужды скрывать что используется простой svg. Исходный код изображения помещаем в поле и жмем кнопку. Исходник преобразуется в вид корректный для помещения в favicon или в url(). Нажатие. . .

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

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

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

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