表达式`1 + (sizeofInt x `div` 10)`及函数括号相关终止问题咨询

让我们一步步拆解这两个问题，核心都是运算符优先级和递归终止条件的逻辑细节：

问题1：为什么表达式1 + (sizeofInt x div 10)会导致无法终止？ #

首先结合常见的函数式编程场景明确几个前提：

• sizeofInt是一个计算整数x位数的函数（比如sizeofInt 123返回3，sizeofInt 5返回1）
• 这个表达式是递归函数终止判断的核心部分（比如逻辑是“当表达式结果为0时停止递归”）

问题出在两个关键节点：

1. 运算符优先级解析：在多数函数式语言（比如Haskell）中，函数应用的优先级高于中缀运算符，所以sizeofInt x div 10会被解析成(sizeofInt x) div 10——也就是先计算x的位数，再做整数除法。
2. 数值逻辑导致无限循环：
   • 当x是个位数（1-9）时，sizeofInt x返回1，1 div 10的整数除法结果是0，整个表达式变成1 + 0 = 1，永远达不到“等于0”的终止条件。
   • 在修复0的情况之前，sizeofInt 0可能也被处理为返回1（把0当成1位数），哪怕x被不断div 10缩小到0，表达式结果还是1，递归会无限调用下去，根本停不下来。

问题2：为什么给x div 10加括号后函数能终止？ #

当我们把表达式改成1 + (sizeofInt (x div 10))时，计算逻辑完全反转了：

• 现在是先对x做div 10运算，再把结果传给sizeofInt计算位数。
• 递归过程中，x会不断被div 10缩小：比如x=123 → 12 → 1 → 0。
• 当x变成个位数时，x div 10的结果是0，修复后的sizeofInt 0会返回0（或者逻辑上处理为“无有效位数”）。此时如果终止条件是基于这个值判断（比如当sizeofInt (x div10)为0时停止递归），函数就会在处理完个位数后正常终止，不会再进入无限循环。

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