在 C++ 中的 if 条件中使用赋值运算符

Question

如果我在 if 条件中使用赋值运算符或输出函数，为什么会将其视为“真”布尔值？

例如，我这样做

if(cout << "a"){cout << "c";}

或者

if(int x=7){cout << "c";}

甚至

if(6){cout << "c";}

输出确实是，在每种情况下都是 c 和 c 和 c。但是我们被告知，在 if 条件中，我们必须使用一个最终计算为布尔值的表达式，例如 1 或 0。

那么我缺少的信息是什么？

Answer 1

在每种情况下，表达式都被转换为布尔值。在您使用的三种情况下，此 bool 的值都是正确的（可能并不总是正确的）。

if(cout << "a"){cout << "c";}

在这种情况下，表达式：

   cout << "a"

如果找到operator<<(std::ostream&, char const*)定义你会发现返回值是std::ostream&。所以这将返回对cout 对象（std::ostream 类型）的引用。流对象有一个布尔转换方法explicit bool()，可用于将对象转换为布尔值。其结果取决于对象的状态（如果它处于不良（失败）状态，它将返回 false）。

因此，您在此处检查流上的最后一个操作是否有效。如果是，则打印“c”。这通常用于输入流以验证用户输入。

int val;
if (std::cin >> val) {
    if (std::cout << "A value was correctly read\n") {
        // Add response worked.
    }
    else
    {
        // Something bad happened to std::cout
    }
}

在其他情况下，您使用 int 变量。这些可以隐式转换为布尔值。如果该值不为零，则为真（否则为假）。

Answer 2

条件内的每个值（或布尔转换）都会给你真值，除非它等于 0。

(6)            returns => 6              != 0            => true
(x = 7)        returns => 7              != 0            => true
(cout << "aa") returns => ostream object. 
                          bool context so calls `ostream::operator bool()`
                          If the stream is in good state => true
                          Otherwise                      => false

在 c 中，您可以使用带有此声明的 NULL 看到它：

#define NULL 0

这意味着如果指针等于NULL，它将在布尔转换中返回 false。

布尔表达式的 C++ 示例：

int a, b, *c;
char d;
bool e;

a = 0;
b = 2;
c = nullptr;

e = a; // false
e = b - 2; // false
e = c; // false

c = &a;
e = c; // true
e = b; // true
e = a + 1; // true
e = b ^ b; // false

d = 0;
e = d; // false
d = '0';
e = d; // true

Answer 3

在您展示的所有情况下，您仍然提供了一个最终可转换为bool 的表达式。如果您查看std::cout 的<< operator 和类似的ostreams，您会看到它们都返回对同一流的引用。该流还定义了一个conversion to bool operator，它隐式在需要bool 的上下文中调用。如果流没有错误，此特定转换将返回 true。其次，int x=7是一个初始化，它返回x刚刚初始化的值； 7 在这种情况下。如果 C++ 中的 int 不为零，则可以将其隐式转换为 bool 为 true，这就是为什么在第二个和第三个示例中 7 和 6 都评估为 true。