c – 返回复制的对象

template<class Iterator>
A simple_return(Iterator it)
{
    return *it;
}

A a = simple_return(my_it);

编译器可以轻松执行RVO,所以这样做：

template<class Iterator>
A simple_return(Iterator it)
{
    A tmp = *it;
    return tmp;
}

但是,我已经看到第二种方式有时优于前者,例如在STL算法实现(gcc)中,我想知道它是否以任何方式影响RVO(如std :: move(* it)或std： ：move(tmp)确实),或者有任何其他原因,例如,关于转换或其他任何原因.

例如,reserver_iterator,而不是：

reference operator*() const
{
     return *--Iterator(current);
}

用途：

reference operator*() const
{
     Iterator tmp = current;
     return *--tmp;
}

我问这个因为,为了实现像operator这样的重载,我广泛使用了这个模式：

friend A operator+(const A& a,const A& b)
{ return A(a) += b; }

代替：

friend A operator+(const A& a,const A& b)
{
    A tmp(a);
    return tmp += b;
}

哪个不是特别易读,但使它长3行(这两个句子在一行中会很难看).