AlignedStorage.h

// Copyright (c) Stefano Cristiano
// SPDX-License-Identifier: MIT
#pragma once
#include "../Foundation/PrimitiveTypes.h"
 
namespace SC
{
#if !DOXYGEN
template <typename T, size_t E, size_t R = sizeof(T)>
void static_assert_size()
{
    static_assert(R <= E, "Size mismatch");
}
#endif
#if SC_COMPILER_GCC
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wstringop-overflow="
#endif
 
template <int N, int Alignment = alignof(void*)>
struct AlignedStorage
{
    template <typename T>
    T& reinterpret_as()
    {
        static_assert_size<T, N>();
        static_assert(alignof(T) <= Alignment, "Increase Alignment of AlignedStorage");
        return *reinterpret_cast<T*>(bytes);
    }
 
    template <typename T>
    const T& reinterpret_as() const
    {
        static_assert_size<T, N>();
        static_assert(alignof(T) <= Alignment, "Increase Alignment of AlignedStorage");
        return *reinterpret_cast<const T*>(bytes);
    }
 
  private:
    alignas(Alignment) char bytes[N] = {0};
};
 
#if SC_COMPILER_GCC
#pragma GCC diagnostic pop
#endif
} // namespace SC