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

AD>Здравствуйте, sergii.p, Вы писали:

R>>>Если я правильно понимаю, то согласно 7.2.1/11 это UB.
SP>>так попадает же в исключения

SP>>

SP>>if T_ref is similar ([conv.qual]) to:
SP>>- a char, unsigned char, or std​::​byte type.

AD>T_ref не существует. Его сначала надо создать. Через каст не создашь.


Кстати да. В нашем случае std::byte — это T_obj. А T_ref — это void*&, и он ни разу не similar to std::byte.