如何实现C++模板参数式ItemInfo的类型安全store方法？

我正在开发一款键值数据库，使用如下模板类存储待写入项的规格：

template<int address, typename T>
class ItemInfo{};

例如ItemInfo<0x100, unsigned>表示一个unsigned类型的项将被存储在地址0x100处。

我需要编写一个store方法完成存储操作，该方法需接收ItemInfo作为模板参数（而非函数参数），以及一个值，大致形式如下：

template<typename ItemInfo, typename T>
void store(T value);

在该方法中需要实现两点：

1. 将项存储在ItemInfo指定的地址
2. 仅当传入值的类型与ItemInfo指定的类型一致时才执行存储

我可以使用C++20，但现有方案可行，希望找到不涉及concept的更简单实现方式，请问该如何编写这个store方法？

可以通过模板特化提取ItemInfo中的地址和类型信息，配合static_assert做编译期类型校验，无需使用concept，实现如下：

1. 编写参数提取的辅助特化 #

先定义一个辅助模板，专门用于解析ItemInfo的模板参数：

// 基础模板，仅用于匹配ItemInfo类型
template<typename ItemInfo>
struct ItemTraits;

// 针对ItemInfo的特化版本，提取地址和目标类型
template<int addr, typename T>
struct ItemTraits<ItemInfo<addr, T>> {
    static constexpr int address = addr;
    using value_type = T;
};

2. 实现store方法 #

借助ItemTraits获取目标地址和类型，同时用static_assert强制校验类型匹配：

#include <type_traits> // 用于std::is_same_v

template<typename ItemInfo, typename T>
void store(T value) {
    // 从ItemInfo中提取目标地址和类型
    constexpr int target_addr = ItemTraits<ItemInfo>::address;
    using target_type = typename ItemTraits<ItemInfo>::value_type;

    // 编译期校验：传入值的类型必须与ItemInfo指定的类型一致
    static_assert(std::is_same_v<T, target_type>, 
                  "传入值的类型与ItemInfo指定的类型不匹配");

    // 执行存储操作（这里以内存写入为例，可替换为你的数据库存储逻辑）
    *reinterpret_cast<target_type*>(target_addr) = value;
}

3. 使用示例 #

// 定义一个项规格
using MyUnsignedItem = ItemInfo<0x100, unsigned>;

int main() {
    unsigned valid_val = 42;
    store<MyUnsignedItem>(valid_val); // 正常编译，执行存储

    // int invalid_val = 123;
    // store<MyUnsignedItem>(invalid_val); // 编译失败，触发static_assert断言
    return 0;
}

说明 #

• 模板特化ItemTraits能直接解析ItemInfo的模板参数，逻辑简单直观
• static_assert在编译期就会拦截类型不匹配的情况，避免运行时错误
• 整个实现基于C11特性，完全兼容C20，且未使用任何concept

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