В Цезиуме мы таргетим архитектуру CLR, а она уже пусть там разбирается, как алайнить объекты. И мы целимся в поддержку стандарта C, а в поддержку не стандарта C — не целимся. Поэтому Невидимка корректно говорит, что UB нам тестировать неинтересно. Даже если оно сломается в каких-то условиях.
А CLR умеет в "Any pointer to object can be cast to any other pointer to object"?
Только под object немного иное понимается
Нам там рили просто поинтеры скастить, не нужно никакого онсейфа.
Сишный объект — не то же, что CLR'ный.
Что угодно: int, struct, whatever
В том числе поинтеры, которые в дотнете не кастуются в object.
Обсуждают сегодня