我知道标题有点模棱两可,但从本质上讲,我想知道如果我们要为某些 STL 容器(即向量或列表(创建一个包装类,返回一些返回元素引用的方法的正确方法是什么。请考虑以下代码:
template<typename T>
class wrapper{
private:
std:vector<T> v;
public:
T back() const {
return v.back();
}
};
根据我的理解,back()
方法将返回对vector
中最后一个对象的常量左值引用,那么如果我们通过副本返回它会发生什么,我们会得到引用的副本还是对象的副本? 编译器是否可以作为返回值优化的一部分进行优化?
要保留引用类型,请使用decltype(auto)
:
decltype(auto) back() const {
return v.back();
}
一些返回元素引用的方法的正确方法是什么。
正确的方法取决于您的需求,即,您是否需要副本或左值引用/常量左值引用。就个人而言,我建议返回常量引用或引用。
vector::back()
方法将返回对向量中最后一个对象的常量左值引用
它返回一个引用/常量引用。如果您的vector
const
,则返回 const 引用,否则返回引用。参见:std::vector<T, Allocator>::back
那么如果我们通过副本返回它会发生什么,我们会得到一个引用或一个对象的副本吗?
只需创建引用对象的副本。
编译器是否可以作为返回值优化的一部分进行优化?
是的,从 cpp 对复制省略的首选项:
这取决于您是T
类型,编译器不需要这样做。从 cpp 首选项上复制省略:
在以下情况下,即使复制/移动(自 C++11(构造函数和析构函数具有可观察到的副作用,编译器也允许,但不要求省略类对象的复制和移动(自 C++11 起(构造。这些对象直接构造到存储中,否则它们将被复制/移动到存储中。这是一个优化:即使它发生并且没有调用复制/移动(自 C++11 以来(构造函数,它仍然必须存在且可访问(好像根本没有发生优化(,否则程序格式不正确:
- 在对象的初始化中,当源对象是无名称临时对象并且与目标对象属于相同的类类型(忽略 cv-限定(时。当无名临时是 return 语句的操作数时,这种复制省略的变体称为 RVO,即"返回值优化"。
此外,如果通过复制返回,则T
的复制构造函数可能会抛出,并且您可能有一个无效的对象。
在问题中wrapper
类的const
成员函数中,向量v
const
。它是back()
成员函数返回std::vector<T>::const_reference
。如果未const
向量,则返回类型将为std::vector<T>::reference
。
在这种情况下,这两种类型等价于const T&
和T&
,但是vector
的适当包装器也可以允许向量使用的分配器,并且返回类型可能不是那么简单。通过template <class T, class Alloc> wrapper { ... std::vector<T, Alloc> v; ... }
分配器Alloc
可以提供自己的引用类型;为了匹配这些类型,正确的名称来自std::vector
中的 typedefs。