在 if 条件内声明变量有什么问题？

Question

也许我已经生疏了（最近一直在用Python编写）。

为什么这不能编译？

if ( (int i=f()) == 0)

如果没有 () 周围的 int i=f() 我得到另一个更合理的错误 i is not being boolean。但这就是为什么我首先想要括号！

我的猜测是，使用括号将其放入表达式中，并且表达式中不允许使用声明语句。是这样吗？如果是的话，这是 C++ 的语法怪癖之一吗？

顺便说一句，我实际上是想这样做：

if ( (Mymap::iterator it = m.find(name)) != m.end())
    return it->second;

Answer 1

您可以在 C++ 中的 if 语句中声明变量，但它仅限于直接初始化，并且需要转换为布尔值：

if (int i = f()) { ... }

C++ 没有任何可以描述为“声明表达式”，即声明变量的[子]表达式。

实际上，我只是查了一下标准中的条款，根据 6.4 [stmt.select] 第 1 段，两种形式的初始化都支持：

...
condition:
   expression
   attribute-specifier-seqopt decl-specifier-seq declarator = initializer-clause
   attribute-specifier-seqopt decl-specifier-seq declarator braced-init-list
...

也就是说，也可以写：

if (int i{f()}) { ... }

显然，这仅适用于 C++2011因为C++2003没有大括号初始化。

Answer 2

范围有问题。

考虑以下代码：

if ((int a = foo1()) || (int b = foo2()))
{
    bar(b);
}

b 是否在块内声明？如果 foo1() 返回 true 会怎样？

Answer 3

您可以在 if 语句（或在 for 或 while 中）声明变量，但只能在外括号块中声明，并且它需要能够转换为 bool。

您的猜测基本上是正确的，这是不允许的，因为

(int i = 42;)

不是带有初始化的有效声明。

你需要额外的一行，

Mymap::iterator it;
if ( (it = m.find(name)) != m.end())
    return it->second;

但最好写成

Mymap::iterator it = m.find(name);
if ( it != m.end() ) 
    return it->second;

You can put the return line after the if,如果你真的想要这行回来，至少对我来说这不会不会损害可读性，但其他人可能会认为不同。

如果您真的非常想声明一个迭代器并在 if 条件中将其用作 bool ，您可以这样做，

if ( struct { int it; operator bool() { return it != m.end; } } s = { m.find(name) } )
    return s.it->second;

但我认为这有害;-)

Answer 4

确实，你不会写，

if ( (int i=f()) == 0)

但你可以完美地写

if ( int i=f())

所以你可以使用 && 运算符在一个语句中执行这两个操作，例如

if ( int i=1 && (i=f()) == 0)

i 应该初始化为0 以外的任何值，如果您的编译器应用从左到右的计算，则它应该是第一个条件。

但不幸的是，正如第二个示例所要求的那样，这不适用于迭代器。