具有右值引用成员的泛型复制构造函数

Question

我正在处理一个简单的包装器模板类，它在调用特殊成员函数时记录日志。这些函数不能默认，因为它们执行其他与日志记录相关的任务。

template <typename T>
struct logger {
    logger(T const& value) : value_(value) { /*...log...*/ }
    logger(T&& value) : value_(std::move(value)) { /*...log...*/ }
    logger(logger const& other) : value_(other.value_) { /*...log...*/ }
    logger(logger&& other) : value_(std::move(other.value_)) { /*...log...*/ }

    T value_;
};

不幸的是，当包装类型是右值引用时，复制构造函数编译失败，错误消息如下：

错误：无法将“int”左值绑定到“int”

原因是隐式复制构造函数对于右值引用成员的行为有些不同：

[class.copy 12.8/15]非联合类X的隐式定义的复制/移动构造函数执行其基和成员的成员级复制/移动。[...] 设x为构造函数的参数，或者，对于移动构造函数，为引用该参数的x值。以适合其类型的方式复制/移动每个基本或非静态数据成员：

• 如果成员是数组，则每个元素都直接初始化为x的相应子对象
• 如果成员m具有右值引用类型T

这就引出了我的问题：如何编写一个行为类似于隐式定义的复制构造函数的泛型复制构造函数，即使在使用右值引用作为成员时也是如此。

对于这种特殊情况，我可以为右值引用添加额外的专门化。然而，我正在寻找一种通用的解决方案，它不局限于单个成员，也不引入代码重复。




Answer 1

您可以为右值引用编写专门化：

template<typename T>
struct logger<T&&>{
  ...
};

但实际上，我不认为你希望logger::_value成为右值引用...

编辑

虽然我觉得这是一个不错的解决方案，因为它是所有右值引用的通用解决方案，但这里有另一个没有文字专门化的选项：

template<typename TT>
struct logger{
  typedef typename rvalue_remover<TT>::value T;
  //your previous code here
};

其中，rvalue\u remover如下所示：

template<typename T>struct rvalue_remover{typedef T value;};
template<typename T>struct rvalue_remover<T&&>{typedef T value;};

我很确定这已经在c 11中定义了，但是我没有在这里安装它，所以我不记得它的名字了。

编辑2

啊!！找到了！它被称为std:：remove\u reference

Answer 2

这里有龙。

logger(logger const& other) : value_(other.value_)

表达式other.value_< /code>是类型T const的左值，例如int

>

如果T==int

如果T==int

如果T==int，则不需要强制转换。

对于定义为：

logger(logger const& other) : value_(static_cast<T>(other.value_)) {/*...*/}

适用于第三种情况，这被定义为引入临时文件，可能导致额外的复制/移动，尽管我认为可以

一个不依赖复制/移动省略的解决方案是引入一个奇怪的\u cast，它在任何情况下都会产生所需的类型：

#include <type_traits>

template<class T, class U>
typename std::enable_if<std::is_reference<T>{}, T>::type
weird_cast(U& p)
{
    return static_cast<T>(p);
}

template<class T, class U>
typename std::enable_if<not std::is_reference<T>{}, T const&>::type
weird_cast(U const& p)
{
    return p;
}

int main()
{
    int           o = 42;
    int &        lo = o;
    int &&       ro = std::move(o);
    int const   lco = o;

    int&& r = weird_cast<int&&>(ro);
    int&  l = weird_cast<int& >(lo);
    int   d = weird_cast<int  >(lco);
}

这类似于std:：forward，但也支持“转发”非引用类型。

龙在哪里？

[class.copy]/11指定：

如果X类的默认复制/移动构造函数具有以下特性，则该构造函数被定义为已删除：

• [...]
• 对于复制构造函数，右值引用类型的非静态数据成员
• [...]

rvalue引用通常绑定到xvalue或prvalue，即绑定到引用“接近其生命周期结束”的对象的表达式。由于生命周期不会通过函数边界得到扩展，所以允许这样的“复制”很容易出错。