AK: Enable IntrusiveList self reference to be optimized out when empty

If a member is an empty class, the standard normally stats that it needs
to have a size of at least 1 byte in order to guarantee that the
addresses of distinct objects of the same type are always distinct.

However as of c++20, we can use [[no_unique_address]] to instruct the
compiler that if the member has an empty type, it may optimize it to
occupy no space.
This commit is contained in:
Brian Gianforcaro 2021-08-18 17:07:05 -07:00 committed by Ali Mohammad Pur
parent 0e201fbb42
commit 8e41d96618
Notes: sideshowbarker 2024-07-18 05:29:42 +09:00

View file

@ -187,7 +187,7 @@ private:
IntrusiveListStorage<T, Container>* m_storage = nullptr;
IntrusiveListNode<T, Container>* m_next = nullptr;
IntrusiveListNode<T, Container>* m_prev = nullptr;
SelfReferenceIfNeeded<Container, IsRaw> m_self;
[[no_unique_address]] SelfReferenceIfNeeded<Container, IsRaw> m_self;
};
}