如何用static_assert检查常量是否在预定义整数列表中？

当然可行！不过得结合C++的预处理和编译期特性来操作——毕竟#define是预处理阶段的宏，而static_assert是编译期检查，我们需要把宏转换成编译期可用的常量，再实现一个编译期的存在性判断逻辑。

下面分步骤给你具体实现方式，还会兼顾不同C++版本的兼容性：

1. 把预处理宏转换为编译期常量 #

直接用#define的宏虽然能塞进static_assert，但转成constexpr变量更清晰，还能避免宏的一些潜在问题（比如意外的文本替换）：

#define SOME_IDENTIFIER 1
constexpr int target_value = SOME_IDENTIFIER;

如果担心SOME_IDENTIFIER可能未定义，可以先加个预处理检查：

#ifndef SOME_IDENTIFIER
#error "SOME_IDENTIFIER must be defined!"
#endif

2. 定义编译期可访问的整数集合 #

如果你用const auto numbers = {1,5,10}，它的类型是std::initializer_list<int>，但C20才支持在constexpr函数里遍历它。如果要兼容C17及更早版本，建议用constexpr数组：

// C++11及以上都支持的constexpr数组
constexpr int numbers[] = {1, 5, 10};

3. 实现编译期存在性检查逻辑 #

兼容C++14及以上的版本（针对数组） #

写一个模板化的constexpr函数，遍历数组判断目标值是否存在：

#include <cstddef> // 引入std::size_t

template <std::size_t ArraySize>
constexpr bool is_in_array(const int (&arr)[ArraySize], int target) {
    for (std::size_t i = 0; i < ArraySize; ++i) {
        if (arr[i] == target) {
            return true;
        }
    }
    return false;
}

C++20及以上的通用版本（支持initializer_list） #

C++20放宽了constexpr的限制，我们可以写一个更通用的函数，支持initializer_list甚至其他编译期容器：

constexpr bool contains(const auto& collection, int target) {
    for (const auto& elem : collection) {
        if (elem == target) {
            return true;
        }
    }
    return false;
}

4. 用static_assert做编译期检查 #

把前面的部分组合起来，就能在编译阶段直接报错，如果SOME_IDENTIFIER不在列表里的话：

兼容C++14的版本 #

static_assert(is_in_array(numbers, target_value), 
              "ERROR: SOME_IDENTIFIER is not present in the numbers list!");

C++20版本（用initializer_list） #

const auto numbers = {1, 5, 10};
static_assert(contains(numbers, target_value), 
              "ERROR: SOME_IDENTIFIER is not present in the numbers list!");

关键说明 #

• 整个逻辑完全在编译阶段完成，不会产生任何运行时开销
• 如果SOME_IDENTIFIER不在列表中，编译器会直接抛出你定义的错误信息，阻止程序编译通过

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