未定义行为：不只是编程语言

原文地址：https://blog.regehr.org/archives/1438

作者：John Regehr

这是一个老掉牙但好用的桥段。从这个前提开始：

a = b

两边同乘以a：
a² = ab

两边同减去b²：

a² – b² = ab – b²

左边提取公因数：

(a+ b)(a – b) = ab – b²

右边提取公因数：

(a+ b)(a – b) = b(a – b)

两边除以(a-b)并抵消：

a+ b = b

b替换a：

b+ b = b

最后，让b = 1并简化：

2= 1

在我九岁还是十岁时，我就遇到了这个推导，它让我深感不安。“你不可以除以(a- b)，因为这个项等于0”的解释，看起来引发了更多的问题。我们如何被假定掌握哪些项等于0？如果某项等于0，但我们不知道会怎么样？在那里还有什么样的小陷阱等着让一个推导失效？许多次我注意到，在学校里，他们看起来愿意教简单的版本，而真实世界从来就不会这么友善，即使在数学里——你可能认为每一样都清晰、精确。

不管怎么说，关键是未定义行为困扰人们远远超过了千年——对我们还没在编程语言里搞定它，我们不应该太沮丧。