Первый вопрос:
Второй вопрос:
Если стандарт C / C ++ определяет ответы на поставленные выше вопросы, какие абзацы относятся к ним?
Да, это гарантировано. В C ++ 11 см. §7.1.6.2 [dcl.type.simple] / таблица 10, в которой перечислены все описатели простых типов (и их комбинации) и их значение. Например, таблица включает в себя следующее:
unsigned => unsigned int
unsigned int => unsigned int
signed => int
signed int => int
int => int
C11 имеет аналогичное отображение в §6.7.2 / 2 (оно отформатировано по-разному, но в остальном оно определяет те же группы эквивалентных комбинаций, по крайней мере, для всех типов, общих для C и C ++).
Других решений пока нет …