Apache Doris 中的 FOREACH 组合器:数组聚合函数详解
2025-06-27 01:33:56作者:宣聪麟
什么是 FOREACH 组合器
在 Apache Doris 中,FOREACH 是一种强大的函数组合器,它能够将原本用于表数据的聚合函数转换为处理数组数据的版本。简单来说,它允许我们对数组中对应位置的元素进行聚合运算,最终返回一个包含聚合结果的数组。
核心功能
FOREACH 组合器的主要功能是对多个数组的对应元素进行聚合计算。例如:
- 当你有三个数组 [1, 2]、[3, 4, 5] 和 [6, 7]
- 使用 sum_foreach 函数会对第一个元素(1+3+6=10)、第二个元素(2+4+7=13)和第三个元素(5)分别求和
- 最终返回结果数组 [10, 13, 5]
基本语法
FOREACH 组合器的通用语法格式为:
AGGREGATE_FUNCTION_FOREACH(arg...)
其中 AGGREGATE_FUNCTION 可以是任何标准的聚合函数,如 sum、count、avg 等。
实际应用示例
数据准备
假设我们有一个测试表 db,包含以下数据:
| a (数组类型) | s (数组类型) |
|---|---|
| [1, 2, 3] | ["ab", "123"] |
| [20] | ["cd"] |
| [100] | ["efg"] |
| NULL | NULL |
| [null, 2] | [null, "c"] |
1. 数值数组求和
SELECT sum_foreach(a) FROM db;
结果:
[121, 4, 3]
解释:
- 第一个位置:1 + 20 + 100 + null = 121
- 第二个位置:2 + 2 = 4
- 第三个位置:3 = 3
2. 字符串数组计数
SELECT count_foreach(s) FROM db;
结果:
[3, 2]
解释:
- 第一个位置:统计了 "ab", "cd", "efg", null → 3个非null值
- 第二个位置:统计了 "123", "c" → 2个非null值
3. 数组元素聚合
SELECT array_agg_foreach(a) FROM db;
结果:
[[1, 20, 100, null], [2, 2], [3]]
解释:
- 将每个数组的第一个元素聚合成新数组 [1, 20, 100, null]
- 将每个数组的第二个元素聚合成新数组 [2, 2]
- 将每个数组的第三个元素聚合成新数组 [3]
4. 键值对映射
SELECT map_agg_foreach(a, a) FROM db;
结果:
[{1:1, 20:20, 100:100}, {2:2}, {3:3}]
解释:
- 为每个数组位置创建键值对映射
- 第一个位置:1→1, 20→20, 100→100
- 第二个位置:2→2
- 第三个位置:3→3
适用场景
FOREACH 组合器特别适合处理以下场景:
- 时间序列分析:当需要按时间维度聚合多个指标时
- 多维数据分析:对多个维度的数据进行并行计算
- 数组数据处理:需要对数组结构进行聚合运算的场景
- 数据透视:将行数据转换为列式聚合结果
注意事项
- 处理包含 NULL 值的数组时,大多数聚合函数会忽略 NULL 值
- 不同长度的数组聚合时,结果数组长度以最长输入数组为准
- 对于较短数组中不存在的元素位置,不会参与聚合计算
- 性能考虑:对于大型数组,聚合操作可能会消耗较多资源
总结
Apache Doris 的 FOREACH 组合器为数组数据的聚合分析提供了强大而灵活的工具。通过将传统聚合函数扩展为数组版本,开发者能够以更简洁高效的方式处理复杂的多维数据聚合需求。无论是简单的求和计数,还是复杂的数组操作,FOREACH 组合器都能提供优雅的解决方案。
登录后查看全文
热门项目推荐
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C042
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0121
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
最新内容推荐
Python开发者的macOS终极指南:VSCode安装配置全攻略 基于Matlab的等几何分析IGA软件包:工程计算与几何建模的完美融合 深入解析Windows内核模式驱动管理器:系统驱动管理的终极利器 基恩士LJ-X8000A开发版SDK样本程序全面指南 - 工业激光轮廓仪开发利器 咖啡豆识别数据集:AI目标检测在咖啡质量控制中的革命性应用 STM32到GD32项目移植完全指南:从兼容性到实战技巧 瀚高迁移工具migration-4.1.4:企业级数据库迁移的智能解决方案 昆仑通态MCGS与台达VFD-M变频器通讯程序详解:工业自动化控制完美解决方案 PADS元器件位号居中脚本:提升PCB设计效率的自动化利器 MQTT客户端软件源代码:物联网开发的强大工具与最佳实践指南
项目优选
收起
deepin linux kernel
C
26
10
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
435
3.3 K
Ascend Extension for PyTorch
Python
241
277
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
9
1
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
694
367
仓颉编译器源码及 cjdb 调试工具。
C++
138
869
🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer(第 2 版)》、《程序员面试金典(第 6 版)》题解
Java
65
19
暂无简介
Dart
696
163
React Native鸿蒙化仓库
JavaScript
270
328
仓颉编程语言运行时与标准库。
Cangjie
145
881