malloc内存分配大小计算：row*col*sizeof与sizeof*row*col顺序孰优？

乘法顺序是否重要？ #

答案是视情况而定：

• 如果所有相乘的值都不会导致中间结果溢出，乘法顺序不影响最终结果——整数乘法交换律在此场景下生效，两种写法计算出的总字节数完全一致。
• 但如果中间步骤存在溢出风险，顺序就会直接影响结果的正确性，甚至触发未定义行为：
  比如row和col是int类型且取值很大，先计算row * col可能会超出int的取值范围，导致有符号整数溢出（C标准中这是未定义行为，结果不可预测）；而先计算sizeof data[0] * row，由于sizeof返回的是size_t（无符号整数类型，通常比int范围更大），整个表达式会按size_t类型计算，能降低溢出概率。

内存分配大小计算中的常见考量 #

• 优先规避溢出风险：把sizeof放在乘法链的最前面是最常见的实践。因为size_t是专门为内存大小设计的无符号类型，取值范围足够覆盖系统支持的内存大小。先让sizeof的结果参与乘法，能让后续的乘法运算都在size_t类型下进行，避免有符号整数溢出的未定义行为，也能利用更大的数值范围减少溢出可能。
• 代码可读性：两种写法的逻辑直觉不同：
  • sizeof data[0] * row * col：先明确单个元素的大小，再乘以总元素数，符合“单位大小×数量”的认知逻辑；
  • row * col * sizeof data[0]：先计算总元素个数，再乘以单个元素大小，符合“数量×单位大小”的日常计算习惯。
    选择哪种更多看团队编码规范或个人偏好，只要保持一致即可。
• 类型提升规则适配：C语言中不同类型相乘会触发类型提升，size_t作为无符号类型，与有符号的int相乘时，int会被提升为size_t。先写sizeof能确保整个乘法表达式从一开始就以size_t计算，避免中间步骤出现有符号整数的溢出问题。

举个实际反例：假设row和col都是INT_MAX（32位系统下为2147483647），先算row * col会直接溢出int范围，得到一个负数；再乘以sizeof(int)后，传递给malloc的参数会是错误的小数值（甚至是0），导致内存分配不足。而先算sizeof(int) * row，结果在64位size_t下完全合法，再乘以col即使溢出，也是无符号整数溢出（C标准定义为模2^n运算），相比有符号溢出的未定义行为，结果更可预测（虽然溢出后分配的内存还是不对，但不会出现完全随机的错误）。

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