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

SP>правда меня смущает не будет ли вычитание двух указателей в данном случае UB, но это уже дело десятое.

Это когда-то уже обсуждали здесь. В худшем случае будет unspecified behavior (не undefined) и это только если указатели указывают на несвязанные между собой объекты.

P.S. По идее, в классах с виртуальным наследованием результат также может быть unspecified. Тут я не уверен, просто рассуждения из общих соображений.