basic.hpp

Go to the documentation of this file.

// -----------------------------------------------------------------------------------------------------
// Copyright (c) 2006-2021, Knut Reinert & Freie Universität Berlin
// Copyright (c) 2016-2021, Knut Reinert & MPI für molekulare Genetik
// This file may be used, modified and/or redistributed under the terms of the 3-clause BSD-License
// shipped with this file and also available at: https://github.com/seqan/seqan3/blob/master/LICENSE.md
// -----------------------------------------------------------------------------------------------------
 
#pragma once
 
#include <tuple>
#include <seqan3/std/type_traits>
 
#include <seqan3/core/platform.hpp>
 
// ----------------------------------------------------------------------------
// is_constexpr
// ----------------------------------------------------------------------------
 
#define SEQAN3_IS_CONSTEXPR(...) std::integral_constant<bool, __builtin_constant_p((__VA_ARGS__, 0))>::value
 
namespace seqan3
{
 
// ----------------------------------------------------------------------------
// remove_rvalue_reference
// ----------------------------------------------------------------------------
 
template <typename t>
struct remove_rvalue_reference
{
    using type = std::conditional_t<std::is_rvalue_reference_v<t>, std::remove_reference_t<t>, t>;
};
 
template <typename t>
using remove_rvalue_reference_t = typename remove_rvalue_reference<t>::type;
 
// ----------------------------------------------------------------------------
// is_constexpr_default_constructible
// ----------------------------------------------------------------------------
 
template <typename t>
struct is_constexpr_default_constructible : std::false_type
{};
 
template <typename t>
    requires std::is_default_constructible_v<t>
struct is_constexpr_default_constructible<t> : std::integral_constant<bool, SEQAN3_IS_CONSTEXPR(t{})>
{};
 
template <typename t>
inline constexpr bool is_constexpr_default_constructible_v = is_constexpr_default_constructible<t>::value;
 
} // namespace seqan3
 
namespace seqan3::detail
{
 
// ----------------------------------------------------------------------------
// deferred_type
// ----------------------------------------------------------------------------
 
template <typename t, typename ...dependent_ts>
struct deferred_type
{
    using type = t;
};
 
template <typename t, typename ...dependent_ts>
using deferred_type_t = typename deferred_type<t, dependent_ts...>::type;
 
// ----------------------------------------------------------------------------
// ignore_t
// ----------------------------------------------------------------------------
 
using ignore_t = std::remove_cvref_t<decltype(std::ignore)>;
 
template <typename t>
constexpr bool decays_to_ignore_v = std::is_same_v<std::remove_cvref_t<t>, ignore_t>;
 
} // namespace seqan3::detail
 
// ----------------------------------------------------------------------------
// SEQAN3_IS_SAME
// ----------------------------------------------------------------------------
 
#if defined(__clang__)
#   define SEQAN3_IS_SAME(...)              __is_same(__VA_ARGS__)
#elif defined(__GNUC__)
#   define SEQAN3_IS_SAME(...)              __is_same_as(__VA_ARGS__)
#else
#   define SEQAN3_IS_SAME(...)              std::is_same_v<__VA_ARGS__>
#endif