在控制结构中定义变量

Question

根据该标准，在控制结构中声明变量与在其他地方声明变量之间的行为有什么区别？我似乎找不到任何提及它的地方。

如果我指的不清楚，这里有一个示例：

if (std::shared_ptr<Object> obj = objWeakPtr.lock())

如您所见，我在 if 块中声明并初始化一个局部变量 obj。

另外，是否有任何技术原因说明为什么此语法在代替条件使用时没有给出任何特殊行为？例如，添加一组额外的括号会导致编译器错误；这也可以防止变量与其他条件链接。

// Extra brackets, won't compile.
if ((std::shared_ptr<Object> obj = objWeakPtr.lock()))

// If the above were valid, something like this could be desirable.
if ((std::shared_ptr<Object> obj = objWeakPtr.lock()) && obj->someCondition())

Answer 1

根据标准，在控制结构中声明变量与在其他地方声明变量之间的行为有什么区别？我似乎找不到任何提及它的地方。

控制结构引入内的声明与其他地方的声明没有什么不同。这就是为什么你找不到任何差异。

6.4/3 确实为此描述了一些特定的语义，但并不令人意外：

[n3290: 6.4/3]: 由条件中的声明引入的名称
（由 type-specifier-seq 或声明符引入
条件）的范围是从其声明点到结束
由条件控制的子语句。如果名字是
在由 控制的子语句的最外层块中重新声明
条件，重新声明名称的声明格式不正确。 [..]

---

此外，是否有任何技术原因可以解释为什么此语法在代替条件使用时没有给出任何特殊行为？例如，添加一组额外的括号会导致编译器错误；这也可以防止变量与其他条件链接。

if 条件可以包含声明性语句或表达式。任何表达式都不能包含声明性语句，因此也不能混合它们。

[n3290: 6.4/1]: 选择语句选择多个控制流之一。

选择语句：
    if（条件）语句
    if ( 条件 ) 语句 else 语句
    switch（条件）语句
健康）状况：
    表达
    属性说明符-seq[opt] decl-说明符-seq 声明符 = 初始化子句
    attribute-specifier-seq[opt] decl-specifier-seq 声明符花括号初始化列表

这一切都源于语法产生。

Answer 2

在条件中声明和初始化变量与在其他地方声明变量的区别在于，变量用作条件，并且位于 if 条件语句内的范围内，但超出该条件之外的范围。另外，在 if 条件内重新声明变量是不合法的。所以

bool x=something();
if(x) {
    bool y=x; // legal, x in scope
    int x=3; // legal
    ...
}
while (x=something_else()) // legal, x still in scope
...

但是：

if(bool x=something()) 
    bool y=x; // still legal
    int x=3; // not legal to redeclare
    ...
}
while (x=something_else()) // x declared in condition not in scope any more