C++如何获取满足最小/最大宽度要求的整型类型？

C++11及以上版本的标准库已经原生覆盖了你的核心需求，无需手动写递归或大量特化：

• 你需要的「不小于指定宽度的最小整数类型」语义，在<cstdint>中已有标准定义：int_leastN_t，其中N为位数，代表至少占N位的最小有符号整数类型。你示例中的3字节对应24位，主流平台上int_least24_t会直接别名到int32_t，和你的预期完全一致。
• 如果需要按字节数作为模板参数，或者需要实现int_atmost语义，用标准库的std::conditional做编译期分支判断即可，代码量极小：

完整实现代码 #

#include <cstdint>
#include <type_traits>

// 取至少占MinBytes字节的最小有符号整数类型
template<size_t MinBytes>
using int_atleast = std::conditional_t<
    MinBytes <= 1, int8_t,
    std::conditional_t<
        MinBytes <= 2, int16_t,
        std::conditional_t<
            MinBytes <= 4, int32_t,
            std::conditional_t<
                MinBytes <= 8, int64_t,
                []{
                    static_assert(MinBytes <= 8, "No supported integer type for the given minimum byte count, you can extend to support 128-bit integers if needed");
                    return int64_t{};
                }()
            >
        >
    >
>;

// 取最多占MaxBytes字节的最大有符号整数类型
template<size_t MaxBytes>
using int_atmost = std::conditional_t<
    MaxBytes >= 8, int64_t,
    std::conditional_t<
        MaxBytes >= 4, int32_t,
        std::conditional_t<
            MaxBytes >= 2, int16_t,
            std::conditional_t<
                MaxBytes >= 1, int8_t,
                []{
                    static_assert(MaxBytes >= 1, "Integer type can't be smaller than 1 byte");
                    return int8_t{};
                }()
            >
        >
    >
>;

验证示例 #

// 符合你给出的示例要求
static_assert(std::is_same_v<int_atleast<3>, int32_t>);
static_assert(std::is_same_v<int_atmost<5>, int32_t>);

说明 #

• 所有判断都在编译期完成，无任何运行时开销。
• 如果你的编译环境支持128位整数（比如GCC/Clang的__int128），直接在std::conditional的分支中添加对应判断即可扩展支持更大的字节范围。

内容的提问来源于stack exchange，提问作者j__