string_agg必须显式使用within group(order by)指定排序，否则结果顺序未定义；null值默认被跳过，需用isnull预处理；非字符串字段应显式cast为nvarchar(max)防截断；全表聚合须配合合法group by（如group by (select 1)）。
STRING_AGG必须显式用WITHIN GROUP(ORDER BY)指定顺序
不加WITHIN GROUP，结果顺序就是未定义的——哪怕表有主键、聚集索引，甚至刚插入时看着是有序的，下次执行就可能乱。SQL Server 不承诺无序聚合的输出顺序，这不是 bug，是标准行为。
正确写法只有一种：把排序逻辑塞进WITHIN GROUP (ORDER BY ...)里，且ORDER BY里的字段必须满足两个条件之一：
– 出现在GROUP BY子句中；
– 是聚合表达式（如MIN(created_at)）。
- 错误示例：
SELECT dept_id, STRING_AGG(name, ', ') WITHIN GROUP (ORDER BY salary) FROM users GROUP BY dept_id;→ 如果salary没出现在GROUP BY里，也不带聚合，直接报错 - 正确示例：
SELECT dept_id, STRING_AGG(name, ', ') WITHIN GROUP (ORDER BY name ASC) FROM users GROUP BY dept_id;（name虽未分组，但它是STRING_AGG的输入表达式，允许用于排序） - 升序是默认行为，
ASC可省；DESC必须显写
空值（NULL）在排序和拼接中都被跳过
STRING_AGG默认忽略NULL值：既不参与拼接，也不影响排序位置。它不是把NULL转成字符串'NULL'再连进去，而是彻底“看不见”。
如果你需要把空值也体现为某种占位符（比如'[未知]'），得提前转换：
- 用
ISNULL(col, '[未知]')或COALESCE(col, '[未知]')包裹原始列 - 排序字段如果也可能为
NULL，且你想控制NULL排最前/最后，SQL Server 2022+支持NULLS FIRST/NULLS LAST，但注意：这个语法在当前版本（2022兼容级160）**不被支持**，会报错。真要控NULL位置，得靠CASE WHEN构造排序键，例如：ORDER BY CASE WHEN name IS NULL THEN 0 ELSE 1 END DESC, name
全表拼成一行时，GROUP BY不能省，也不能写GROUP BY ()
想把整张users表所有name拼成一个字符串？不能裸写SELECT STRING_AGG(name, ', ')，会报STRING_AGG is not allowed in the context。
必须提供一个合法的分组依据。SQL Server 不支持空括号GROUP BY ()，但可以用以下任一方式绕过：
- 用常量子查询：
SELECT STRING_AGG(name, ', ') FROM (SELECT name FROM users) t GROUP BY (SELECT NULL); - 用窗口函数变通（不推荐用于纯聚合场景）：
SELECT TOP 1 STRING_AGG(name, ', ') OVER (ORDER BY (SELECT NULL)) FROM users;—— 这本质是窗口计算，性能开销略高，且ORDER BY (SELECT NULL)仍无法保证顺序，必须配合WITHIN GROUP - 最稳妥的写法：
SELECT STRING_AGG(name, ', ') WITHIN GROUP (ORDER BY id) FROM users GROUP BY ();→ 报错；换成GROUP BY (SELECT 1)即可生效
非字符串字段要小心隐式转换截断
STRING_AGG接受任意类型表达式，但内部会强制转成字符串。问题在于：转换后长度可能被硬性截断。
比如对int列用STRING_AGG(id, ', ')，返回类型是nvarchar(4000)，单个id转字符串没问题，但拼起来超长就会被砍掉——不是报错，是静默截断。
- 查源字段是否可能拼出超4000字符：估算行数 × 平均长度 + 分隔符数
- 保险做法：显式转成
nvarchar(max)，例如STRING_AGG(CAST(id AS nvarchar(max)), ', ')，这样整个结果就是nvarchar(max)，无长度限制 - 同理，如果原始列是
varchar(50)，拼接结果上限是varchar(8000)；想突破就得CAST
WITHIN GROUP，以及分组结构是否合法——这两点漏掉任何一个，结果都可能在不同环境、不同时间点突然变化。
