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

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

当前回答

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

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

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,同时可以通过使用额外的大括号定义其作用域。这可以确保即使额外大括号外的代码可以由多个线程同时执行,但大括号内的代码一次只能由一个线程执行。

其他回答

那么,为什么要使用“不必要的”大括号呢?

为了“确定范围”(如上所述) 使代码在某种程度上更具可读性(很像使用#pragma,或定义可以可视化的“sections”) 因为你可以。就这么简单。

附注:这不是糟糕的代码;这是百分百有效的。所以,这是一个(不寻常的)品味问题。

在多线程编程中将作用域锁与临界区结合使用时,这非常有用。在花括号中初始化的作用域锁(通常是第一个命令)将在块的末尾超出作用域,因此其他线程将能够再次运行。

其他人已经正确地讨论了范围、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,同时可以通过使用额外的大括号定义其作用域。这可以确保即使额外大括号外的代码可以由多个线程同时执行,但大括号内的代码一次只能由一个线程执行。

我同意ruakh。如果你想了解C语言中各种范围级别的解释,可以看看这篇文章:

C应用程序中不同级别的作用域

一般来说,如果您只想使用一个临时变量,而不必在函数调用的生命周期内跟踪该变量,那么使用“块作用域”是很有帮助的。此外,有些人使用它是为了方便在多个位置使用相同的变量名,尽管这通常不是一个好主意。例如:

int unusedInt = 1;

int main(void) {
  int k;

  for(k = 0; k<10; k++) {
    int returnValue = myFunction(k);
    printf("returnValue (int) is: %d (k=%d)",returnValue,k);
  }

  for(k = 0; k<100; k++) {
    char returnValue = myCharacterFunction(k);
    printf("returnValue (char) is: %c  (k=%d)",returnValue,k);
  }

  return 0;
}

在这个特殊的例子中,我定义了两次returnValue,但由于它只是在块范围内,而不是函数范围内(例如,函数范围将在int main(void)之后声明returnValue),因此我不会得到任何编译器错误,因为每个块都不知道声明的returnValue的临时实例。

我不能说这在一般情况下是一个好主意(例如,您可能不应该从一个块到另一个块重复重用变量名),但一般来说,它节省了时间,并使您不必在整个函数中管理returnValue的值。

最后,请注意我的代码示例中使用的变量的范围:

int:  unusedInt:   File and global scope (if this were a static int, it would only be file scope)
int:  k:           Function scope
int:  returnValue: Block scope
char: returnValue: Block scope