x) {
return (x + 1);
}
int main() {
cout << foo(-1) << '\n';
cout << foo(-11) << '\n';
cout << foo(11) << '\n';
}
/*output:
0
1
1
*/
В может словить что-то из рода неопределенного поведения? Перефраз: всегда ли верно возвращаемое значение из функции кастуется к bool, если в return зашиты данные типа int (ну или иные числовые данные)
Такое преобразование всегда корректно: нулевое значение дает false, тогда как любое другое - true. Edit: Имейте в виду, что передача в foo() limits<int>::max() даст неопределенное поведение безотносительно определенности преобразования.
а на основе чего уверенность? Пытался в доке нарыть — не удалось. Не подогреете ссылочкой, аль пояснением?)
Разумеется =) 1. В рамках return-statement, для инициализации result-object, применяется copy-initialization (1, 2). 2. В рамках общего порядка инициализации типом цели является тип возвращаемого значения функции (на тех же основаниях), т.е. bool. Применимым положением оказывается последняя "else-ветвь". 3. Утверждается применение standard-conversion-sequence между int (source) и bool (destination). 4. Из упомянутой последовательности преобразований нас интересует второй этап, поскольку содержит boolean-conversion. 5. Наконец, из описания такого преобразования, можно заключить искомое утверждение =)
Обсуждают сегодня