如何允许c++类(不仅仅是POD C结构)的复制省略构造

考虑以下代码:

#include <iostream>
#include <type_traits>
struct A
{
  A() {}
  A(const A&) { std::cout << "Copy" << std::endl; }
  A(A&&) { std::cout << "Move" << std::endl; }
};
template <class T>
struct B
{
  T x;
};
#define MAKE_B(x) B<decltype(x)>{ x }
template <class T>
B<T> make_b(T&& x)
{
  return B<T> { std::forward<T>(x) };
}
int main()
{
  std::cout << "Macro make b" << std::endl;
  auto b1 = MAKE_B( A() );
  std::cout << "Non-macro make b" << std::endl;
  auto b2 = make_b( A() );
}

输出如下内容:

宏make b
非宏make b

移动

注意b1的构造不需要移动，但b2的构造需要移动。

我还需要类型演绎，因为现实生活中使用的A可能是一个复杂的类型，很难显式地写出来。我还需要能够嵌套调用(即make_c(make_b(A())))。

这样的函数可能吗?

进一步的想法:

N3290 Final c++ 0x draft page 284:

拷贝/移动操作的省略，称为复制省略，是允许的以下情况:

当一个临时类对象具有未绑定到引用 (12.2)会被复制/移动到一个类吗对象具有相同的cv-不限定输入后，可进行复制/移动操作通过构造临时的来省略对象直接装入目标的省略了复制/移动

不幸的是，我们似乎不能省略函数参数到函数结果(包括构造函数)的拷贝(和移动)，因为这些临时值要么绑定到引用(通过引用传递时)，要么不再是临时值(通过值传递时)。在创建复合对象时，似乎省略所有副本的唯一方法是将其创建为聚合。然而，聚合有一定的限制，例如要求所有成员都是公共的，并且没有用户定义的构造函数。

我不认为c++允许对POD C结构的聚合构造进行优化，但不允许对非POD c++类的构造进行相同的优化是有意义的。

是否有任何方法允许复制/移动省略非聚合结构?

我的回答:

此构造允许省略非pod类型的副本。我从下面David Rodríguez的回答中得到了这个想法。它需要c++ 11 lambda函数。在下面的示例中，我将make_b更改为两个参数，以使事情不那么琐碎。没有调用任何移动或复制构造函数。

#include <iostream>
#include <type_traits>
struct A
{
  A() {}
  A(const A&) { std::cout << "Copy" << std::endl; }
  A(A&&) { std::cout << "Move" << std::endl; }
};
template <class T>
class B
{
public:
  template <class LAMBDA1, class LAMBDA2>
  B(const LAMBDA1& f1, const LAMBDA2& f2) : x1(f1()), x2(f2()) 
  { 
    std::cout 
    << "I'm a non-trivial, therefore not a POD.n" 
    << "I also have private data members, so definitely not a POD!n";
  }
private:
  T x1;
  T x2;
};
#define DELAY(x) [&]{ return x; }
#define MAKE_B(x1, x2) make_b(DELAY(x1), DELAY(x2))
template <class LAMBDA1, class LAMBDA2>
auto make_b(const LAMBDA1& f1, const LAMBDA2& f2) -> B<decltype(f1())>
{
  return B<decltype(f1())>( f1, f2 );
}
int main()
{
  auto b1 = MAKE_B( A(), A() );
}

如果有人知道如何更整齐地实现这一点，我很有兴趣看看。

先前的讨论:

这在某种程度上是由对以下问题的回答而来的:

可以从临时创建复合对象被优化掉吗?
避免在表达式模板中使用#define
构建复合对象时消除不必要的副本