为什么这个条件会导致seg错误？

Question

这是什么原因？我认为如果指针为null，则不会评估其余条件。

// doesn't work:
char *ptr = somefunction();

if (ptr && ptr[0] == '1' || ptr[0] == 't')
  // ...



// does work:
char *ptr = somefunction();
if (ptr)
    if (ptr[0] == '1' || ptr[0] == 't')
        // ...

Answer 1

ptr && ptr[0] == '1' || ptr[0] == 't'

表示：

• if ptr && ptr[0] == '1'（false，因为ptr为空且ptr[0] == '1'未获得评估）
• 或ptr[0] == 't'（繁荣）

使用：

ptr && (ptr[0] == '1' || ptr[0] == 't')

代替。

Answer 2

&&有higher precedence而不是||所以代码相当于：

if ((ptr && ptr[0] == '1') || ptr[0] == 't')

如果第一个(...&&..)失败，则评估||的后半部分。

Answer 3

您的评估顺序不正确。这将有效：

if (ptr && (ptr[0] == '1' || ptr[0] == 't'))

基本上，只要您的代码中同时包含&&和||，就需要在其中加上括号以确保它符合您的意思。

Answer 4

你有Null ptr＆amp;＆amp; dereferenced Null ptr导致seg错误。

C使您可以选择if（ptr == NULL）之类的语句; 如果在检测到空指针时始终将条件评估为false，则此类语句将无效。