c++ - 右值引用和构造函数参数

Question

让我们考虑一个简单的类

template< typename T >
class Wrapper {
public:
  // Constructors?
private:
  T wrapped;
};

它应该使用什么构造函数才能有效？

---

在 C++0x 之前，会有一个构造函数接受:

1. 常量引用 ( T const& ) - 如果类型 T是“重”，
2. 或值 ( T ) - 如果类型 T是“光”。

判断是否输入T是“重”还是“轻”并不容易。

可以假设只有内置类型(整数/ float /...)是“轻量级”的。但这并不完全正确，因为我们自己的 Wrapper<int>很可能也应被视为“轻型”类型。

类似 boost::call_traits 的库通过允许类型创建者将类型标记为“light”(通过提供适当的 call_traits 特化)，提供一些方法来克服这个困难。否则将被视为“重”。似乎可以接受。

---

但 C++0x 使情况变得更糟。因为现在您还有右值引用 ( T&& )，它允许有效地获取(一些)“重”对象。

因此，现在您必须在以下各项中做出选择:

1. 只是常量引用 ( T const& ) - 如果类型 T是“沉重的”并且不支持移动语义(因为要么没有 - 就像大型 POD - 或者没有被写入并且你对此没有影响)，
2. 常量引用 ( T const& ) 和右值引用 ( T&& ) - 如果类型 T很“重”并且确实支持移动语义，
3. 只是值 ( T ) - 如果类型 T是“轻型”或者如果它是“重型”但支持移动语义(即使复制了它也不会打扰使用，否则我们将不得不从 T const& 自己复制......)。

仍然不容易分辨哪些类型是“重”，哪些是“轻”(如前所述)。但是现在您也无法判断是否键入 T是否支持移动语义(或者你是？)。

---

一旦您包装多个值，这会变得更加烦人，因为可能的构造函数重载数量呈指数级增长。

这个问题有什么解决办法吗？

我虽然考虑了一些用于转发(完美转发)参数的模板构造函数，但我不确定这是否会按预期工作。而且它还允许提供不同类型的值，这些值将被转发到 T构造函数。这可能被视为一项功能，但并非必须如此。

Answer 1

相反，由于通用引用，C++11 更容易:

template <typename T> struct Wrapper
{
    T value;

    template <typename U> Wrapper(U && u)
    : value(std::forward<U>(u))
    {  }
};

作为一个额外的好处，你应该添加一个默认的第二个参数，它只在 T 时存在。可从 U 构建，以免使您的类本身看起来可从不匹配的类型构造。也让它变可变:

template <typename ...Args>
Wrapper(Args &&... args,
        typename std::enable_if<std::is_constructible<T, Args...>::value, int>::type = 0)
: value(std::forward<Args>(args)...)
{  }

确保#include <utility>对于 forward和 #include <type_traits>对于特征。