std::slice

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

数值库

常用数学函数
数学特殊函数(C++17)
数学常数(C++20)
基本线性代数算法(C++26)
数据并行类型（SIMD）(C++26)
浮点数环境(C++11)
复数
数值数组 (valarray)
伪随机数生成
位操纵(C++20)
饱和算术(C++26)
因数运算
gcd (C++17)	lcm (C++17)
插值
midpoint (C++20)	lerp (C++20)
泛型算术运算
iota (C++11) ranges::iota (C++23) accumulate inner_product adjacent_difference    partial_sum	reduce (C++17) transform_reduce (C++17) inclusive_scan (C++17) exclusive_scan (C++17) transform_inclusive_scan (C++17) transform_exclusive_scan (C++17)
C 风格带检查整数算术
ckd_add (C++26) ckd_sub (C++26)	ckd_mul (C++26)

 

std::valarray

成员函数
valarray::valarray valarray::~valarray valarray::operator= valarray::operator[] valarray::swap valarray::size valarray::resize valarray::sum valarray::min valarray::max valarray::shift valarray::cshift valarray::apply	valarray::operator+valarray::operator-valarray::operator~valarray::operator! valarray::operator+=valarray::operator-=valarray::operator*=valarray::operator/=valarray::operator%=valarray::operator&=valarray::operator|=valarray::operator^=valarray::operator<<=valarray::operator>>=
非成员函数
swap(std::valarray) (C++11) begin(std::valarray) (C++11)   end(std::valarray) (C++11) abs exp log log10 pow sqrt sin cos tan asin acos atan atan2 sinh cosh tanh	operator*operator/operator%operator+operator-operator^operator&operator|operator<<operator>>operator&&operator|| operator==operator!=operator<operator>operator<=operator>=
辅助类
slice_array gslice_array indirect_array	slice gslice mask_array
推导指引(C++17)

 

在标头 <valarray> 定义
class slice;

std::slice 是选择器类，标识 std::valarray 类似于 BLAS 切片的子集。一个 std::slice 类型的对象保有三个值：起始索引，跨度，及子集中的值的总数。std::slice 类型的对象可用作 valarray 的 operator[] 的索引。

成员函数

(构造函数)	构造一个切片 (公开成员函数)
startsizestride	返回切片的参数 (公开成员函数)

std::slice::slice

slice()	(1)
slice(std::size_t start, std::size_t size, std::size_t stride );	(2)
slice(const slice& other );	(3)

构造一个新切片。

1) 默认构造函数。等价于 slice(0, 0, 0)。此构造函数的存在只为允许构造数组的切片。

2) 以参数 start、size、stride 构造新切片。此切片将引用 size 个元素，每个处于位置：

start + 0 * stride

start + 1 * stride

...

start + (size - 1) * stride

3) 构造 other 的副本。

参数

start	-	首元素的位置
size	-	切片中的元素数
stride	-	切片中前后元素的相对位置
other	-	要复制的另一切片

std::slice::start, size, stride

std::size_t start()const;	(1)
std::size_t size()const;	(2)
std::size_t stride()const;	(3)

返回构造时传递给切片的参数——分别是起点、大小和跨度。

参数

（无）

返回值

切片的参数——分别是起点、大小和跨度。

复杂度

常数。

非成员函数

operator==(std::slice) (C++20)

检查两个切片是否相等 (函数)

operator==(std::slice)

friendbool operator==(const slice& lhs, const slice& rhs );		(C++20 起)

检查 lhs 与 rhs 的参数——起点、大小和跨度是否分别相等。

此函数对常规的无限定或有限定查找不可见，而只能在 std::slice 为实参的关联类时由实参依赖查找找到。

!= 运算符从 operator== 运算符合成。

参数

lhs, rhs

-

要比较的切片

返回值

lhs.start()== rhs.start()&& lhs.size()== rhs.size()&& lhs.stride()== rhs.stride()

示例

建立于 valarray 的带迹计算函数的极简化矩阵类。

运行此代码

#include <iostream>#include <valarray>   class Matrix {std::valarray<int> data;int dim;public: Matrix(int r, int c): data(r * c), dim(c){}int& operator()(int r, int c){return data[r * dim + c];}int trace()const{return data[std::slice(0, dim, dim +1)].sum();}};   int main(){ Matrix m(3, 3);int n =0;for(int r =0; r <3;++r)for(int c =0; c <3;++c) m(r, c)=++n;std::cout<<"矩阵 (1,2,3) (4,5,6) (7,8,9) 的迹是 "<< m.trace()<<'\n';}

输出：

矩阵 (1,2,3) (4,5,6) (7,8,9) 的迹是 15

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 543	C++98	不明确默认构造的切片是否可用	（作为空子集）可用

参阅

operator[]	获取/设置 valarray 数组元素、切片或掩码 (公开成员函数)
gslice	valarray 的通用切片：起始下标、长度集、步幅集 (类)
slice_array	到 valarray 应用切片后的子集的代理 (类模板)
mdspan (C++23)	多维非拥有数组视图 (类模板)