今天给同事复查代码时,我发现了一件奇怪的事情。他把他的新代码用大括号括起来,就像这样:

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

当前回答

这与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来说很重要。

其他回答

另一个使用的例子是与ui相关的类,尤其是Qt。

例如,你有一些复杂的UI和很多小部件,每个小部件都有自己的间距、布局等。不是命名为space1, space2, spaceBetween, layout1,…对于只存在于2 - 3行代码中的变量,可以避免使用非描述性的名称。

好吧,有些人可能会说你应该把它分成方法,但是创建40个不可重用的方法看起来不太好——所以我决定在它们之前添加大括号和注释,所以它看起来像逻辑块。

例子:

// Start video button
{
   <Here goes the code >
}
// Stop video button
{
   <...>
}
// Status label
{
   <...>
}

我不能说这是最佳实践,但对于遗留代码来说是一个很好的实践。

当很多人把他们自己的组件添加到UI中,一些方法变得非常庞大时,就会出现这些问题,但在类中创建40个一次性使用的方法已经搞砸了,这是不现实的。

这有时很好,因为它给了你一个新的作用域,在那里你可以更“干净”地声明新的(自动的)变量。

在c++中,这可能不是那么重要,因为你可以在任何地方引入新变量,但也许这个习惯来自C,直到C99才可以这样做。:)

由于c++具有析构函数,因此在作用域退出时自动释放资源(文件、互斥对象等)也很方便,这可以使事情更清晰。这意味着您可以在更短的时间内保留一些共享资源,而不是在方法开始时获取它。

其他人已经正确地讨论了范围、RAII等可能性,但既然您提到了嵌入式环境,还有一个潜在的原因:

也许开发人员不相信这个编译器的寄存器分配,或者希望通过限制作用域内自动变量的数量来显式控制堆栈帧的大小。

下面是isInit可能会在堆栈上:

{
   bool isInit;
   (void)isStillInInitMode(&isInit);
   if (isInit) {
     return isInit;
   }
}

如果去掉花括号,isInit的空间可能会在堆栈框架中保留,即使它可能被重用:如果有许多具有类似本地化范围的自动变量,并且堆栈大小有限,这可能是一个问题。

类似地,如果你的变量被分配给了一个寄存器,超出作用域应该会强烈提示这个寄存器现在可以重用了。您必须查看使用和不使用大括号生成的汇编程序,以确定这是否有真正的区别(并对其进行分析—或观察堆栈溢出—以查看这种差异是否真的重要)。

额外的大括号用于定义在大括号内声明的变量的范围。这样做是为了在变量超出作用域时调用析构函数。在析构函数中,你可以释放一个互斥锁(或任何其他资源),以便其他人可以获取它。

在我的生产代码中,我写了这样的东西:

void f()
{
   // Some code - MULTIPLE threads can execute this code at the same time

   {
       scoped_lock lock(mutex); // Critical section starts here

       // Critical section code
       // EXACTLY ONE thread can execute this code at a time

   } // The mutex is automatically released here

  // Other code  - MULTIPLE threads can execute this code at the same time
}

如您所见,通过这种方式,您可以在函数中使用scoped_lock,同时可以通过使用额外的大括号定义其作用域。这可以确保即使额外大括号外的代码可以由多个线程同时执行,但大括号内的代码一次只能由一个线程执行。

在编辑中查看代码后,我可以说不必要的括号可能(在原始编码器的视图中)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。