Spans, string_view, and Ranges - Four View types (C++17 to C++23) - C++ Stories
本文为摘录(或转载),侵删,原文为: https://www.cppstories.com/2023/four-views-in-cpp23/
在本博客文章中,我们将探讨现代 C++中引入的几种不同的视图/引用类型。第一种是 C++17 中新增的 string_view
。
C++20 引入了 std::span
和 ranges
视图。最后新增的是来自 C++23 的 std::mdspan
。
1 String View (C++17) SVG Image
std::string_view
是一个指向字符串的非拥有引用。- 提供了一种面向对象的方式来表示字符串和子字符串,
- 不需要复制或分配 std::string 带来的开销。
- 特别适用于需要临时视图的场景,大大提高了字符串处理代码的性能和表达能力。
- 视图对象不允许修改原始字符串中的字符。
以下是一个基本的示例:
|
|
1.1 string_view
vs const string &
std::string const&
requires the data to be in a std::string, and not a raw C array, a
char const*
returned by a C API, a std::vector<char>
produced by some deserialization
engine, etc. The avoided format conversion avoids copying bytes, and (if the string is
longer than the SBO¹ for the particular std::string
implementation) avoids a memory
allocation.
std::string const&
要求数据在 std::string
中,而不是在原始的 C 数组,由 C API 返回的
char const*=,由某些反序列化引擎产生的 =std::vector<char>
等中。避免格式转换可以避免字节的复制,并且(如果字符串比特定的 std::string
实现的 SBO¹更长)还可以避免内存分配。
2 Span (C++20)
C++20 将 string_view
进一步通过 std::span
类型实现更通用。它作为对一系列连续对象的非拥有、轻量级引用。它在需要处理数组或向量的一部分而无需拥有数据所有权的函数中特别有用。
|
|
3 Range Views (C++20)
C++20 中与 std::span
同时引入的 Range Views(区间视图)为处理数据范围提供了高级可组合的抽象。Range Views 实现了惰性求值 (lazy evaluation),这允许操作(如过滤、转换或连接等)以可读、声明式的方式表示,而不会立即求值,通常会提高性能表现。
|
|
4 MD Span (C++23)
C++23 中的 std::mdspan
类型是一个多维度的 span。它将 span 的概念扩展到多维数据,这在数值和科学计算中非常有价值。在这个 C++标准中,我们还对[]运算符进行了更改,我们可以编写
mat[i,j]来访问其元素(请参见多维子脚本运算符-P2128 中的更改)。
下面,您可以找到一个简单的 mdspan 示例,用于测试给定矩阵是否是方形和单位矩阵:
|
|
5 Comparing Spans to Range Views
尽管 std::span 和 Range Views 都是用于操作序列的现代机制,但它们有着不同的目的。
std::span
旨在提供对连续对象序列的直接、有限和安全的访问。它简单而又强大,适用于需要访问数据块但不需要所有权语义的功能。Range Views
旨在操作和组合序列。它们不要求数据是连续的,允许在范围上进行延迟、串联的操作,这可以导致更富有表现力的代码和潜在的更好性能。
实质上,std::span 是一种用于安全的、连续数据访问的简单工具,而 Range Views 则提供了一种更高级的、功能性的容器操作方法。
6 Summary
在这篇短文中,我们回顾了最近的 C++ 修订,并了解了视图类型背后的一些基础知识。在 C++ 中,我们有三种不同的引用/视图对象类型:
- C++17 引入了
string_view
,用于高效的字符串处理,只能进行只读访问, - C++20 中的
std::span
允许处理数据序列并公开读或写访问权限, - C++23 中的
std::mdspan
是 span 的多维版本。
此外,作为最后一种类型,我提到了范围视图,它是对集合的高级抽象。虽然其他三种需要连续序列,但范围视图更加灵活。
下面是一个简单的表格,总结了上述内容:

- (*) 尽管你可以通过视图进行写入,但这可能不是最佳方法。
- (*) mdspan 还提供了一些关于内存布局的额外选项,并且还可以使用步长参数。
在这个文本中,我还展示了一些基本的示例,但请记住这只是冰山一角,并且请继续关注更多关于这些方便类型的文章。