c++ - 在 constexpr 中将 `void*` 转换为 `unsigned int`

Question

一个人不能做 reinterpret_cast<unsigned int>(void*)在一个 constexpr 中，所以我正在尝试类似的东西；

constexpr bool is_null(void* ptr)
{
    return ptr == nullptr;
}

constexpr unsigned int get_id(void* ptr)
{
    return is_null(ptr) ? 0 : 1 + get_id(static_cast<char*>(ptr) - 1);
}

但是我在编译时遇到错误，关于 ptr == nullptr 不是 constexpr，但只在递归调用中，如果我删除它则不会。 那么，如果可能的话，我该如何转换 void*到unsigned int在编译时？

Answer 1

在编译时地址常量表达式由“符号+加数”表示跟踪，例如:

int x[5];

constexpr int* p = x + 3 - 1;

假设int为4字节，p为symbol=x,addend=2*4=8字节。 p = x+8。

所以你只能对具有相同符号的地址常量表达式进行指针操作，因为在翻译过程中不知道它们的最终相对地址是什么。此外，加数可能不会超出对象，主要是为了安全，但也因为您可能最终为空。例如，假设 x 分配在十进制地址 4000 处。 x-1000 将是一个空指针表达式，但直到链接时才知道。

标准中的规则旨在支持这种表示。可以对它们执行的常量操作反射(reflect)了在这种表示下可用的信息。

另请注意，非静态存储持续时间变量的绝对地址在链接时甚至是未知的，自动存储持续时间对象具有随每个函数调用而不同的堆栈相对地址，而动态存储持续时间对象具有堆地址在运行时决定。