我可以在不结束块的情况下终止 C++ 变量的范围吗？

Question

我想做类似以下模式的事情：

T* const pT = findT();
// Do some work
T* const pT2 = new T( *pT );
// Mutate the object pT2 refers to
delete pT;
// At this point, I want the scope of pT to end.
// I do not want the scope of pT2 to end

我知道我可以通过结束一个块来结束作用域，但它最终是这样的：

T* pT2 = 0;
{
    T* const pT = findT();
    // Do some work
    pT2 = new T( *pT );
    // Mutate the object pT2 refers to
    delete pT;
}

这会导致 pT2 失去它的 const 限定符，因为我必须在它声明后分配给它。

我想要我的蛋糕，我也想吃它，我想要明确的常量和正确的范围！

除了结束块之外，还有什么方法可以结束变量的作用域？如果没有，是否有计划扩展标准以支持这一点？

Answer 1

您可以使用 lambda：

T* const pT = []() -> T* {
    T* pT;
    // Do whatever the hell you want with pT
    return pT;
}();

Answer 2

除了结束块之外，还有什么方法可以结束变量的作用域？

没有。局部变量的作用域从它被声明时开始，到它被声明的块的末尾结束。

如果没有，是否有计划扩展标准以支持这一点？

这听起来是个非常糟糕的主意：这会给有关范围、名称查找和对象生命周期的规则增加不必要的复杂性。

Answer 3

您所说的“块”是 C++ 中“范围”的另一个名称。这是在 C++ 中定义作用域的方式。

这里的另一个选项是使用std::auto_ptr，它会在分配时转移所有权。旧指针不会清理，但实际上会为零。

Answer 4

没有。但是，您可以使用以下成语来美化您的示例（好吧，这是主观的，但是嘿）：

T* p1 = 0;

if (T* const p2 = findT()) {
  p1 = new T( *p2 );
  delete p2;
}

Answer 5

您可以使用std::optional（或boost::optional）对对象生命周期进行细粒度控制。

这是一个例子：

std::optional< ClassA > a(std::in_place, 1); // ClassA constructor is called
std::optional< ClassB > b(std::in_place, 2); // ClassB constructor is called
a.reset(); // ClassA destructor is called
b.reset(); // ClassB destructor is called

不幸的是，变量的名字还在，它的内存还在分配中。

还有一个技巧可以销毁字符串并释放其内存（变量本身仍然存在）：

std::string my_str;
std::string{}.swap(my_str); // likely to free the memory

它是由实现定义的，因此它实际上可能不会释放内存，但它很可能会这样做。