如何为MSVC/Clang/GCC添加类const的C++编译期检查关键字

我们无法直接给编译器新增原生关键字，但可以通过宏+编译器扩展语法模拟类似const的编译期检查逻辑：仅在违反规则时触发编译错误，不改变代码运行逻辑。以下是针对三大编译器的实现方案：

GCC & Clang 实现方式 #

GCC和Clang提供了丰富的__attribute__扩展以及内置编译期函数，可用于实现各类自定义检查。

示例1：参数非空检查 #

定义宏模拟关键字，强制函数参数不能为nullptr：

#define NON_NULL __attribute__((nonnull))

// 使用方式
void process_data(NON_NULL void* buf, NON_NULL size_t* len) {
    // 业务逻辑不变
}

int main() {
    process_data(nullptr, nullptr); // 编译错误：传递非空参数的空指针
    return 0;
}

示例2：编译期常量范围检查 #

模拟POSITIVE关键字，要求变量初始化值为正数（仅支持编译期常量）：

#define POSITIVE(val) \
    _Static_assert(__builtin_constant_p(val) && val > 0, "Value must be positive"); \
    val

// 使用方式
int count = POSITIVE(10); // 正常编译
int error_count = POSITIVE(-5); // 编译错误：Value must be positive

示例3：强制函数必须被调用 #

通过__attribute__((error))实现，若函数未被调用则触发错误：

#define REQUIRED_CALL __attribute__((error("This function must be called before exit")))
void init_resource() REQUIRED_CALL;

int main() {
    // 未调用init_resource，编译错误
    return 0;
}

MSVC 实现方式 #

MSVC通过__declspec、_Check_return_等扩展，结合编译选项/WX（警告转错误）实现编译期检查，同时也兼容部分GCC属性。

示例1：强制返回值被使用 #

定义MUST_USE_RETURN关键字，若函数返回值未被使用则触发错误（需开启/WX）：

#define MUST_USE_RETURN _Check_return_

// 使用方式
MUST_USE_RETURN int get_config_value() {
    return 42;
}

int main() {
    get_config_value(); // 编译警告，开启/WX后转为错误
    return 0;
}

示例2：编译期常量检查 #

利用static_assert实现类似POSITIVE的关键字：

#define POSITIVE(val) \
    static_assert((val) > 0, "Variable must be initialized to positive value"); \
    val

// 使用方式
int threshold = POSITIVE(20); // 正常编译
int invalid_threshold = POSITIVE(-10); // 编译错误

示例3：参数非空检查 #

MSVC兼容GCC的__attribute__((nonnull))，直接使用即可：

#define NON_NULL __attribute__((nonnull))

void process(NON_NULL void* data) {
    // 逻辑不变
}

int main() {
    process(nullptr); // 编译错误
    return 0;
}

通用注意事项 #

• 所有实现均基于宏展开，需确保宏命名避免与现有标识符冲突；
• 编译期检查仅能处理编译期可确定的常量/逻辑，运行时动态值无法通过此类方式检查；
• 若需将警告强制转为错误，GCC/Clang需添加-Werror编译选项，MSVC需添加/WX。

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