推导 std::vector::back(） 的返回类型

Deducing return type of std::vector::back()

本文关键字：返回类型 back std vector 推导      更新时间：2023-10-16

我知道标题有点模棱两可，但从本质上讲，我想知道如果我们要为某些 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()方法将返回对向量中最后一个对象的常量左值引用

它返回一个引用/常量引用。如果您的vectorconst，则返回 const 引用，否则返回引用。参见：std::vector<T, Allocator>::back

那么如果我们通过副本返回它会发生什么，我们会得到一个引用或一个对象的副本吗？

只需创建引用对象的副本。

编译器是否可以作为返回值优化的一部分进行优化？

是的，从 cpp 对复制省略的首选项：

这取决于您是T类型，编译器不需要这样做。从 cpp 首选项上复制省略：

在以下情况下，即使复制/移动(自 C++11(构造函数和析构函数具有可观察到的副作用，编译器也允许，但不要求省略类对象的复制和移动(自 C++11 起(构造。这些对象直接构造到存储中，否则它们将被复制/移动到存储中。这是一个优化：即使它发生并且没有调用复制/移动(自 C++11 以来(构造函数，它仍然必须存在且可访问(好像根本没有发生优化(，否则程序格式不正确：

  • 在对象的初始化中，当源对象是无名称临时对象并且与目标对象属于相同的类类型(忽略 cv-限定(时。当无名临时是 return 语句的操作数时，这种复制省略的变体称为 RVO，即"返回值优化"。

此外，如果通过复制返回，则T的复制构造函数可能会抛出，并且您可能有一个无效的对象。

在问题中wrapper类的const成员函数中，向量vconst。它是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。

相关文章：