Тип троичного выражения

Question

Может кто-нибудь объяснить, выход следующей программы:

#include <iostream> 
using namespace std; 

int main() 
{ 
    int test = 0; 
    cout << "First character " << '1' << endl; 
    cout << "Second character " << (test ? 3 : '1') << endl; 

    return 0; 
} 

Выход:
Первый символ 1
Второй символ 49

Но оба printf заявления должны напечатать такой же линия.

Answer 1

Тип выражения '1': char.

Тип выражения (test ? 3 : '1') составляет не менее int (или его неподписанная версия; возможно, он составляет std::common_type_t<int, char>).

Поэтому два вызова оператора << выбирают разные перегрузки: первый печатает символ как есть, последний форматирует целое число как его десятичное строковое представление. (Интегральное значение символа '1' определяется вашим набором основных символов.)

Answer 2

cout будет отображать значение выражения (test ? 3 : '1') после выведения соответствующего <<operator. В этом случае int, вы можете проверить его с помощью хорошего трюка, Скотт Мейерс, распространяющегося в Его newest book:

template < typename T > class TD; // Type Displayer 
int main() 
{ 
    int test = 0; 
    TD<decltype((test ? 3 : '1'))> xType; 

    return 0; 
} 

это вызывает ошибку, которая также даст вам информацию о типе вашего выражения:

main.cpp:6:34: error: aggregate 'TD<int> xType' has incomplete type and cannot be defined TD xType;

который является int. И static_cast<int>('1') - 49.