计算机科学中数据结构与函数的常见退化情形有哪些？

你提到的空列表/空集合/空字符串、空矩阵/空张量，以及各类退化几何图形，都属于边界类退化case，但几何类退化确实不属于通用编程中数学函数的常规处理范畴。跨语言通用、有明确公认退化约定的高频数学函数主要有以下几类，在Mathematica、JavaScript及其他主流开发、数值计算环境中行为基本统一：

基础算术与通用数值函数 #

• 阶乘函数 factorial(n)：最经典的退化情形是0! = 1，属于空积定义的典型应用，是组合计算场景下的全球通用约定，不属于计算异常。
• 幂函数 pow(x, y)：两个核心退化约定：一是任意数的0次幂x^0 = 1，绝大多数编程环境中即使x为0，在幂函数语境下也默认返回1，适配多项式计算、组合数公式的无分支运行；二是0的正数次幂0^y = 0（y>0）。
• 求和函数 sum()、求积函数 product()：传入空可迭代对象时，退化返回值分别为0（加法单位元）、1（乘法单位元），比如JavaScript中[].reduce((a,b) => a+b, 0)、Mathematica中Total[{}]都遵循该规则。
• 最大公约数gcd()、最小公倍数lcm()：传入空参数列表时，退化返回值分别为0（gcd，对应整数集上交运算的单位元）、1（lcm，对应整数集上并运算的单位元）；仅传入单个参数时直接返回参数本身。

线性代数相关函数 #

• 行列式计算 det(m)：0阶空矩阵的行列式公认返回1，对应恒等线性变换的缩放比例，和空积的定义逻辑自洽。
• 矩阵/张量乘法 matmul(a, b)：当参与运算的其中一个矩阵是0行或0列的空矩阵时，只要维度匹配规则成立，就返回对应维度的零矩阵，是几乎所有数值计算、张量框架的通用处理逻辑。
• 向量范数 norm(v, p)：零向量的任意p范数退化返回0是通用约定；空向量的范数处理没有全局统一标准，部分框架返回0，部分直接抛出空输入异常。

统计与离散数学函数 #

• 排列数 P(n,k)、组合数 C(n,k)：当选取个数k=0时，退化情形统一返回1，对应“从n个元素中选0个元素只有1种选法”的逻辑；当k>n时统一返回0。
• 最值函数 max()、min()：空输入的处理分两类：多数强类型语言会直接抛出参数错误；函数式编程语境下则约定空集的最大值为-Infinity、最小值为Infinity，比如JavaScript中无参数调用Math.max()返回-Infinity、Math.min()返回Infinity，就遵循该约定。
• 均值、方差、标准差等统计量函数：单元素输入时，方差、标准差返回0是公认行为；空输入的处理没有统一约定，多数环境返回NaN或直接抛出空输入错误。

所有这类退化情形的定义本质都是为了减少边界分支判断：比如约定0! = 1后，排列数公式P(n,k) = n!/(n-k)!在k=0、k=n的场景下可以直接运行，不需要额外写特殊判断逻辑。少数场景下不同语言会根据自身定位做细节调整，但和单位元、空积/空和相关的核心退化规则是全行业通用的。

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