c++ - 为什么空字符串文字被视为真？

Question

为什么这段代码中的条件是true？

int main ( )
{

   if ("")
      cout << "hello"; // executes!

   return 0;
}

Answer 1

如果条件的计算结果不是 0^*，则该条件被视为“真”。 "" 是一个包含单个 \0 字符的 const char 数组。为了将此作为条件进行评估，编译器将数组“衰减”为 const char*。由于 const char[1] 不在地址 0 处，因此指针非零且满足条件。

---

^* 更准确地说，如果它在被隐式转换为 bool 后计算结果为 true。对于简单类型，这相当于非零，但对于类类型，您必须考虑是否定义了 operator bool() 以及它的作用。

C++ 11 草案规范中的第 4.12 节:

4.12 Boolean conversions [conv.bool]

A prvalue of arithmetic, unscoped enumeration, pointer, or pointer to member type can beconverted to a prvalue of type bool. A zero value, null pointer value,or null member pointer value is converted to false; any other value isconverted to true. A prvalue of type std::nullptr_t can be convertedto a prvalue of type bool; the resulting value is false.