今天给同事复查代码时,我发现了一件奇怪的事情。他把他的新代码用大括号括起来,就像这样:
Constructor::Constructor()
{
// Existing code
{
// New code: do some new fancy stuff here
}
// Existing code
}
如果有结果的话,结果会是什么?这样做的原因是什么?这种习惯从何而来?
环境是嵌入式设备。有很多遗留的C代码被包裹在c++的外衣里。有很多C转向c++的开发人员。
在这部分代码中没有临界区。我只在这部分代码中看到过。没有完成主要的内存分配,只是设置了一些标志,并进行了一些操作。
用大括号括起来的代码是这样的:
{
bool isInit;
(void)isStillInInitMode(&isInit);
if (isInit) {
return isInit;
}
}
(不要介意代码,只要坚持花括号…,))
在花括号之后,还有更多的位处理、状态检查和基本信号。
我和他谈过,他的动机是限制变量的范围,命名冲突,以及其他一些我不能真正理解的东西。
从我的角度来看,这似乎很奇怪,我认为花括号不应该出现在我们的代码中。在所有关于为什么可以用花括号包围代码的回答中,我看到了一些很好的例子,但你不应该把代码分成方法吗?
fsdf
在编辑中查看代码后,我可以说不必要的括号可能(在原始编码器的视图中)100%清楚在if/then期间会发生什么,即使现在只有一行,以后可能会有更多行,括号保证你不会犯错误。
{
bool isInit;
(void)isStillInInitMode(&isInit);
if (isInit) {
return isInit;
}
return -1;
}
如果以上是原来的,删除“extras”将导致:
{
bool isInit;
(void)isStillInInitMode(&isInit);
if (isInit)
return isInit;
return -1;
}
然后,稍后的修改可能是这样的:
{
bool isInit;
(void)isStillInInitMode(&isInit);
if (isInit)
CallSomethingNewHere();
return isInit;
return -1;
}
当然,这会导致一个问题,因为现在isInit总是会被返回,不管if/then。
这与if(或while等)块相同,只是没有if。换句话说,您在没有引入控制结构的情况下引入了作用域。
这种“显式范围”通常在以下情况下有用:
避免名称冲突。
范围使用。
来控制何时调用析构函数。
示例1:
{
auto my_variable = ... ;
// ...
}
// ...
{
auto my_variable = ... ;
// ...
}
如果my_variable恰好是两个彼此隔离使用的不同变量的一个特别好的名称,那么显式作用域允许您避免为了避免名称冲突而发明一个新名称。
这也允许您避免意外地使用my_variable超出其预期范围。
示例2:
namespace N1 { class A { }; }
namespace N2 { class A { }; }
void foo() {
{
using namespace N1;
A a; // N1::A.
// ...
}
{
using namespace N2;
A a; // N2::A.
// ...
}
}
在实际情况下,这是非常有用的,这可能表明代码已经成熟到可以重构了,但是如果您真的需要它,它的机制是存在的。
示例3:
{
MyRaiiClass guard1 = ...;
// ...
{
MyRaiiClass guard2 = ...;
// ...
} // ~MyRaiiClass for guard2 called.
// ...
} // ~MyRaiiClass for guard1 called.
当释放资源的需求没有自然地“落”到函数或控制结构的边界时,这对于RAII来说很重要。