sizeof(conditional operator)

А у меня выдаёт sz=zu.

Для студии заменить %zu на %u

MinGW с gcc 5.1.0.

Хотя если компилить, как для студии, всё ок.

Откуда четвёрка, даже на 64-х разрядной машине

Скорее всего тут участвует integer promotion, а плафторма у тебя LP64, как у всех, так что sizeof(int) == 4.

Почему вообще сабж — не знаю.

Побоюсь показаться КО, но потому что в C второй и третий аргумент тернарного оператора привелись к int, а в C++ — нет.

Почему в C++ нет — не знаю.

Почему в C++ нет — не знаю.

Потому что в C++ результат тернарного выражения — lvalue. Если поменять тип a или b на int8_t, то есть того же размера, но не совпадающий, включатся правила приведения, размер будет 4.

Чего ж тогда сишному не нравится?

Кстати, sizeof('a') в Си и Си++ тоже различаются.

Потому что C ≠ C++. И вообще баян.

// cc -o sizeof_c sizeof.c
// c++ -o sizeof_cc sizeof.c

#include <stdio.h>

char *
iam()
{
	switch (sizeof('a')) {
	case 4:
		return "C";
	case 1:
		return "C++";
	default:
		return "whatever";
	}
}

int
main()
{
	printf("I am %s\n", iam());
	return 0;
}

в C++ результат тернарного выражения — lvalue

А, точно. Помню на сишке как-то приходилось *(x ? &y : &z) = 💩 писать :)

Да, литерал приведен к int.

Reading Comprehension IV

6.5.15/5 Conditional operator

If both the second and third operands have arithmetic type, the result type that would be determined by the usual arithmetic conversions, were they applied to those two operands, is the type of the result. <...>

6.3.1.8/1 Usual arithmetic conversions

<...> First, if the corresponding real type of either operand is long double, <...>

Otherwise, the integer promotions are performed on both operands. <...>

6.3.1.1/2 Boolean, characters, and integers

The following may be used in an expression wherever an int or unsigned int may be used:

• An object or expression with an integer type whose integer conversion rank is less than or equal to the rank of int and unsigned int.
• <...>

If an int can represent all values of the original type, the value is converted to an int; otherwise, it is converted to an unsigned int. These are called the integer promotions. <...>

Так что t184256 прав.

Для определения типа результата оба операнда приводятся друг к другу, что подразумевает расширение до инта. В Си++, видимо, просто более строгие правила преобразования типов.

Исчерпывающе, добавить нечего пожалуй. Всё по стандарту.

побоюсь показаться еще большим КО, но t\d{6} прав или почти прав. в С++ ?: перегружаема и шаблонна, и имеет тип boolxTxT->T, а в C это арифметическая операция, и результат возвращается соотвественно размерности платформы

в C второй и третий аргумент тернарного оператора привелись к int

Это не по стандарту. В сишке тип тернарного выражения равен наибольшему расширению типов a и b, а там же uint8_t.

Для определения типа результата оба операнда приводятся друг к другу, что подразумевает расширение до инта.

Жесть. Как теперь жить?

Мне одному кажется, что использовать sizeof как обычную функцию это идиотизм? Неужели лень написать

0 ? sizeof (a) : sizeof (b)

Это синтетический тест для воспроизведения проблемы. В реальном коде мне надо было кое-что другое.