IsTriviallyRelocatable.h

Go to the documentation of this file.

// Copyright Epic Games, Inc. All Rights Reserved.
 
#pragma once
 
#include <type_traits>
 
template <typename T>
struct TIsTriviallyRelocatable
{
    // We allow bitwise relocation of types containing e.g. const and reference members, but we don't want to allow 
    // relocation of types which are UE_NONCOPYABLE or equivalent.
    //
    // See note above as to why this is why it is. In C++26, we should be able to catch more
    // by using this: https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2786r4.pdf
    //
    // Should be the test below by default, but there are a lot of existing violations that will need to be fixed first.
 
//  static inline constexpr bool Value = std::is_move_constructible_v<T>;
    static inline constexpr bool Value = true;
};
 
template <typename T> struct TIsTriviallyRelocatable<const          T> : TIsTriviallyRelocatable<T> {};
template <typename T> struct TIsTriviallyRelocatable<      volatile T> : TIsTriviallyRelocatable<T> {};
template <typename T> struct TIsTriviallyRelocatable<const volatile T> : TIsTriviallyRelocatable<T> {};
 
template <typename T>
inline constexpr bool TIsTriviallyRelocatable_V = TIsTriviallyRelocatable<T>::Value;