integer_traits.hpp

Go to the documentation of this file.

// -----------------------------------------------------------------------------------------------------
// Copyright (c) 2006-2023, Knut Reinert & Freie Universität Berlin
// Copyright (c) 2016-2023, 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 <limits>
#include <type_traits>
 
#include <seqan3/core/platform.hpp>
 
namespace seqan3::detail
{
 
// ------------------------------------------------------------------
// min_viable_uint_t
// ------------------------------------------------------------------
 
template <uint64_t value>
using min_viable_uint_t = std::conditional_t<
    value <= 1ull,
    bool,
    std::conditional_t<value <= 255ull,
                       uint8_t,
                       std::conditional_t<value <= 65535ull,
                                          uint16_t,
                                          std::conditional_t<value <= 4294967295ull, uint32_t, uint64_t>>>>;
 
template <uint64_t value>
constexpr auto min_viable_uint_v = static_cast<min_viable_uint_t<value>>(value);
 
// ------------------------------------------------------------------
// size_in_values_v
// ------------------------------------------------------------------
 
template <typename int_t>
    requires std::is_integral_v<int_t>
constexpr size_t size_in_values_v =
    static_cast<size_t>(std::numeric_limits<int_t>::max()) - std::numeric_limits<int_t>::lowest() + 1;
 
} // namespace seqan3::detail