Здравствуйте, rg45, Вы писали:

R>

R>6.9 Types
R>1 [ Note: 6.9 and the subclauses thereof impose requirements on implementations regarding the representation of types. There are two kinds of types: fundamental types and compound types. Types describe objects (4.5), references (11.3.2), or functions (11.3.5). —end note ]

Объекты и функции имеют некоторое бинарное представление, занимают некоторую память, то что у них должен быть тип это ясно. Но вот ссылки не имеют бинарного представления, не занимают памяти (могут не занимать), то есть их как бы и нет даже. Тип ссылки это тип чего? Выражения в коде программы?