c – 常数,但仅适用于此范围的其余部分

我有时会遇到这样的情况,即变量是const是有意义的,但仅适用于其范围的后半部分.例如,块的第一部分可能设置值,如果很明显我们已经“完成”设置该变量,则其余部分的可读性可能会提高 –

void foo() {
  int n;
  // Do things that result in initialization of n

  freeze n;  // Imaginary construct that declares "n" const for rest of scope

  // Later steps that depend on 'n' but do not change it
}

是否存在捕获此模式的C语言？当然,块的后半部分可以移动到一个单独的功能,但是可以在不移动任何东西的情况下完成吗？

解决方法

而不是将不可变部分包装为lambda,如何将初始化部分包装成lambda并将其作为const int获取？然后就没有机会改变可变的int n.

void foo() {
  const int n = []() { ;
      // Do things that result in initialization of n
      return initialized_n;
  }();    

  // Later steps that depend on 'n' but do not change it
}