通过“myPtr>0”检查空指针

Question

在一些遗留代码中，我遇到了以下空指针检查。

if( myPtr > 0 ) {
...
}

通过此if检查检查空指针是否存在技术风险？

Answer 1

正如其他人所说，比较是无效的，因此行为取决于编译器。许多OSES认为指针是有符号的，因为它们将地址空间分成半个，而负的部分属于内核，所以编译器可能会为<代码> MyPTR发出有符号的比较。

有几个案例我见过编译器认为指针是有符号的，但是我现在找不到它们。但是一个值得注意的例子是视窗中的POINTER_SIGNED和POINTER_UNSIGNED宏，它们解析为__sptr和__uptr

另见

• 比较指针到负值
• 必须在所有平台的用户空间中分配内存地址为正
• C中的指针比较是有符号的还是无符号的？

Answer 2

0是一个空常量。所以这相当于ptr

问题是<代码>

例如，假设px是一个指向数组的指针，它当前指向第一个元素

利用这种知识，编译器可以理解重构和重写循环边界，这反过来又可以让编译器生成更快的代码。

但这也意味着px

简而言之，要非常小心指针比较。

同时，null和任何其他指针之间的相等性得到了很好的定义。

另外，std::更少的保证行为良好，并同意

在这种情况下，正确的重写是：

if(myPtr!=nullptr)

如果myPtr不是指针，或

if(myPtr)

如果myPtr是一种有符号的数字类型，那么你就有可能改变行为。我会先做。

Answer 3

在C语言中，指针和整数之间的有序比较格式不正确（即使整数是空指针常量，如本例中的情况）。风险在于编译器被允许并且确实拒绝编译此类代码。

您可以将其重写为以下任一项：

if(myPtr != nullptr)
if(myPtr)