通学智能合约系列（五）--整型溢出

冷不防 2022-10-28 10:15 139阅读 0赞

#### 3.整型溢出及异常处理 ####

在上节中，如果你认真去码了一遍运算案例，可能小伙伴已经感觉到了隐隐的不安，因为这种算术操作，一旦超出所占位数后，就会变的不可控。所以我们要了错于心，防患于未然。

##### 要掌控的溢出 #####

下面我们来看一个例子:

pragma solidity ^0.4.16;
    
    contract Math{ 
        
        function flow() view public returns(uint8){ 
            uint8 mm  = 255;
            mm++;
            return mm;
        }
        
        function flow2() view public returns(uint256){ 
            uint8 mm  = 255;
            mm++;
            return mm;
        }
        
         function flow3() view public returns(uint){ 
            uint mm  = 255;
            mm++;
            return mm;
        }
    }

![\[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-L3N1ouAk-1612534669524)(C:\\Users\\49178\\AppData\\Roaming\\Typora\\typora-user-images\\image-20210205040358403.png)\]][img-L3N1ouAk-1612534669524_C_Users_49178_AppData_Roaming_Typora_typora-user-images_image-20210205040358403.png]

执行结果后，我们发现调用`flow=0，flow2=0， flow3=256` .这里我没有按照原视频中的例子，而是自己综合比较了uint8 与uint的区别 以及++复合操作。相信大家都直接这个结果是什么原因造成的。那就是进位溢出导致。

我们在来看看复合减的运算：

pragma solidity ^0.4.16;
    
    contract Math{ 
        
        function flowMinus() view returns(uint8){ 
            uint8 nn = 0;
            nn--;
            return nn;
        }
        
        function flowMinus2() view returns(uint8){ 
            uint8 nn = 0;
            nn--;
            return nn--;
        }
        
        function flowMinus3() view returns(uint8){ 
            uint8 nn = 0;
            return nn--;
        }
    }

大家可以先看看这个代码，猜猜答案分别是什么？然后在动手验证一下。

这里为了帮助大家更好地理解溢出，我用excel简单地描述了下，可以看一看。

![\[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-pqjwkxhg-1612534669525)(C:\\Users\\49178\\AppData\\Roaming\\Typora\\typora-user-images\\image-20210205043118020.png)\]][img-pqjwkxhg-1612534669525_C_Users_49178_AppData_Roaming_Typora_typora-user-images_image-20210205043118020.png]

最后，我们来揭晓答案：上述的复合减运算答案分别是`255`,`255`和`0`.如果你没有一次性答对的话，不要灰心，看看我之前分享后口诀。再多码两遍，多思考下，相信你一定可以搞懂。如果还是搞不懂，关注我，加我微信吧 ，手把手教会你（虽然知道这里都是有经验的开发人员，但或许也有喜欢学习的初学者哦）。

##### 要避免的异常 #####

我们在学其他语言的时候，都知道除以0是会有问题的，也知道小数类型精度丢失是很麻烦的。在智能合约的时候里，也不例外，我们一起来看看吧

pragma solidity ^0.4.16;
    
    contract Math{ 
        
        function errorTest() view returns(int){ 
            int a = 2;
            int b = 3;
            return a/b;
        }
        
        function errorTest2() view returns(int){ 
            int a = 2;
            int b = 0;
            return a/b;
        }
        
    }

![\[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-tVurwHCO-1612534669526)(C:\\Users\\49178\\AppData\\Roaming\\Typora\\typora-user-images\\image-20210205044516951.png)\]][img-tVurwHCO-1612534669526_C_Users_49178_AppData_Roaming_Typora_typora-user-images_image-20210205044516951.png]

执行结果，我们可以发现，第一个返回是0.答案显然也是不能让我们满意的。而第二个则直接抛出错误。 看来不能除零已经是公理了。

另外，我们再来看看其他的异常。

![\[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-nuP5YTAF-1612534669527)(C:\\Users\\49178\\AppData\\Roaming\\Typora\\typora-user-images\\image-20210205045752986.png)\]][img-nuP5YTAF-1612534669527_C_Users_49178_AppData_Roaming_Typora_typora-user-images_image-20210205045752986.png]

显然，errorTest3没有能逃过编译器，而errorTest4虽然逃过了编译器的法眼，也成功部署了，但执行肯定还是会报错的。

上面这些异常大家在写合约的时候，要注意哦，如果你还遇到了其他异常，可以拿来，一起分享。

#### 4.整型字面量 ####

emmm，虽然接触了变成也有好几年的时候了，但是好像平常都不怎么说字面量，那么字面量到底是什么。百度百科是这么说的。

> 在计算机科学中，字面量（literal）是用于表达[源代码][Link 1]中一个固定值的表示法（notation）。几乎所有[计算机编程语言][Link 2]都具有对基本值的字面量表示，诸如：[整数][Link 3]、[浮点数][Link 4]以及[字符串][Link 5]；而有很多也对[布尔类型][Link 6]和[字符][Link 7]类型的值也支持字面量表示；还有一些甚至对[枚举类型][Link 8]的元素以及像[数组][Link 9]、[记录][Link 10]和对象等复合类型的值也支持字面量表示法.

这里看了知乎上的一些案例： https://www.zhihu.com/question/62411257

说白了，就是表示数字或者字符的一种形式。例如我们常常定义的`int a = 1`;就可以说1是a的字面量。可以直接表征不确定性事物的一种特定直观的量值。

这里我们主要是看看solidity中整型在执行一些非常规形式运算时可以自动收敛的情况。例如:

pragma solidity ^0.4.16;
    
    contract Math{ 
        
        function test1() returns(uint){ 
            uint  a = 2/4;
            return a;
        }
    
        function test2() returns(uint){ 
            uint a = 2/4 + 1 - 2/4;
            return a;
        }
        
        function test3() returns(uint8){ 
            uint8 a = 11111111111111111111112 - 11111111111111111111111;
            return a;
        }
        
    }

![\[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Tkuc0Rcz-1612534669530)(C:\\Users\\49178\\AppData\\Roaming\\Typora\\typora-user-images\\image-20210205204946566.png)\]][img-Tkuc0Rcz-1612534669530_C_Users_49178_AppData_Roaming_Typora_typora-user-images_image-20210205204946566.png]

这里第一个例子，因为uint256无法表示一个小数，所以没有办法收敛。而下面两个例子，他们的最终结果是确定性的，所以可以编译通过。直接结果后，我们发现两者结果都是确定值1.

也就是说：等号后面的字面量可以表征前面的确定值。

在这里，整型部分我们就说完了。接下来，到我们的重点 `数组`。

[img-L3N1ouAk-1612534669524_C_Users_49178_AppData_Roaming_Typora_typora-user-images_image-20210205040358403.png]: /images/20221024/2e284259adff44ed9e42f4b77ab23d28.png
[img-pqjwkxhg-1612534669525_C_Users_49178_AppData_Roaming_Typora_typora-user-images_image-20210205043118020.png]: /images/20221024/5c84d7a37b0c429dbe2c32867204b7aa.png
[img-tVurwHCO-1612534669526_C_Users_49178_AppData_Roaming_Typora_typora-user-images_image-20210205044516951.png]: /images/20221024/e602dcc58e3241e7812ad57831af7fa3.png
[img-nuP5YTAF-1612534669527_C_Users_49178_AppData_Roaming_Typora_typora-user-images_image-20210205045752986.png]: /images/20221024/a8377a53742d43c9bc8c29d28559818c.png
[Link 1]: https://baike.baidu.com/item/%E6%BA%90%E4%BB%A3%E7%A0%81/3969
[Link 2]: https://baike.baidu.com/item/%E8%AE%A1%E7%AE%97%E6%9C%BA%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80/5581937
[Link 3]: https://baike.baidu.com/item/%E6%95%B4%E6%95%B0/1293937
[Link 4]: https://baike.baidu.com/item/%E6%B5%AE%E7%82%B9%E6%95%B0/6162520
[Link 5]: https://baike.baidu.com/item/%E5%AD%97%E7%AC%A6%E4%B8%B2/1017763
[Link 6]: https://baike.baidu.com/item/%E5%B8%83%E5%B0%94%E7%B1%BB%E5%9E%8B/9517367
[Link 7]: https://baike.baidu.com/item/%E5%AD%97%E7%AC%A6/4768913
[Link 8]: https://baike.baidu.com/item/%E6%9E%9A%E4%B8%BE%E7%B1%BB%E5%9E%8B/2978296
[Link 9]: https://baike.baidu.com/item/%E6%95%B0%E7%BB%84/3794097
[Link 10]: https://baike.baidu.com/item/%E8%AE%B0%E5%BD%95/14312145
[img-Tkuc0Rcz-1612534669530_C_Users_49178_AppData_Roaming_Typora_typora-user-images_image-20210205204946566.png]: /images/20221024/92304435d17d479da1f1ce59fc97d806.png