如何在C语言中判断指针表示是否为‘线性’？优先编译时检测

C语言标准并未保证指针转换为整数后，指针算术的行为与整数算术的行为一致——以下断言无法确保在所有实现中必然成立：

char a[2]; // 确保p + 1是有效的内存地址
char *p = a;
assert(p + 1 == (char *)((uintptr_t)p + 1));

int x;
int *p = &x;
assert((intptr_t)p % sizeof(int) == 0);

多数主流系统中这些断言是成立的：指针的整数表示末尾位会体现对齐属性，指针添加偏移量的操作等价于其整数表示加上“偏移量×指针类型大小”的值。但由于标准无强制要求，我们可以通过以下方式判断特定实现是否满足该假设（优先编译时判断）：

编译时判断方案 #

• 利用编译器/平台预定义宏
  主流编译器和平台会提供标识内存模型的宏，可直接用来判断：

  • GCC/Clang环境下，__FLAT_MEMORY_MODEL__宏会在平坦内存模型（指针整数表示直接对应虚拟地址偏移）下被定义，此时指针算术与整数算术行为一致。
  • Windows平台（MSVC）下，_WIN32或_WIN64宏定义时，系统采用平坦内存模型，满足上述假设。
  • POSIX兼容系统中，_POSIX_VERSION宏存在时，绝大多数实现符合该假设（小众嵌入式POSIX实现除外）。

• 自定义编译断言
  结合预处理器条件编译，在不满足条件时直接触发编译错误或警告：

  // 强制要求平坦内存模型
  #ifndef __FLAT_MEMORY_MODEL__
  #error "当前平台不保证指针转整数后的算术一致性，请切换至支持平坦内存模型的实现"
  #endif
  
  // 针对常见兼容架构做验证，其他架构给出警告
  #if !(defined(__x86_64__) || defined(_M_X64) || defined(__i386__) || defined(_M_IX86))
  #warning "当前架构未验证指针-整数算术一致性，建议测试后使用"
  #endif
  

运行时 fallback 方案 #

若编译时无法完全确定，可在程序启动时执行验证逻辑，不符合假设时切换替代实现：

#include <assert.h>
#include <stdint.h>

void verify_pointer_int_consistency(void) {
    char a[2];
    char *p = a;
    assert(p + 1 == (char *)((uintptr_t)p + 1));

    int x;
    int *px = &x;
    assert((intptr_t)px % sizeof(int) == 0);
}

int main() {
    verify_pointer_int_consistency();
    // 验证通过后执行主逻辑，否则可在此处分支到替代实现
    return 0;
}

注意事项 #

• 上述宏判断无法覆盖所有小众平台（如采用分段内存模型的老旧系统），这类场景需要单独验证。
• 确保目标实现支持C99及以后标准（标准要求uintptr_t和intptr_t类型存在）。

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