c++ - 如果不知道其参数类型，如何默认一个特殊的成员函数？

Question

考虑这种情况:

template<typename T>
struct A {
  A(A ???&) = default;
  A(A&&) { /* ... */ }
  T t;
};

我显式声明了一个移动构造函数，所以如果我想有一个非删除的复制构造函数，我需要显式声明一个复制构造函数。如果我想默认它，我怎样才能找到正确的参数类型？

A(A const&) = default; // or
A(A &) = default; // ?

我也很想知道你是否遇到过这样的场景在真实的程序中真的会弹出来。规范说

A function that is explicitly defaulted shall ...

• have the same declared function type (except for possibly differing ref-qualifiers and except that in the case of a copy constructor or copy assignment operator, the parameter type may be "reference to non-const T", where T is the name of the member function’s class) as if it had been implicitly declared,

如果隐式声明的复制构造函数具有 A & 类型，我希望我的复制构造函数显式默认为 A & 参数类型。但是，如果隐式声明的复制构造函数的参数类型为 A const&，我不想让我的显式默认复制构造函数的参数类型为 A &，因为这将禁止从 const 左值进行复制。

我不能同时声明两个版本，因为当隐式声明函数的参数类型为 A & 而我的显式默认声明的参数类型为 A const& 时，这将违反上述规则。据我所知，仅当隐式声明为 A const& 而显式声明为 A & 时才允许存在差异。

编辑:事实上，规范说甚至

If a function is explicitly defaulted on its first dec- laration, ...

• in the case of a copy constructor, move constructor, copy assignment operator, or move assignment operator, it shall have the same parameter type as if it had been implicitly declared.

所以我需要定义这些类外的(我认为这不会造成伤害，因为据我所知，唯一的区别是函数将变得不平凡，这在那些情况下很可能无论如何)

template<typename T>
struct A {
  A(A &);
  A(A const&);
  A(A&&) { /* ... */ }
  T t;
};

// valid!?
template<typename T> A<T>::A(A const&) = default;
template<typename T> A<T>::A(A &) = default;

好吧我发现如果显式声明函数是A const&是无效的，而隐式声明是A &:

A user-provided explicitly-defaulted function (i.e., explicitly defaulted after its first declaration) is defined at the point where it is explicitly defaulted; if such a function is implicitly defined as deleted, the program is ill-formed.

这符合 GCC 正在做的事情。现在，我怎样才能实现我最初的目标，即匹配隐式声明的构造函数的类型？

Answer 1

我想我没有看到问题...这与实现复制构造函数的常见情况有何不同？

如果您的复制构造函数不会修改参数(并且隐式定义的复制构造函数不会这样做)，那么该参数应该作为常量引用传递。对于不通过常量引用获取参数的复制构造函数，我知道的唯一用例是在 C++03 中你想实现 moving a la std::auto_ptr 这通常不是一个好主意。在 C++0x 中，移动将像使用移动构造函数一样实现。