成员变量的类型应该取决于构造函数参数的类型

Question

我尝试如下定义一个类A：

template< typename T >
class A
{
  public:
    A( T elem )
      : _elem( elem )
    {}

  private:
    TYPE _elem; // "TYPE" should be either "T" in case "elem" is an r-value or "T&" in case "elem" is an l-value.
};

在这里，我希望 _elem 具有类型 T 以防构造函数的参数 elem 是右值或类型 T& 以防 elem 是左值。

有人知道如何实现吗？

Answer 1

在我们得到template argument deduction for class templates 之前，您需要为此使用辅助函数：

template <typename T>
auto make_a (T&& elem) {
    return A<T>{std::forward<T>(elem)};
}

这使用转发引用来推断参数是左值还是右值，并通过完美转发参数来构造A。以int为例，如果传的是左值，T就是int&，如果传的是右值，T就是int。

您的A 模板应如下所示：

template< typename T >
class A
{
  public:
    A( T elem )
      : _elem( elem )
    {}

  private:
    T _elem;
};

如果您只想允许从工厂方法进行构造，您可以将make_a 设为好友并将构造函数设为私有。