双倍为真/假

Question

Bjarne 建议使用 if 中的条件作为范围限制。特别是这个例子。

if ( double d = fd()  ) {
   // d in scope here...
}

我很好奇如何从真/假的意义上解释声明。

1. 这是一个声明
2. 这是一个双重的。

编辑： 它在 6.3.2.1 C++ 编程语言中作为推荐。

Edit2：templatetypedefs 对指针的建议，特别是动态转换，可能会给 Bjarnes 建议提供洞察力。

SteveJessop 告诉我： - 条件不是表达式，它也可以是声明，使用的值是正在评估的值。

Answer 1

您看到的代码是在if 语句中声明变量的专用技术。您通常会看到这样的内容：

if (T* ptr = function()) {
    /* ptr is non-NULL, do something with it here */
} else {
    /* ptr is NULL, and moreover is out of scope and can't be used here. */
}

一个特别常见的情况是在这里使用dynamic_cast：

if (Derived* dPtr = dynamic_cast<Derived*>(basePtr)) {
     /* basePtr really points at a Derived, so use dPtr as a pointer to it. */
} else {
     /* basePtr doesn't point at a Derived, but we can't use dPtr here anyway. */
}

在您的情况下发生的情况是您在 if 语句中声明了 double。 C++ 自动将任何非零值解释为true，并将任何零值解释为false。这段代码的意思是“声明d并设置它等于fd()。如果它不为零，则执行if语句。”

也就是说，这是一个非常糟糕的主意，因为doubles 会受到各种舍入错误的影响，在大多数情况下它们无法为 0。这段代码几乎肯定会执行if 语句的主体，除非function 表现得非常好。

希望这会有所帮助！

Answer 2

在 Stroustrup 给出的示例中，if 块中的代码将一个值除以 d：

if (double d = prim(true)) {
    left /= d;
    break;
}

除以 0 是未定义的行为，因此 在这种情况下在除之前测试 d 与值 0.0 是有意义的。出于 Stroustrup 所述的原因，将定义置于条件中是一种方便的方法。

您的代码没有说明为什么值 0.0 会特别，因此不清楚为什么有人会将 d 的定义与该测试结合起来。仅当您定义的类型的“假”值需要特殊处理时，才使用 Stroustrup 模式。否则就这样做：

{
    double d = fd();
    // d in scope here...
}

Answer 3

它既是声明也是双重的。这相当于

{
    double d = fd();
    if (d) {
    }
}

但是，这种模式值得用一些额外的小语法来简化，因为它相当有用且很常见。此外，一旦开始添加 else 子句，转换就不太明显了，因为 d 超出了它们的范围。

此外，正如其他人所指出的，它通常很有用，但与 0 相比，FP 类型在特定方面存在一些问题。

Answer 4

if 语句基于赋值表达式中分配给变量的值。如果 double 计算结果为 0.0 以外的任何值，它将在内部运行代码。

请注意，您不应该将双精度数与零进行比较，但根据我的经验，它通常有效。

基本上，您不应该这样做。

该主题的其他贡献者发现该表达式用于排除零情况以避免被零除。这绝对是聪明的，就我而言，这种情况使这种用法合法化（但请考虑此类代码可能导致的混乱）。