Исходное сообщение
"Выпуск ControlFlag 1.0, инструмента для выявления ошибок в к..." Отправлено Sw00p aka Jerom, 23-Ноя-21 15:43
> Но никто третий день не может привести цитату, тогда как _Bool определён > как 0 или 1. так речь не об этом была, и никто это не оспаривал, что булевый тип есть множество из двух элементов {0 - false, 1 - true} > СКАЛЯРНОЕ. ПРИВОДИТСЯ. так и есть приведение скалярного к булевому типу, и в случае со статьей речь шла о сравнении булевого типа со скалярным (int s->keepon), а в таком случае происходит неявное привидение типов. А что нам говорит стандарт при таком неявном приведении? Ровно то, что и сказал автор комента 3.90 - "по стандарту ложное значение 0, истинное не 0." Он не говорил, что булевый тип состоит из элемента 0 - false и всяких скаляров в значении true. > В формулировке. это не формулировка определения булевого типа, это формулировка правила приведения любого скалярного типа к булевому. Вы сами привели две цитаты из стандарта. 6.2.5 Types 2 An object declared as type _Bool is large enough to store the values 0 and 1. тут определяются допустимые значения булевого типа. 6.3.1.2 Boolean type 1 When any scalar value is converted to _Bool, the result is 0 if the value compares equal to 0; otherwise, the result is 1. а тут описывается правило приведения любого скалярного значения к булевому.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: