basic.hpp

Go to the documentation of this file.

// SPDX-FileCopyrightText: 2006-2025 Knut Reinert & Freie Universität Berlin
// SPDX-FileCopyrightText: 2016-2025 Knut Reinert & MPI für molekulare Genetik
// SPDX-License-Identifier: BSD-3-Clause

 
#pragma once
 
#include <tuple>
#include <type_traits>
 
#include <seqan3/core/platform.hpp>
 
// ----------------------------------------------------------------------------
// is_constexpr
// ----------------------------------------------------------------------------


#if defined(__clang__) // https://github.com/llvm/llvm-project/issues/58078
#    define SEQAN3_IS_CONSTEXPR(...) true
#else
#    define SEQAN3_IS_CONSTEXPR(...) std::integral_constant<bool, __builtin_constant_p(((void)__VA_ARGS__, 0))>::value
#endif
 
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