traits.h

[詳解]

/// @file
/// @brief 型に関するメタ関数を定義するヘッダ。
///
/// Copyright(C)SEGA

#ifndef AMDAEMON_UTIL_TRAITS_H
#define AMDAEMON_UTIL_TRAITS_H

#include "amdaemon/env.h"

#include <type_traits>
#include <cstddef>

namespace amdaemon
{
namespace util
{
/// @addtogroup g_util
/// @{

    /// @brief 型 T がバイナリベースでコピー可能な型であるか否かを調べるメタ関数。
    /// @tparam T 調べる型。
    ///
    /// 型 T から const, volatile を取り除いた型が下記の要件をすべて満たすならば
    /// 静的メンバ定数 value は true となる。
    ///
    /// - オブジェクト型(スカラ型、配列、クラス＆構造体、共用体のいずれか)である。
    /// - トリビアルコピー可能な型である。
    /// - ポインタ型ではない。
    /// - std::nullptr_t 型ではない。
    ///
    /// このメタ関数では、データメンバにポインタ型を持つ型については除外できない。
    template<class T>
    struct IsBinaryCopyable
        :
        public std::integral_constant<
            bool,
            std::is_object<typename std::remove_cv<T>::type>::value             &&
            std::is_trivially_copyable<typename std::remove_cv<T>::type>::value &&
            !std::is_pointer<typename std::remove_cv<T>::type>::value           &&
            !std::is_same<typename std::remove_cv<T>::type, std::nullptr_t>::value>
    {
    };

    /// @brief 型 T[N] がバイナリベースでコピー可能な型であるか否かを調べるメタ関数。
    /// @tparam T 調べる配列型の要素型。
    /// @tparam N 調べる配列型の要素数。
    /// @see IsBinaryCopyable
    /// @note VC++2013で固定長配列型がうまく調べられないため、その対策に部分特殊化。
    template<class T, std::size_t N>
    struct IsBinaryCopyable<T[N]> : public IsBinaryCopyable<T>
    {
    };

/// @}
} // namespace util
} // namespace amdaemon

#endif // AMDAEMON_UTIL_TRAITS_H