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

R>>Есть ещё один минус в таком подходе — полученное значение уже не будет compile-time.

_>https://godbolt.org/z/8847Mjd7b

Ну и где тут "объект уже есть", о чём говорилось выше? Ты же просто предлагаешь альтернативную реализацию offsetof, не требующую наличия объекта. Просто вместо UB от использования нулевого указателя, у тебя UB от неправомерного использования reinterpret_cast, вот и всё. Так ещё и тонны кода навертел.