Приведение более широких целочисленных к bool может не считаться сужением/усечением?

clang
Разное поведение при выставленных флагах:
clang++.exe -O2 -Wextra-tokens -pedantic-errors -pedantic -Werror -Weverything -Wall -pthread -std=c++1z

ОК:
NO:

0

del

0

Boolean conversions [conv.bool]
A prvalue of arithmetic, unscoped enumeration, pointer, or pointer to member type can be converted to a prvalue of type bool. A zero value, null pointer value, or null member pointer value is converted to false; any other value is converted to true. For direct-initialization, a prvalue of type std​::​nullptr_*t can be converted to a prvalue of type bool; the resulting value is false.

0.50

Этот ответ не отвечает на заданный вопрос.

0

daslex,
Думаю такое приведение не должно считаться "сужающим", вот почему:
Под сужением как правило подразумевается потеря данных которое может иметь существенное значение с точки зрения данных. Например если short-у присвоить значение int, т.к int может содержать большее число чем short, это может привести к потери данных. Поэтому компиляторы в этом случае выдают соответствующее предупреждение(в случае с флагом -Werror, ошибку компиляции).

Теперь разберёмся, что такое bool:
Две константы, true == 1, false == 0. Все что не 0, является true.
Когда вы присваиваете bool-у int значение которого не равно нулю, оно интерпретируется как true(1).
И в конечном счёте пофиг что там может быть потенциальная потеря данных в результате преобразования. Эти данные не имеют для нас никакого значения в контексте приведения к bool. Нас интересует результат(либо true, либо false). Думаю хотя бы по этой причине такой код должен компилироваться без ошибок.

Вот выдал вам компилятор предупреждение о сужении при приведении к bool, что дальше? Что будете делать с этой информацией на практике? Главное узнать результатом будет true или false, остальное нас не интересует.

0

Сообщение от Undisputed т.к int может содержать большее число чем short, это может привести к потери данных.

А bool по-Вашему int не убьёт?
int не может содержать больше чем bool?

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

Сообщение от Undisputed Думаю хотя бы по этой причине такой код должен компилироваться без ошибок.

Разные компиляторы - разное поведение.

0

Сообщение от Undisputed Думаю такое приведение не должно считаться "сужающим"

Тут не думать надо, а в стандарт смотреть, где написано что есть сужающее преобразование (narrowing conversion).

Преобразование в bool не является сужющим, но не потому, что "...", а по определению.

0

daslex,
int как жил в памяти так и останется жить.
Приведение одного типа к другому сохраняет исходное значение...

У вас два примера. Второй должен приводить к ошибкам(warning без флага -Werror, или ошибку компиляции если этот флаг установлен).

Если вы считаете что первый пример должен приводить к ошибкам, то покажите плиз это на rextester.com.
Я скомпилил с вашими флагами на clang, ошибок не было.

0

— from an integer type or unscoped enumeration type to an integer type that cannot represent all the values of the original type, except where the source is a constant expression and the actual value after conversion will fit into the target type and will produce the original value when converted back to the original type.

bool - целый тип. Он не может вместить int, сужение. Это в стандарте, если я не ошибаюсь, имеют в виду.

0

Сообщение от daslex bool - целый тип.

bool - integral type
3.9.1.7

Types bool, char, char16_t, char32_t, wchar_t, and the signed and unsigned integer types are collectively called integral types

Кончайте уже фантазировать.

0

bool integer types == целочисленный тип, что не так?

0

Сообщение от daslex bool integer types == целочисленный тип, что не так?

вы разницу между словами "integral" и "integer" не видите? Это разные понятия. Ссылку на стандарт я привел. Там же ранее написано (пп 1 и 2) что такое integer types.

0

Я вижу у Вас integral и в стандарте integer. Слова я различаю.

Добавлено через 2 минуты
Синонимом для термина «целочисленный тип» служит термин «целый тип» (integer type).
bool - целый тип.

Не могу понять Вас совсем, avgoor.

0

Сообщение от daslex Синонимом для термина «целочисленный тип» служит термин «целый тип» (integer type). bool - целый тип. Не могу понять Вас совсем, avgoor.

он имеет ввиду, что bool - интегральный (integral), а не целочисленный (integer)

3.9.1 Fundamental types [basic.fundamental] There are five standard signed integer types : “signed char”, “short int”, “int”, “long int”, and “long long int”

0

Я понимаю, что он пишет, я не понимаю, что он имеет в виду. Потому что даже в цитате, которую он даёт, написано не integral, а integer.

С чего вдруг слово integer, написанное в стандарте, становится словом integral в русском сегменте?

0

Сообщение от daslex Потому что даже в цитате, которую он даёт, написано не integral, а integer.

в цитате фигурируют оба слова.

Сообщение от daslex С чего вдруг слово integer, написанное в стандарте, становится словом integral в русском сегменте?

Types bool, char, char16_t, char32_t, wchar_t, and the signed and unsigned integer types are collectively called integral types

типы: bool, char, char16_t, char32_t, wchar_t, а так же знаковые и без знаковые целочисленные - называются встроенными типами

0

Ясно. Спасибо.

Но его ответ не отвечает на мой вопрос и в фантазиях меня зря обвиняет.
OK:
NO:
Выбраны типы одной группы.

0

daslex, В цитате которую я привел написано, что bool, ..., и integer type вместе называются integral. В этой цитате отдельно упоминается bool, отдельно integer types. Вместе bool и integer называются integral. Как это разжевать вам подробнее, я не знаю.
Далее в стандарте еще есть сноска, что не существует signed, long и short bool. Патамушта short (при объявлении) - сокращение от short int. long = long int и т.д. int - сокращение от integer. Поэтому, везде где нельзя поставить int - это не integer type.

Добавлено через 8 минут
UPD: я знаю про extended integer types.

0

avgoor, Я понял.

А теперь можно ответ на мой вопрос, из-за которого я создал тему, узнать?

0

Сообщение от daslex А теперь можно ответ на мой вопрос, из-за которого я создал тему, узнать?

Можно .
Правило преобразования в bool определяется другим параграфом: "4.12 Boolean conversions", и к narrowing conversion отношения не имеет.

0