【ERC20安全审计】——27、算术精度问题漏洞刨析

文章前言

Solidity作为一门编程语言也具备和普通编程语言相似的数据结构设计，比如：变量、常量、函数、数组、函数、结构体等等，但是在使用Solidity开发智能合约时，你会发现Solidity和普通编程语言有一个较大的区别——Solidity没有浮点型，且Solidity所有的数值运算结果都只会是整数，不会出现小数的情况，同时也不允许定义小数类型数据

基础知识

很多读者都会好奇仅仅一个不支持浮点型会有多大的问题，运算还不是照常进行吗？确实是这样的，但是结果却和你最初的预想的多少有出入，我们最常见的运行操作，莫过于一下四种：

• 加
• 减
• 乘
• 除

PS:这里暂不算"取余"操作且在Solidity中同样不支持取余操作

运算符的优先级

在这里我们先简单的了解一下运算符的优先级顺序(只讨论+、-、*、/、())：

同级概念

在加、减、乘、除运算中，加法、减法属于同一级别运算，乘法、除法属于同一级别运算

同级运算

从左到右依次运算，例如：

d=a+b-c;

这里的运算顺序为：先计算a与b的和，之后再用运算结果与c做差，然后将最终的结果赋值给d，同样乘法和除法也是一样的：

d=a*b/c;

这里的运算顺序为：先计算a与b的积，之后再用运算记过与c做商，然后将最终的结果赋值给d

不