Question

考虑以下结构模板：

template<typename T>
struct X
{
    X(T t) : t(std::forward<T>(t)) {}

    T t;
};

其中T将是左值引用（例如，const int&）或常规值（例如，int）。我们的想法是在从左值构造X时使用左值引用，在从右值构造时使用常规值。

因此，定义了以下工厂函数来创建具有以下属性的X实例：

template<typename T>
X<const T&>
CreateX(const T& val)
{
    return X<const T&>(val);
}

template<typename T>
typename std::enable_if<std::is_rvalue_reference<T&&>::value, X<T>>::type
CreateX(T&& val)
{
    return X<T>(std::move(val));
}

到目前为止，这么好。如果我们现在考虑结构模板Y：

template<typename T, typename U>
struct Y
{
    Y(T t, U u) : t(std::forward<T>(t)), u(std::forward<T>(u)) {}

    T t;
    U u;
};

我们决定对X做出与以前相同的类比，我们最终得到了这四个工厂函数：

template<typename T, typename U>
Y<const T&, const U&>
CreateY(const T& t, const U& u)
{
    return Y<const T&, const T&>(t, u);
}

template<typename T, typename U>
typename std::enable_if<std::is_rvalue_reference<T&&>::value, Y<T, const U&>>::type
CreateY(T&& t, const U& u)
{
    return Y<T, const U&>(std::forward<T>(t), u);
}

template<typename T, typename U>
typename std::enable_if<std::is_rvalue_reference<U&&>::value, Y<const T&, U>>::type
CreateY(const T& t, U&& u)
{
    return Y<const T&, U>(t, std::forward<T>(u));
}

template<typename T, typename U>
typename std::enable_if<std::is_rvalue_reference<T&&>::value and std::is_rvalue_reference<U&&>::value, Y<T, U>>::type
CreateY(T&& t, U&& u)
{
    return Y<T, U>(std::forward<T>(t), std::forward<T>(u));
}

是否有其他方法可以获得相同的结果，或许更简洁？幸运的是，我的应用程序不需要两个以上的模板数据成员，但是需要其他几个类，例如Y，每个类需要四个工厂函数。

Answer 1

从lvalues构造时会产生非const lvalue-references，我希望它们是const lvalue-references

您可以编写一个简单的特征来转换左值引用：

template<class T>
struct transform_parameter{ using type = T; };

template<class T>
struct transform_parameter<T&>{ using type = T const&; };

template<class T>
using TransformParameter = typename transform_parameter<T>::type;

并将其应用于所有相关模板参数：

template<class T>
X<TransformParameter<T>> make_X(T&& v){
  return {std::forward<T>(v)};
}

我还在这里使用了braced-init-list（又名统一初始化）来避免我两次写入类型。

数据成员为lvalue-reference或rvalue-copies

1 个答案: