C++是否支持基于整数宽度运算的动态类型声明？

先看这个基础的拼接示例：

uint8_t lo = 0x11; // 已知低字节值
uint8_t hi = 0x22; // 已知高字节值

uint16_t word = (hi << 8) | lo; // 拼接为16位无符号整数

现在有大量已知值，类型仅为uint8_t或uint16_t。需要实现的是：拼接后的结果类型根据输入类型自动匹配——输入是uint8_t时结果为uint16_t，输入是uint16_t时结果为uint32_t。有没有类似下面示意代码的实现方式？

TYPE lo = 0x11;
TYPE hi = 0X22;

decl_int_type(sizeof(lo) + sizeof(hi)) word = (hi << sizeof(hi)) | lo;

注：这不是生产环境的实际问题，仅为和同事讨论时的学习性质疑问。

实现方案 #

在C++中可以通过模板元编程结合标准库类型特性来实现这个需求：

1. 定义类型映射模板，根据输入类型的大小推导目标类型：

#include <cstdint>
#include <type_traits>

// 模板特化，按输入类型大小映射到对应更大的无符号整数类型
template<size_t Size>
struct TargetUIntType;

// 输入为1字节类型（uint8_t）时，目标类型为uint16_t
template<>
struct TargetUIntType<1> {
    using type = uint16_t;
};

// 输入为2字节类型（uint16_t）时，目标类型为uint32_t
template<>
struct TargetUIntType<2> {
    using type = uint32_t;
};

// 辅助别名，简化目标类型的获取
template<typename T>
using target_uint_t = typename TargetUIntType<sizeof(T)>::type;

2. 编写自动推导返回类型的拼接函数：

template<typename T>
target_uint_t<T> combine(T hi, T lo) {
    // 静态断言，确保输入是无符号整数且为指定类型
    static_assert(std::is_unsigned_v<T>, "仅支持无符号整数类型");
    static_assert(sizeof(T) == 1 || sizeof(T) == 2, "仅支持uint8_t或uint16_t类型");
    
    // 先转换为目标类型再进行移位和拼接，避免溢出
    return (static_cast<target_uint_t<T>>(hi) << (8 * sizeof(T))) | static_cast<target_uint_t<T>>(lo);
}

3. 使用示例：

#include <iostream>
#include <iomanip>

int main() {
    uint8_t lo8 = 0x11;
    uint8_t hi8 = 0x22;
    auto word16 = combine(hi8, lo8);
    // 验证结果类型确实是uint16_t
    static_assert(std::is_same_v<decltype(word16), uint16_t>);
    std::cout << std::hex << std::setw(4) << std::setfill('0') << static_cast<uint32_t>(word16) << "\n"; // 输出2211

    uint16_t lo16 = 0x1234;
    uint16_t hi16 = 0x5678;
    auto word32 = combine(hi16, lo16);
    // 验证结果类型确实是uint32_t
    static_assert(std::is_same_v<decltype(word32), uint32_t>);
    std::cout << std::hex << std::setw(8) << std::setfill('0') << word32 << "\n"; // 输出56781234

    return 0;
}

核心要点 #

• TargetUIntType模板通过特化机制，建立输入类型大小到目标类型的映射；
• target_uint_t别名让我们可以直接通过输入类型获取对应的目标类型；
• 拼接函数中的static_assert用于在编译期检查输入类型是否符合要求，提前发现错误；
• 移位前将输入值转换为目标类型，避免了移位过程中可能出现的溢出或数据截断问题。

内容的提问来源于stack exchange，提问作者sudo pkill depression