如何在 C++11 中函数调用后将对象声明为无效？

Question

C++11 中是否有在函数返回后将函数的输入参数声明为无效的？

举一个简单的例子，假设我有一个矩形对象，其左下角坐标和右上角坐标。如果我通过对函数的非常量引用传递此矩形对象，则该函数可以自由地对矩形内存产生副作用，因为它认为合适。如果该函数需要对其进行缩放，而不是复制到新内存，只是想就地工作，我们如何在 C++11 中声明函数返回后，传入的矩形内容不再有效，因为它们可能已被调用的函数修改？

我不想修改矩形类，而是在函数调用的声明中采用某种方式来指示通过引用传入的内存在从函数返回时应被视为无效，并且如果调用者则让编译器给出错误尝试在函数调用返回后使用它。在 C++11 中有什么方法可以做到这一点吗？

Answer 1

你可以做到一半：

void function(rectangle&& x) // r-value reference
{
    // ...
}

rectangle r;

function(r); // error
function(std::move(r)); // okay, explicitly made into an rvalue

// now (by convention) r shouldn't be used, because it's been moved

也就是说，C++ 的类型系统不够强大，如果你再次使用它，不会给你一个错误。

不过我质疑你的设计。复印有什么问题吗？或者为什么不在函数名中明确指出要修改的参数？ （如std::swap。）

Answer 2

传递 Boost.Optional 作为对函数的引用，并让函数在结尾。

void MyFunction(boost::optional<Rectangle> &rectangle)
{
    // Do something with rectangle here
    rectangle.reset();
}

boost::optional<Rectangle> rectangle(Rectangle(0, 0, 0, 0));
// You can also set the optional rectangle to another value
rectangle = Rectangle(100, 100, 200, 200);
MyFunction(rectangle);
// Now rectangle won't be initialised and shouldn't be used
ASSERT(!rectangle.is_initialized());

话虽如此，这听起来有点像一个设计问题。您可以重新构建您的功能，这样就没有必要了吗？

Answer 3

在我们的示例中，缩放矩形如何使其无效？如果就地改变对象，它应该保持有效，否则你的操作没有用。

作为调用者，当通过非常量引用将对象传递给函数时，您应该始终预料到副作用。

一个对象真正变得无效的唯一原因是你离开它。在这种情况下，调用者必须使用 std::move 显式传递它，以便他们知道该对象随后无效。

Answer 4

我希望在函数调用的声明中采用某种方式来指示通过引用传入的内存在从函数返回时应被视为无效，并且如果调用者尝试使用，编译器会给出错误它在函数调用返回之后。

我认为你在这里混淆了一些事情。

首先，您不会将一团内存传递给函数，而是传递一个对象（类型为矩形）。 对象不仅仅是一团内存。
一个对象已运行其构造函数，将一块内存转换为一个对象，并将该对象设置为某种确定的状态。当对象死亡时，其析构函数将运行并再次将对象转变为内存块。在这两者之间，它是一个对象。
要使对象无效，您需要设置一个或多个标志，这些标志是对象状态和信号无效的一部分（IO 流执行此操作），或者您需要调用其析构函数 - （通常）您应该只间接执行此操作通过deleteing和使用new创建的对象，或者隐式地让它超出其范围（对于自动对象）。

这使得函数可以更改传递给它们的对象。
函数表明它可能通过其签名更改参数的可能性，并查看如何将对象传递给函数，您可以看到该函数是否可能会更改它。如果您需要调用函数并且需要传递一个对象，由于某种原因，该对象不能作为参数进行更改，而该函数表明它可能会更改，则需要传递一个copy< /em>那个物体，而不是真实的东西。

如果你想阻止一个对象在由于某种原因被用作函数参数后被使用，我在这里没有触及，你可以简单地将它放入一个小的封闭范围中：

void f()
{
  g();
  {
    rectangle rect(...);
    h(r);
  } // rect dies here
  // rect not accessible here
  g();
}