C++ 11 тип (подписанный + без знака)?

Question

#include <iostream> 
#include <typeinfo> 

using namespace std; 

int main() 
{ 
    int s = 2; 
    unsigned int u = 3; 

    auto k = s + u; 

    if (typeid(k) == typeid(s)) 
     cout << "signed" << endl; 
    else if (typeid(k) == typeid(u)) 
     cout << "unsigned" << endl; 
    else 
     cout << "error" << endl; 
} 

Выход этой программы GCC является:

unsigned 

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

Можете ли вы сказать мне, где в стандарте это сказано?

Answer 1

Что вы видите, это всего лишь эффекты Usual Arithmetic Conversions.

стандарт говорит следующее:

§5 [expr] p7:

Многих бинарных операторам, которые ожидают операнды арифметического или типа перечисления преобразования вызывает и типов результатов выходов аналогичным образом. Цель состоит в том, чтобы дать общий тип, который также является типом результата. Эта модель называется обычные арифметические преобразования, которые определены следующим образом:

• [...]
• В противном случае, интегральные акции (4.5), должны быть выполнены на обоих операндов. Тогда следующие правила должны применяться к рекламируемым операндам:
  • [...]
  • В противном случае оба операнд должен быть преобразованы без знака целого типа, соответствующего типу операнда с подписью целочисленного типа.