std::experimental::ranges::count, std::experimental::ranges::count_if

定义在头文件 `<experimental/ranges/algorithm>` 中
template< InputIterator I, Sentinel<I> S, class T, class Proj = ranges::identity > requires IndirectRelation<ranges::equal_to<>, projected<I, Proj>, const T*> ranges::difference_type_t<I> count( I first, S last, const T& value, Proj proj = Proj{} );	(1)	(范围 TS)
template< InputRange R, class T, class Proj = ranges::identity > requires IndirectRelation<ranges::equal_to<>, projected<ranges::iterator_t<R>, Proj>, const T*> ranges::difference_type_t<ranges::iterator_t<R>> count( R&& r, const T& value, Proj proj = Proj{} );	(2)	(范围 TS)
template< InputIterator I, Sentinel<I> S, class Proj = ranges::identity, IndirectUnaryPredicate<projected<I, Proj>> Pred > ranges::difference_type_t<I> count_if( I first, S last, Pred pred, Proj proj = Proj{} );	(3)	(范围 TS)
template< InputRange R, class Proj = ranges::identity, IndirectUnaryPredicate<projected<ranges::iterator_t<R>, Proj>> Pred > ranges::difference_type_t<ranges::iterator_t<R>> count_if( R&& r, Pred pred, Proj proj = Proj{} );	(4)	(范围 TS)

返回范围 [first, last) 中满足特定条件的元素数量。

1) 统计投影值为 value 的元素（即，ranges::invoke(proj, *i) == value）。

3) 统计投影值满足谓词 pred 的元素（即，ranges::invoke(pred, ranges::invoke(proj, *i)) != false）。

2,4) 与 (1,3) 相同，但使用 r 作为源范围，如同使用 ranges::begin(r) 作为 first，ranges::end(r) 作为 last。

尽管有以上所示的声明，算法声明的实际模板参数数量和顺序是未指定的。因此，如果在调用算法时使用显式模板参数，程序可能无法移植。

[编辑] 参数

first, last	-	要检查的元素范围
r	-	要检查的元素范围
value	-	要搜索的值
pred	-	应用于投影元素的谓词
proj	-	应用于元素的投影

[编辑] 返回值

满足条件的元素数量。

[编辑] 复杂度

正好 last - first 次比较 / 谓词应用，以及相同次数的投影应用。

[编辑] 说明

对于范围 [first, last) 中的元素数量，不包括任何其他条件，请参见 ranges::distance。

[编辑] 可能的实现

第一个版本

template<InputIterator I, Sentinel<I> S, class T, class Proj = ranges::identity>
    requires IndirectRelation<ranges::equal_to<>, projected<I, Proj>, const T*>
ranges::difference_type_t<I> count(I first, S last, const T& value, Proj proj = Proj{})
{
    ranges::difference_type_t<I> ret = 0;
    for (; first != last; ++first)
        if (ranges::invoke(proj, *first) == value)
            ++ret;
    return ret;
}

第二个版本

template<InputIterator I, Sentinel<I> S, class Proj = ranges::identity,
         IndirectUnaryPredicate<projected<I, Proj>> Pred>
ranges::difference_type_t<I> count_if(I first, S last, Pred pred, Proj proj = Proj{})
{
    ranges::difference_type_t<I> ret = 0;
    for (; first != last; ++first)
        if (ranges::invoke(pred, ranges::invoke(proj, *i)))
            ++ret;
    return ret;
}

[编辑] 示例

[编辑] 另请参见

countcount_if	返回满足特定条件的元素数量 (函数模板) [编辑]
distance	返回迭代器和哨兵之间的距离，或范围的起始和结束之间的距离 (函数模板) [编辑]

编译器支持
独立和托管
语言
标准库
标准库头文件
命名需求
功能测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
执行支持库 (C++26)
技术规范
符号索引
外部库

技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
并发扩展 2 (并发 TS v2)
概念 (概念 TS)
范围 (范围 TS)
反射 (反射 TS)
数学特殊函数 (特殊函数 TR)
实验性非 TS
模式匹配
线性代数
std::execution
契约
2D 图形

cppreference.com

命名空间

变体

视图

操作