Arithemtic между эквивалентными typedefs

Question

Я пишу компилятор C++ для моего класса компилятора, и мне было интересно это. Арифметика между эквивалентными определениями типами Так, б/с определением типов имеют рыхлое имя эквивалентность:

typedef int FOO; 
typedef int BAR; 

int test; 
FOO i; 
BAR j; 

i = 1; 
j = 2; 
test = i + j; // Code clarity 

является это должен работать? Действительно ли typedefs просто прославили базовые типы или они каскадируются в иерархию?

Answer 1

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

Answer 2

В C и C++ декларация typedef определяет псевдоним для имени типа. Он не определяет новый тип. Компилятор должен разрешить каждый typedef (рекурсивный, если необходимо) дескриптор типа, который не содержит имен typedef. (Если это невозможно, программа не очень хорошо образован.)

Так не только FOO(1) + BAR(2) работы просто отлично, без неявных преобразований, переменная определяется как FOO будет соответствовать int в специализации шаблона.