GCC链接器与C语言：如何触发指针最终为NULL的链接错误？

针对你提到的__attribute__((__nonnull__))无法检测间接求值为NULL的参数问题，这里有两种GCC专属的链接器级解决方案，能在链接阶段触发错误，实现更晚的静态断言：

方法一：利用__attribute__((error))触发链接错误 #

GCC的__attribute__((error("提示信息")))可以标记一个函数，只要该函数被引用（不管是否会被执行），链接器就会直接抛出指定错误并终止链接。我们可以结合这个特性，编写一个断言宏，当目标表达式求值为0时触发错误。

代码示例 #

#include <stdio.h>

// 定义带error属性的函数，引用即触发链接错误
void __null_param_error(void) __attribute__((error("参数最终求值为NULL，链接终止")));

// 断言宏：表达式为假时触发错误
#define ASSERT_NOT_NULL(expr) \
    do { \
        if (!(expr)) { \
            __null_param_error(); \
        } \
    } while(0)

void process_ptr(void *ptr) {
    ASSERT_NOT_NULL(ptr);
    printf("处理非空指针: %p\n", ptr);
}

// 测试用的间接NULL指针（链接阶段可确定值）
const void *const indirect_null = NULL;

int main() {
    // 直接传NULL会在编译阶段触发error（GCC可直接推断条件成立）
    // process_ptr(NULL);
    
    // 间接传NULL会在链接阶段触发错误
    process_ptr((void*)indirect_null);
    return 0;
}

原理说明 #

当表达式expr在编译阶段无法确定结果，但链接阶段最终求值为0时，__null_param_error()的调用代码会被保留，链接器发现这个函数未定义且带有error属性，就会直接抛出错误信息，阻止程序生成。

方法二：利用GNU ld的链接器脚本ASSERT()宏 #

GNU ld（GCC配套的链接器）支持在链接器脚本中使用ASSERT(条件, 错误信息)，可以断言某个全局符号的值符合要求。我们可以通过构造函数在程序启动前计算检查结果，再让链接器验证该结果。

代码示例 #

#include <stdio.h>

// 待检查的间接NULL指针
const void *const indirect_null = NULL;

// 全局符号，用于存储检查结果
int __param_check_result;

// GCC构造函数：程序启动前执行检查
void __check_param(void) __attribute__((constructor));
void __check_param(void) {
    // 判断指针是否为NULL，结果存入全局符号
    __param_check_result = (indirect_null == NULL) ? 1 : 0;
}

void process_ptr(void *ptr) {
    printf("处理指针: %p\n", ptr);
}

int main() {
    process_ptr((void*)indirect_null);
    return 0;
}

链接器脚本（比如check_null.ld） #

// 断言检查结果为0（即指针非空）
ASSERT(__param_check_result == 0, "参数最终求值为NULL，链接终止");

编译命令 #

gcc -o test test.c -T check_null.ld

原理说明 #

构造函数__check_param会在程序运行前执行，将检查结果写入全局符号__param_check_result，链接器脚本通过ASSERT宏验证该符号的值是否为0，若不为0则直接触发链接错误。

注意事项 #

• 两种方法均仅能检测链接阶段可确定值的表达式，无法处理运行时动态生成的NULL参数；
• __attribute__((error))要求GCC 4.3及以上版本，GNU ld的ASSERT宏是标准特性；
• 方法一的断言宏会在编译阶段对可直接推断的NULL参数触发错误，链接阶段处理间接情况，覆盖范围更广。

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