Solidity基础教程2——值类型

本教程使用的开发环境是一款在线编译器——ChainIDE,具体的使用方法在之前的文章当中已经有讲解过,有需要的同学可以自行查看。

网址:https://eth.chainide.com/

序言

变量值是一个程序最基础的部分,不管是各类的运算符,还是逻辑,都是由一个个值支撑的。

Solidity是一种静态程序语言,也就是说它的每一个变量都需要对它指定类型(或者能推断出的类型)。在程序当中有可能会用到的是以下几种类型:布尔类型、整型、定长浮点型(不完全支持)、地址类型、常数类型。

作为一个经历过一些其他语言的编程者,我必须承认,在Solidity当中的变量这个环节是非常复杂的,智能合约是由逻辑+计算组成的,在计算当中的任何一个不安全或者是溢出都有可能会导致智能合约的崩溃。

在本章当中介绍的一些计算和运行方式仅作为教学使用,实际项目部署当中的计算往往需要使用已经经过市场校验和实践过的库, 比如Openzepplin的Safemath。

在结尾会有一个对所有类型的计算以及例程的总结,有需要的可以直接跳至底部。

布尔类型

布尔类型的关键词是bool,其值可以为true或者false,这个类型与其他语言基本相同。

有两个运算符需要注意,分别是||和&&。在这里,它们遵循短路原则,意思就是如果在||时第一个变量值为true,就不会去看第二个变量了。同样的,如果&&的时候第一个变量为false,也不会去看第二个变量。

Tips:布尔类型在实际的运算与比较当中有可能是某个表达式的结果,如果这个表达式涉及到对某个变量的修改,建议放在布尔类型运算符外。

整型

Solidity支持有符号和无符号整数(uint/int),对于不同长度的整数需要设置长度(可以从8~256,比如128位无符号整数是uint128),uint/int是uint256/int256的别称。

整型支持的运算符与其他的语言类似,包括比较运算符、位运算符、算数运算符。在对整数进行除法运算时,会进行截断操作,小数点之后的东西会被舍去。

Tips:在对有符号整数进行位运算时需要小心,有可能会导致负号消失,或者在运行时出现其他问题,最好不要对有符号整数进行左移或者右移运算。

地址类型

地址类型是以太坊的一个特有类型,它是一个160位二进制的数,不同于Bitcoin的UTXO模型,以太坊交易是以其特定的账户模型,每个账户都有其对应的地址。

地址类型有几个常用的成员函数可以调用,首先是balance可以调用地址的当前余额,transfer和send可以向当前地址发送代币。

在合约当中,this关键字对应的是该合约的地址,address(this)可以返回对应的值。

bytes类型

   bytes2 bytes_example = 0x2353;

bytes类型又被成为定长字节数组,但是其实它在定义时并不像其他数组那样,它在定义时就是一个固定的长度的储存空间,长度可以从1~32,定义时使用bytes2这样表示2个字节长度的值,bytes1的别称是byte。

当后面不带数字时,bytes单写则是表示不定长数组,就属于引用变量类型了,有时这个写法会带来一些不必要的内存使用,这个后面我们会讨论。

bytes类型的变量在初始化之后就不可以进行更改了,如果要对它进行修改,需要通过遍历的方式赋给一个新的变量。

bytes变量也有一个length的成员函数,可以输出这个变量的长度是多少,便于遍历的执行。

枚举类型

enum ActionChoices { GoLeft, GoRight, GoStraight, SitStill }
    ActionChoices choice;

枚举变量与其他语言基本是类似的,通过预设置枚举变量的值,在后续赋值时选择在枚举类内的值进行赋值。每个值对应一个数字,默认是从0开始逐个计数的。

Tips:在配置预设枚举类型时后面是不需要分号的。

常量

就我个人经历而言,Solidity对各种常量的处理方式好像是独树一帜的,Solidity内的常量有以下几类:数值常量、地址常量、字符串常量、十六进制常量。

1.数值常量

        uint d_int = 5/2+4/2; //返回值为9/2,编译无法通过

数值类的常量运算跟我们之前说的又不太一样,数值类的运算不会截断,但是如果在运算结束后结果不符合前面变量类型的话,编译不会通过。

数值类的常数还可以使用科学计数法比如3e10这样的数字,但指数一定要是整数,因为不能出现无理数,同时还要注意的是这个数字的大小不能超过类型的长度限制。

2.地址常量

地址常量代表的是通过了地址校验和测试的十六进制字面常数,其实也就是我们之前在定义地址变量时赋值的那个值。

3.字符串常量

Solidity语言当中的字符串可以是'123'或者是"abc",对于这种类型的变量bytes类型和string类型可以互相转换。

字符串常量的长度是它所表示的字符串大小,后面不带有停止符。

4.十六进制常量

十六进制字面常数以关键字 hex 打头,后面紧跟着用单引号或双引号引起来的字符串(例如,hex"001122FF")。 字符串的内容必须是一个十六进制的字符串,它们的值将使用二进制表示。

示例代码

pragma solidity >=0.4.22 <0.6.0;
contract Variable {

    //布尔变量演示
    bool a_bool = true; 
    bool b_bool = false;
    bool c_bool = a_bool != b_bool;
    
    function get_c_bool() public view returns(bool)
    {
        return c_bool;    // 返回值true
    }

    //整型变量演示
    uint a_int = 5; 
    uint b_int = 2;
    uint c_int = a_int / b_int;

    function get_c_int() public view returns(uint)
    {
        return c_int+c_int; // 返回值4
    }

    //地址类型

    address public account2 = 0x797206393eB6582ac86883fA623CB5A05021191D;
    
    //返回当前合约地址
    function get_contract_address() public view returns(address)
    {
        return address(this);    //0xE0CfA8573cFe2c078039Df2462A05E2c19bb86A6
    }

    function get_contract_balance() public view returns(uint)
    {
        return address(this).balance;  
    }

    //bytes类型

    bytes2 bytes_example = 0x2353;

    function get_bytes_length() public view returns(uint)
    {
        return uint(bytes_example.length);
    }

    //枚举类型

    enum Color { Red, Yellow, Blue, SitStill }
    Color constant car_color = Color.Blue;
    function getChoice() public pure returns (Color) {
        return car_color;   // 返回值2
    }

    //常量计算演示
    function get_d_int() public pure returns(uint)
    {
        uint d_int = 5/2+5/2+3.14e10+0x12;  //2.5+2.5+31400000000+18
        return d_int;  //   返回值为31400000023
    }

}

参考资料

常量不截断与变量截断的演示https://blog.csdn.net/weixin_43343144/article/details/88135232

拼接字符串
https://my.oschina.net/u/3794778/blog/1800631

solidity中文文档
https://solidity-cn.readthedocs.io/zh/develop/index.html

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 212,080评论 6 493
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,422评论 3 385
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 157,630评论 0 348
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,554评论 1 284
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,662评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,856评论 1 290
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,014评论 3 408
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,752评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,212评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,541评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,687评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,347评论 4 331
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,973评论 3 315
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,777评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,006评论 1 266
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,406评论 2 360
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,576评论 2 349

推荐阅读更多精彩内容