0

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

如果我所指的内容不清楚，这里有一个例子：

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

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

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

// 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())
4

2 回答 2

3

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

控制结构介绍中的声明与其他地方的声明没有什么不同。这就是为什么你找不到任何差异的原因。

6.4/3 确实为此描述了一些特定的语义，但并不奇怪：

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

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

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

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

selection-statement:
    if ( condition ) statement
    if ( condition ) statement else statement
    switch ( condition ) statement
condition:
    expression
    attribute-specifier-seq[opt] decl-specifier-seq declarator = initializer-clause
    attribute-specifier-seq[opt] decl-specifier-seq declarator braced-init-list

这一切都是从语法产生而来的。

于 2011-09-24T18:53:33.133 回答
0

在条件中声明和初始化变量与在其他地方声明变量的区别在于，该变量用作条件，并且在 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
于 2011-09-24T19:14:20.577 回答