std::slice

 

C++

编译器支持

独立和宿主

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

数值库

常见数学函数
数学特殊函数 (C++17)
数学常数 (C++20)
基本线性代数算法 (C++26)
浮点环境 (C++11)
复数
数值数组 (valarray)
伪随机数生成
因子运算
gcd (C++17)	lcm (C++17)
插值
中点 (C++20)	lerp (C++20)
饱和算术
add_sat (C++26) sub_sat (C++26) saturate_cast (C++26)	mul_sat (C++26) div_sat (C++26)
通用数值运算
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)
位运算
has_single_bit (C++20)     bit_cast (C++20) bit_ceil (C++20) bit_floor (C++20) bit_width (C++20) rotl (C++20) rotr (C++20)	popcount (C++20) countl_zero (C++20) countl_one (C++20) countr_zero (C++20) countr_one (C++20) byteswap (C++23) endian (C++20)

 

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 是一个选择器类，它类似于 BLAS 切片，用于标识 std::valarray 的子集。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)

返回构造切片时传递的参数 - 分别为 start、size 和 stride。

参数

(无)

返回值

切片的参数 - 分别为 start、size 和 stride。

复杂度

常数。

非成员函数

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

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

operator==(std::slice)

friend bool operator==( const slice& lhs, const slice& rhs );		(自 C++20 起)

检查 lhs 和 rhs 的参数 - start、size 和 stride 是否分别相等。

此函数对普通的 非限定 或 限定查找 不可見，只能在 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 << "Trace of the matrix (1,2,3) (4,5,6) (7,8,9) is " << m.trace() << '\n';
}

输出

Trace of the matrix (1,2,3) (4,5,6) (7,8,9) is 15

缺陷报告

以下行为变更缺陷报告被追溯应用于之前发布的 C++ 标准。

DR	应用于	已发布的行为	正确的行为
LWG 543	C++98	不清楚默认构造的切片是否可用	它可用（作为空子集）

参见

operator[]	获取/设置 valarray 元素、切片或掩码 (公有成员函数)
gslice	valarray 的广义切片：起始索引、长度集、步长集 (类)
slice_array	在应用切片后，对 valarray 子集的代理 (类模板)