C++17中在constexpr函数内生成可查询的CRC-字符串键值对

针对C++17下在constexpr CRC32函数中自动记录键值对并支持编译/运行时查询的需求，分两种场景实现：

一、运行时自动记录与查询 #

利用静态变量初始化的特性，在运行时自动将计算过的CRC与字符串注册到全局容器中，同时保留编译期CRC计算能力：

#include <array>
#include <string_view>
#include <unordered_map>
#include <stdexcept>

// 生成constexpr CRC32查表
constexpr std::array<uint32_t, 256> generate_crc32_table() {
    std::array<uint32_t, 256> table{};
    for (uint32_t i = 0; i < 256; ++i) {
        uint32_t crc = i;
        for (int j = 0; j < 8; ++j) {
            crc = (crc >> 1) ^ (0xEDB88320U & ((crc & 1) ? 0xFFFFFFFFU : 0));
        }
        table[i] = crc;
    }
    return table;
}

constexpr auto crc32_table = generate_crc32_table();

// constexpr CRC32核心计算逻辑
constexpr uint32_t calculate_crc32(const char* str, size_t length, uint32_t crc = 0xFFFFFFFFU) {
    return length == 0 ? ~crc : calculate_crc32(str + 1, length - 1, (crc >> 8) ^ crc32_table[(crc ^ *str) & 0xFF]);
}

// 运行时注册表：存储所有计算过的字符串与CRC
inline static std::unordered_map<std::string_view, uint32_t> crc_runtime_registry;

template <size_t length>
static constexpr unsigned int getCrc32(const char (&str)[length])
{
    // 编译期计算CRC（排除末尾的'\0'）
    constexpr uint32_t crc = calculate_crc32(str, length - 1);

    // 运行时自动注册：静态lambda仅初始化一次，避免重复注册
    static const bool _ = []() {
        crc_runtime_registry.emplace(std::string_view(str, length - 1), crc);
        return true;
    }();
    (void)_; // 消除未使用变量警告

    return crc;
}

// 运行时查询接口
uint32_t find_crc_runtime(std::string_view str) {
    auto it = crc_runtime_registry.find(str);
    if (it != crc_runtime_registry.end()) {
        return it->second;
    }
    throw std::runtime_error("CRC not found for string: " + std::string(str));
}

说明 #

• 编译期调用getCrc32时，仅执行CRC计算逻辑，不会触发注册表写入（避免constexpr副作用）；
• 运行时首次调用getCrc32时，静态lambda会自动将当前字符串与CRC写入全局注册表；
• 后续可通过find_crc_runtime快速查询已计算过的CRC。

二、编译期查询支持 #

由于C++17不支持动态扩展constexpr容器，需通过模板元编程实现编译期注册表，同时可复用运行时查询：

#include <optional>
#include <algorithm>

// 编译期注册表条目：每个字符串对应唯一模板实例
template <const char* Str>
struct CrcCompileTimeEntry {
    static constexpr size_t str_length = std::char_traits<char>::length(Str);
    static constexpr uint32_t crc = calculate_crc32(Str, str_length);
    static constexpr std::string_view str_view = {Str, str_length};
};

// 编译期注册表：收集所有条目并提供查询接口
template <typename... Entries>
struct CrcCompileTimeRegistry {
    static constexpr std::array<std::pair<std::string_view, uint32_t>, sizeof...(Entries)> entries = {
        {Entries::str_view, Entries::crc}...
    };

    // 编译期查询：返回std::optional<uint32_t>
    static constexpr std::optional<uint32_t> find_crc(std::string_view str) {
        for (const auto& entry : entries) {
            if (entry.first == str) {
                return entry.second;
            }
        }
        return std::nullopt;
    }

    // 运行时查询（复用编译期数组）
    static uint32_t find_crc(std::string_view str) {
        auto it = std::find_if(entries.begin(), entries.end(),
            [str](const auto& entry) { return entry.first == str; });
        if (it != entries.end()) {
            return it->second;
        }
        throw std::runtime_error("CRC not found for string: " + std::string(str));
    }
};

// 宏简化编译期注册与CRC获取
#define REGISTER_AND_GET_CRC32(str) [](){ \
    static constexpr char s[] = str; \
    return CrcCompileTimeEntry<s>::crc; \
}()

// 示例：定义包含目标字符串的编译期注册表
constexpr char str_hello[] = "hello";
constexpr char str_world[] = "world";
using MyCompileTimeRegistry = CrcCompileTimeRegistry<
    CrcCompileTimeEntry<str_hello>,
    CrcCompileTimeEntry<str_world>
>;

// 编译期查询验证
constexpr auto crc_hello = MyCompileTimeRegistry::find_crc("hello").value();
static_assert(crc_hello == 0x3610A686U, "CRC32 of 'hello' mismatch");

说明 #

• 通过模板特化为每个字符串生成独立的CRC计算实例；
• 编译期注册表将所有预定义字符串的CRC打包为constexpr数组，支持编译期查询；
• 可通过宏REGISTER_AND_GET_CRC32简化字符串注册与CRC获取流程。

问题原因解释 #

你之前遇到的问题核心在于：

1. constexpr函数在编译期执行时，不允许修改非constexpr静态变量（如普通std::map），否则会触发未定义行为；
2. C++17缺乏动态扩展的constexpr容器，无法在constexpr函数内动态添加键值对，必须依赖模板元编程实现编译期静态集合。

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