diff options
Diffstat (limited to 'development/c++.html')
| -rw-r--r-- | development/c++.html | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/development/c++.html b/development/c++.html index 6b4fb47..94cc7fd 100644 --- a/development/c++.html +++ b/development/c++.html @@ -748,7 +748,11 @@ struct option { constexpr T& value() { assert(m_has_val); - return *reinterpret_cast<T*>(m_val); + // Placement new starts a new lifetime, launder pointer returned to the + // aligned storage. + // + // [1] https://en.cppreference.com/w/cpp/utility/launder + return *__builtin_launder(reinterpret_cast<T*>(m_val)); } private: |