coffee/continuable
1
0
Fork 0
mirror of https://github.com/Naios/continuable.git synced 2025-12-06 16:56:44 +08:00
Code Issues Packages Projects Releases Wiki Activity

More is aligned tests

Browse Source
This commit is contained in:
Denis Blank 2018-01-29 00:36:08 +01:00
parent 0f3ec412fe
commit c2ad28d702
1 changed files with 25 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
include/continuable/detail/expected.hpp
View File

@ -43,6 +43,13 @@
namespace cti {
namespace detail {
#ifndef _NDEBUG
template <typename T>
bool is_aligned(T const* p) {
return !(reinterpret_cast<uintptr_t>(p) % std::alignment_of<T>::value);
}
#endif // _NDEBUG
namespace util {
namespace detail {
enum class slot_t { empty, value, error };
@ -301,26 +308,34 @@ private:
assert(!is_empty());
#ifndef _NDEBUG
{
void* ptr = &this->storage_;
auto space = sizeof(this->storage_);
void* aligned = std::align(alignof(V), sizeof(V), ptr, space);
assert(aligned && "Bad alignment!");
}
#endif // _NDEBUG
return *reinterpret_cast<V*>(&this->storage_);
auto ptr = reinterpret_cast<V*>(&this->storage_);
assert(is_aligned(ptr) && "ptr not aligned!");
return *ptr;
}
template <typename V>
V const& cast() const noexcept {
assert(!is_empty());
#ifndef _NDEBUG
{
void* ptr = const_cast<void*>(static_cast<void const*>(&this->storage_));
auto space = sizeof(this->storage_);
void* aligned = std::align(alignof(V), sizeof(V), ptr, space);
assert(aligned && "Bad alignment!");
}
#endif // _NDEBUG
return *reinterpret_cast<V const*>(&this->storage_);
auto ptr = reinterpret_cast<V const*>(&this->storage_);
assert(is_aligned(ptr) && "ptr not aligned!");
return *ptr;
}
template <typename V>