在这种情况下是值还是引用语义？答案

【问题标题】：Value or reference semantics in this situation?在这种情况下是值还是引用语义？
【发布时间】：2010-12-12 12:05:15
【问题描述】：

对于在某些情况下是选择值还是引用语义，我没有感觉（但我希望如此）。有什么我可以应用的经验法则吗？

我通常为除内置数据类型（char、int、bool、double 等）以外的所有内容选择引用。但是，有时不可能从函数返回引用，所以我不得不使用指针。下面的函数就是一个例子：

Foo bar()
{
    Foo f;
    f.do_stuff();
    return f;
}

我会使用 boost::shared_ptr 来存储 Foo 对象，但这使得使用该对象非常难看。我目前正在研究一个返回一个几乎不会超过 10 个元素的双端队列的函数（这是我的假设，我无法确定）。按值返回可以吗？我的考虑是否属于过早优化？

【问题讨论】：

【解决方案1】：

按值返回很好，因为大多数编译器会优化额外的副本（这称为返回值优化，或者在您的情况下称为返回值优化）。

但惯用的方式是

void bar(Foo& out)
{
   out.do_stuff();
}

【讨论】：

【解决方案2】：

在任何情况下，不要返回任何通过引用或指针分配在堆栈上的东西（即局部变量，例如这里的 f）。

【讨论】：

【解决方案3】：

你总是可以这样做的：

Foo& bar(Foo& f)
{
    f.do_stuff();
    return f;
}

并像这样使用它：

Foo f;
bar(f);

这里的缺点是您不能保证bar() 会收到Foo 对象的新副本。如果这很重要，您必须将其修改为：

Foo& bar(Foo& f)
{
    f = Foo();
    f.do_stuff();
    return f;
}

但是，如果它确实获得了新副本，则会进行不必要的初始化。或者，您可以在doSomething() 之前检查f，如果不符合预期则抛出异常。

【讨论】：

【解决方案4】：

当您想要维护任何变量或对象的状态时使用引用（即，在被调用例程对变量/对象进行了一些处理之后，将相同的变量重新返回给调用例程）以及在传递的情况下大数据到函数，否则会有大容量数据的双重副本。

同样在某些需要防止按位复制对象的情况下，在这种情况下，我们将类的复制构造函数设为私有。

【讨论】：

【解决方案5】：

我的正常规则是：

始终使用按值传递。

简单吧？参考很烂。他们不应该被介绍。
如果您有“数据结构之类的值”，请传递它。如果您有“类似数据结构的对象”，请传递一个指针（引用语义，按值传递）。

通常很清楚类型是什么：值或对象。如果你可以改变它，它就是一个对象。

【讨论】：