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

R>Здравствуйте, Максим Рогожин, Вы писали:

для того, чтобы сущность имела тип, ей не обязательно "иметь бинарное представление" (т.е. быть объектом).
Вот это как раз очень интересно. А есть другие примеры таких сущностей в C++ или других языках?

R>Например, декларатор "int& ir = . . ." объявляет ссылку ir, типом которой является "lvalue reference to int".
Ну так я и говорю тип выражения в коде программы...

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

R>Здравствуйте, Максим Рогожин, Вы писали:

для того, чтобы сущность имела тип, ей не обязательно "иметь бинарное представление" (т.е. быть объектом).
Вот это как раз очень интересно.
Я и говорю тип выражения в коде программы.
А есть другие примеры таких сущностей в C++ или других языках?