c++ - 从普通指针中减去空指针？

Question

我遇到了这个功能：

    int foo(int *p)
    {
      return p - (int*)0;
    }

有人可以解释这是做什么的吗？它似乎返回一个整数。减去空指针背后的逻辑是什么？还有评论说这是一个纯粹的可重入函数。

Answer 1

它具有未定义的行为，因为指针算术仅在数组中定义。

在实践中，在用数字地址表示指针的机器上，具有足够大的整数，以及由地址零表示的空指针，它将字节地址转换为字地址。也就是说，它给出了int空指针的地址和地址之间的大小内存块的数量p。

还有评论说这是一个纯粹的可重入函数。

“纯”意味着它没有副作用，结果只取决于它的输入。“重入”意味着在它已经在进行中时调用是安全的（例如，从中断处理程序中）——它没有内部静态数据。

Answer 2

减去两个指针会返回一个类型为 的整数ptrdiff_t，即两个指针之间的偏移量，单位为sizeof(int)。是否可以有效地转换int为依赖于实现。减去空指针会导致未定义的行为。

这似乎是将指针转换为整数的一种复杂且不可靠的方法。更好的方法是将它转换为intptr_t并除以sizeof(int).

Answer 3

我猜想编写该函数的人认为他们比实际更聪明。它没有做一个简单的演员不会做得更好的事情。

至于“纯”和“可重入”……

纯函数是唯一影响返回值的函数。它不会导致状态变化。

可重入函数是线程安全的。它可以被另一个线程中断和调用，而不会改变原始调用的效果。

所有纯函数都是可重入的。

它是一个纯函数这一事实是显而易见的，它的可重入性也是如此。评论和函数本身一样毫无意义。