初始化引用时避免按值复制

Question

我有一个函数接口：

struct iFace {
  virtual Type& getType() = 0;
}

并且想法是像这样检索它：

iFace& iface = getIface();
Type& type = iface.getType();

但是，我偶尔会犯一个错误并写道：

Type type = iface.getType();

它按值复制，这​​是我想避免的。然而，当我犯这样的错误时，编译器不会发出警告，因为它的语法合法。我想为此触发编译时错误，问题我的替代方案是什么？

我考虑过声明一个复制构造函数，但不在任何地方定义它，如果使用它，会导致链接时错误，但随后我将无法在任何情况下使用复制构造函数，这小于理想的

Answer 1

将复制构造函数和赋值运算符置于“private”下，使 iFace 不可复制。然后提供显式的 Copy 方法。

class Type {
public:
  virtual Copy(Type& dest) = 0;
private:
  Type (const Type &) {assert(false)}
  Type & operator=(const Type &)  {assert(false)}
}

您还可以使用 boost noncopyable 来执行相同的操作（其如上所述实施）。

因此，如果您希望复制代码，您会这样做

Type& type = iface.getType();
Type typeCpy;
type.Copy(typeCpy);

作为旁白 - 我想补充一点，如果您出于性能问题而这样做，您确定优化器不会为您删除临时副本吗？

Answer 2

在这里返回一个指针似乎是合理的，但是如果您担心所有权混乱，您可以返回引用周围的包装器。

struct Class {
    struct Ref {
        Ref(Class& c_) : c(c_) { }
        Class Clone() { return c; }
        // overload -> to provide access to c
      private:
        Class& c;
    };
};

原始类可以照常复制，但您必须显式地进行引用。我对这个想法并不热衷（我认为一个没有意识到复制语义如何工作的用户比一个不小心持有其中一个太长时间的用户更重要）但理论上它是可行的。