Julia组合匿名函数链式调用时maximum为何未按预期生效？

该异常行为核心来自Julia的两个语法规则，实际执行顺序和书写者预期存在偏差：

• 匿名函数定义符->优先级极低，在无括号截断的情况下，箭头右侧直到整个表达式末尾的内容，都会被识别为该匿名函数的函数体
• 普通管道|>和广播管道.|>优先级完全相同，运算遵循左结合规则，不会自动区分"逐元素操作"和"整体操作"的执行先后

原表达式实际执行逻辑 #

测试代码：

a .|> x->x^2 .|> sqrt .|> Int64 |> maximum

代码并未按照「先逐元素完成三步值转换，最后对整个矩阵取最大值」的预期逻辑运行，实际执行流程为：

1. 解析到第一个.|>左侧为矩阵a，右侧为一整个完整匿名函数x->( (x^2 .|> sqrt) .|> Int64 |> maximum )——后续书写的所有链式步骤，全部被识别为该匿名函数的函数体内容
2. .|>为逐元素广播运算符，会将上述匿名函数分别作用在a的每个独立元素上：
   • 处理元素1：平方得1，开方得1.0，转Int64类型得1，单值取最大值结果仍为1
   • 处理元素2：平方得4，开方得2.0，转Int64类型得2，单值取最大值结果仍为2
   • 处理元素3：平方得9，开方得3.0，转Int64类型得3，单值取最大值结果仍为3
3. 所有逐元素计算结果按原矩阵结构拼接，最终返回1×3 Matrix{Int64}。代码中的maximum从未作用于整个矩阵，而是被逐元素广播到了每个单独的标量值上。

后续测试中用匿名函数包裹maximum的写法返回相同结果，原因完全一致：所有后续链式代码都被纳入第一个匿名函数的作用范围，全程仅执行逐元素广播操作，不存在对整个矩阵的统一处理步骤。

只需为第一个匿名函数添加括号，明确截断其作用边界，即可得到预期运行结果：

julia> a = [1 2 3]
1×3 Matrix{Int64}:
 1  2  3

julia> a .|> (x->x^2) .|> sqrt .|> Int64 |> maximum
3

添加括号后执行顺序完全符合设计预期：

1. 矩阵逐元素平方得到[1 4 9]
2. 逐元素开方得到[1.0 2.0 3.0]
3. 逐元素转换为Int64类型得到[1 2 3]
4. 转换完成的整个矩阵传入maximum计算，最终返回标量结果3

如果需要更简洁的书写形式，也可以通过函数组合避免重复书写广播管道：

# 将三个逐元素操作组合为单个函数，广播调用后直接取最大值
maximum((Int64 ∘ sqrt ∘ (x->x^2)).(a))

在Julia中混用普通管道、广播管道与匿名函数时，不要依赖默认优先级判断执行顺序，为匿名函数、需要优先计算的代码块添加括号明确运算边界，是规避这类执行顺序bug最稳妥的方式。

内容的提问来源于stack exchange，提问作者Shayan