链接时如何取消副本？

我正在创建一个链接类型的类，例如下面的小示例。似乎在链接成员函数时，将调用复制构造函数。有没有办法摆脱复制构造函数调用？在下面的玩具示例中，很明显，我只在处理临时工，因此“应该”（也许不是按标准，而是从逻辑上）是一种省略。复制省略的第二个最佳选择是调用move构造函数，但事实并非如此。

class test_class {
    private:
    int i = 5;
    public:
    test_class(int i) : i(i) {}
    test_class(const test_class& t) {
        i = t.i;
        std::cout << "Copy constructor"<< std::endl;
    }
    test_class(test_class&& t) {
        i = t.i;
        std::cout << "Move constructor"<< std::endl;
    }
    auto& increment(){
        i++;
        return *this;
    }
};
int main()
{
    //test_class a{7};
    //does not call copy constructor
    auto b = test_class{7};
    //calls copy constructor
    auto b2 = test_class{7}.increment();
    return 0;
}

编辑：一些澄清。1.这不取决于优化级别。2.在我的实际代码中，我有比ints更复杂（例如，分配堆）的对象

1. 部分答案（它没有b2就位构造，但是将副本构造转变为移动构造）：您可以increment在关联实例的值类别上重载成员函数：

   auto& increment() & {
       i++;
       return *this;
   }
   
   auto&& increment() && {
       i++;
      return std::move(*this);
   }

   这引起

   auto b2 = test_class{7}.increment();

   移动是b2因为test_class{7}是临时的，所以调用的&&重载test_class::increment。

2. 对于真正的就地构造（即甚至不是移动构造），您可以将所有特殊和非特殊成员函数转换为constexpr版本。那你就可以

   constexpr auto b2 = test_class{7}.increment();

   而您既不需要搬家，也不需要复制结构。显然，对于简单的test_class，但对于不允许constexpr成员函数的更一般的情况，这是可行的。

基本上，分配参考到一个值，需要调用一个构造，即，复制或移动。这与复制删除不同，后者在函数的两面都知道是相同的不同对象。还一个参考可指代共享对象很像一个指针。

最简单的方法可能是使副本构造函数得到完全优化。值设置已由编译器优化，只是std::cout无法优化。

test_class(const test_class& t) = default;

（或只删除copy和move构造函数）

现场例子

由于您的问题基本上与引用有关，因此，如果您要停止以这种方式进行复制，则解决方案可能不会返回对对象的引用。

  void increment();
};

auto b = test_class{7};//does not call copy constructor
b.increment();//does not call copy constructor

第三种方法只是首先依赖复制省略 -但这需要将操作重写或封装到一个函数中，从而完全避免了该问题（我知道这可能不是您想要的，但可能是其他用户的解决方案）：

auto b2 = []{test_class tmp{7}; tmp.increment().increment().increment(); return tmp;}(); //<-- b2 becomes 10 - copy constructor not called

第四种方法是使用移动，而是显式调用

auto b2 = std::move(test_class{7}.increment());

或如看到这个答案。