可以在ref限定符上明确默认/删除函数重载吗？

Question

介绍

• Ref限定符:一种消除隐含对象的rl-valuness的方法.作为一个简单的例子,请参加以下课程

  class example
  {
    int member;
  public:
    // ...
    int&       value() &;
    //                 ^
    int&&      value() &&;
    //                 ^^
    int const& value() const&;
    //                      ^
  };
  

  使用这个C++ 11特性(标^有的语法),允许我们控制value()将被调用的版本

  • 左值
  • 临时工
  • 常数值

  实际上,参考资格适用于classe *this

• 默认/删除函数:指定特殊成员函数,使其具有编译器生成(默认)定义或不可访问(删除).举个例子吧

  struct type {
    type(const type&)            = delete;
    type& operator=(const type&) = delete;
  };
  

  上面的结构实现了非可复制的非常清晰的语义

问题

• 结合这些功能是否可行/有效？
• 哪些是明确被禁止或不好的风格？
• 这种组合是否有任何用例/模式？(例如,快速简便地创建基于rl值的条件接口)

Answer 1

是的，但是没有多大用处，因为构造函数和析构函数不能被引用限定。

您可以引用限定赋值运算符：

struct S {
  S &operator=(const S &) && = default;
};

int main() {
  S s;
  S() = s;  // OK
  s = S();  // error - LHS must be an rvalue
}

然而，我有点无法想象这会有什么用处。