std::fill

定义于头文件 `<algorithm>`
	(1)
template< class ForwardIt, class T > void fill( ForwardIt first, ForwardIt last, const T& value );			(constexpr since C++20) (until C++26)
template< class ForwardIt, class T = typename std::iterator_traits <ForwardIt>::value_type > constexpr void fill( ForwardIt first, ForwardIt last, const T& value );			(since C++26)
		(2)
template< class ExecutionPolicy, class ForwardIt, class T > void fill( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last, const T& value );				(since C++17) (until C++26)
template< class ExecutionPolicy, class ForwardIt, class T = typename std::iterator_traits <ForwardIt>::value_type > void fill( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last, const T& value );				(since C++26)

1) 将给定的 value 赋值给范围 [first, last) 内的所有元素。

2) 与 (1) 相同，但根据 policy 执行。

仅当满足以下所有条件时，此重载才参与重载决议

std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> 为 true。	(until C++20)
std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> 为 true。	(since C++20)

如果 value 不可写入到 first，则程序是非良构的。

[编辑] 参数

first, last	-	定义要修改元素范围的迭代器对
value	-	要赋值的值
policy	-	要使用的执行策略
类型要求
- `ForwardIt` 必须满足 LegacyForwardIterator 的要求。

[编辑] 复杂度

恰好 std::distance(first, last) 次赋值。

[编辑] 异常

带有名为 ExecutionPolicy 的模板参数的重载按如下方式报告错误

如果作为算法一部分调用的函数的执行抛出异常，并且 ExecutionPolicy 是标准策略之一，则调用 std::terminate。对于任何其他 ExecutionPolicy，行为是实现定义的。
如果算法无法分配内存，则抛出 std::bad_alloc。

[编辑] 可能的实现

fill (1)
template<class ForwardIt, class T = typename std::iterator_traits<ForwardIt>::value_type> void fill(ForwardIt first, ForwardIt last, const T& value) { for (; first != last; ++first) *first = value; }

[编辑] 注解

特性测试宏	值	Std	特性
`__cpp_lib_algorithm_default_value_type`	`202403`	(C++26)	列表初始化用于算法 (1,2)

[编辑] 示例

运行此代码

#include <algorithm>
#include <complex>
#include <iostream>
#include <vector>
 
void println(const auto& seq)
{
    for (const auto& e : seq)
        std::cout << e << ' ';
    std::cout << '\n';
}
 
int main()
{
    std::vector<int> v{0, 1, 2, 3, 4, 5, 6, 7, 8};
    println(v);
 
    // set all of the elements to 8
    std::fill(v.begin(), v.end(), 8);
    println(v);
 
    std::vector<std::complex<double>> nums{{1, 3}, {2, 2}, {4, 8}};
    println(nums);
    #ifdef __cpp_lib_algorithm_default_value_type
        std::fill(nums.begin(), nums.end(), {4, 2});
    #else
        std::fill(nums.begin(), nums.end(), std::complex<double>{4, 2});
    #endif
    println(nums);
}

输出

0 1 2 3 4 5 6 7 8
8 8 8 8 8 8 8 8 8
(1,3) (2,2) (4,8) 
(4,2) (4,2) (4,2)

[编辑] 缺陷报告

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

DR	应用于	已发布行为	正确行为
LWG 283	C++98	`T` 需要为 CopyAssignable，但 `T` 并非始终可写入到 `ForwardIt`	改为需要可写入

[编辑] 参见

fill_n	将给定值复制赋值给范围中的 N 个元素 (函数模板) [编辑]
copycopy_if (C++11)	将一个范围的元素复制到新位置 (函数模板) [编辑]
generate	将连续函数调用的结果赋值给范围中的每个元素 (函数模板) [编辑]
transform	将函数应用于一系列元素，并将结果存储在目标范围中 (函数模板) [编辑]
ranges::fill (C++20)	为一系列元素赋值 (算法函数对象)[编辑]

编译器支持
独立和宿主
语言
标准库
标准库头文件
具名要求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
诊断库
内存管理库
元编程库 (C++11)
通用工具库
容器库
迭代器库
范围库 (C++20)
算法库
字符串库
文本处理库
数值库
日期和时间库
输入/输出库
文件系统库 (C++17)
并发支持库 (C++11)
执行控制库 (C++26)
技术规范
符号索引
外部库

cppreference.cn

命名空间

变体

视图

操作