char*转uintptr_t编译报错，指针算术运算应转为何种类型？

错误原因 #

你的代码核心问题不是指针转换的类型选择，而是试图用编译期断言（static_assert）检查运行时才能确定的局部变量地址：

• 局部变量c、i等的内存地址是程序运行时分配的，属于运行时值，无法在编译期确定。
• C++标准明确禁止在常量表达式中使用reinterpret_cast将指针转换为算术类型（uintptr_t），除非指针指向的是编译期已知地址的对象（比如全局/静态变量）。

指针算术运算的正确类型 #

进行指针与整数的转换和算术运算时，标准推荐使用<cstdint>中定义的：

• uintptr_t：无符号整数类型，保证能容纳任何指针转换后的数值，适合用于地址的无符号算术运算。
• intptr_t：有符号整数类型，同样能容纳指针转换后的数值，适合需要有符号运算的场景。
  这两个类型是专门为指针与整数的互转设计的，是标准规定的正确选择。

修正方案 #

根据你需要的检查时机（编译期/运行时），分别调整代码：

1. 编译期对齐检查（仅适用于全局/静态对象） #

如果要在编译期验证对齐，只能用于地址已知的对象（全局变量、静态变量、constexpr对象）：

#include <cstddef>
#include <cstdint>

#define CHECK_ALIGN_COMPILE(ptr, alignment)                       \
  do{                                                             \
    static_assert(reinterpret_cast<uintptr_t>(ptr) % alignment == 0, \
                  "ptr must be aligned at compile time");         \
  }while(0)  

static char static_c;
int global_i;

int main() {
  CHECK_ALIGN_COMPILE(&static_c, sizeof(static_c));
  CHECK_ALIGN_COMPILE(&global_i, sizeof(global_i));
  return 0;
}

2. 运行时对齐检查（适用于所有指针） #

对于局部变量这类运行时分配地址的对象，改用运行时断言assert：

#include <cstddef>
#include <cstdint>
#include <cassert>

#define CHECK_ALIGN_RUNTIME(ptr, alignment)                       \
  do{                                                             \
    const uintptr_t addr = reinterpret_cast<uintptr_t>(ptr);      \
    assert(addr % alignment == 0 && "ptr must be aligned");       \
  }while(0)  

int main() {
  char c;
  int i;
  long l;
  float f;

  CHECK_ALIGN_RUNTIME(&c, sizeof(c));
  CHECK_ALIGN_RUNTIME(&i, sizeof(i));
  CHECK_ALIGN_RUNTIME(&l, sizeof(l));
  CHECK_ALIGN_RUNTIME(&f, sizeof(f));
  return 0;
}

补充说明 #

如果你使用C++20及以上版本，可以考虑用std::is_aligned（来自<memory>）来简化对齐检查，无需手动转换指针类型：

#include <memory>
#include <cassert>

// 运行时检查
assert(std::is_aligned(&c, alignof(c)));

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