数学和计算机中的加法结合律

https://blog.csdn.net/nameofcsdn/article/details/110495499 群论

 

为了区分数学中的结合律，和计算机中用来规定运算符运算顺序的结合性（左右结合性），本文用结合律而不再像群论一文中用结合性这个词。

群论一文中提到的群，幺半群，半群，都是满足结合律的，

即(a+b)+c = a+(b+c)

数学中的整数加法，作为群的一种，自然也是满足结合律的，那么，计算机中的加法呢？

 

计算机中整数的加法和数学中的整数加法，唯一的区别在于，计算机加法可能溢出。

溢出之后如何处理，这个就要看编程语言怎么规定。

对于C/C++来说，溢出之后自动截断，即自动取模。

比如char类型的数据，有符号的8位整数，-128再减1就一定等于127

对于这种溢出之后取模的加法运算，结合律也是成立的。

 

对于实数，计算机中的double数据类型比较复杂，涉及到精度问题，我感觉应该不满足结合律。