Why doesn’t [[no_unique_address]] work on objects of the same type?
Summary This incident examines why multiple [[no_unique_address]] fields of the same empty type do not overlap across a class hierarchy, even though the attribute suggests that empty subobjects may share storage. The expectation that S3 should be the same size as S1 is reasonable at first glance, but the C++ object model imposes strict rules … Read more