在构造函数初始化中重用临时对象

Question

在类的构造函数中初始化类的成员时，如何在多个点使用同一个临时变量？

示例：

// for arbitrary T1, T2, T3
T2 foo(T1 const&);
T3 bar(T1 const&);

struct A {
  T2 const t2;
  T3 const t3;
  A() : t2(foo(T1())), t3(bar(T1())) {}
};

这是一个非常简化的示例，但 t2 和 t3 都是根据 T1 的实例构造的。现在，如果我希望该对象在两次初始化中完全相同*，我就会遇到问题，因为它没有名称。您知道如何在不使用 C++11 构造函数调用构造函数功能也不添加调用 A(T1() 的虚拟类的情况下解决此问题吗？ ）？

---

*像这样：

  A(T1 const& t1) : t2(foo(t1)), t3(bar(t1)) {}

---

动机：如果 T1() 实际上是类似于 new T() 的东西，其中对象的地址很重要，那么我必须谈论t2 和 t3 中的对象相同。

Answer 1

在构造函数初始化中重用临时参数的一种肮脏方法是添加虚拟参数。我并不热衷于这种技术，但我知道这是唯一给临时命名的技术。我倾向于重新设计我的课程来避免这种情况。

struct A
{
    A( T1 temporary_ = T1() )
      : t2( foo( temporary_ ) )
      , t3( bar( temporary_ ) )

    T2 const t2;
    T3 const t3;
};

Answer 2

最近，常量引用可能默认为临时的（我忘记这是 C++03 还是 C++11 的补充）：（

A::A(const T & t = T()) : a(t), b(t) { }
//              ^^^^^^

也许声明该构造函数显式，以防万一。）

Answer 3

我会通过创建工厂方法来解决这个问题

// for arbitrary T1, T2, T3
T2 foo(T1 const&);
T3 bar(T1 const&);

struct A {
    T2 const t2;
    T3 const t3;
    static A createA() { return A(T1()); }

  private:
     A(const T1& t) : t2(foo(t)), t3(bar(t)) {}
};

Answer 4

我会不惜一切代价避免这种情况，但如果我不得不，我会添加一个额外的成员：

struct A {
  T1 temp_;
  T2 const t2;
  T3 const t3;
  A() : temp_(), t2(foo(temp_)), t3(bar(temp_)) {}
};