WTF Solidity极简入门:2. 数值类型
0x25df
April 3rd, 2022

我最近在重新学solidity,巩固一下细节,也写一个“WTF Solidity极简入门”,供小白们使用(编程大佬可以另找教程),每周更新1-3讲。

推特@0xAA_Science

WTF Academy社群: 官网 wtf.academy | discord | 微信群申请

所有代码和教程开源在github: github.com/AmazingAng/WTFSolidity


Solidity中的变量类型

  1. 数值类型(Value Type):包括布尔型,整数型等等,这类变量赋值时候直接传递数值。

  2. 引用类型(Reference Type):包括数组和结构体,这类变量占空间大,赋值时候直接传递地址(类似指针)。

  3. 映射类型(Mapping Type): Solidity里的哈希表。

  4. 函数类型(Function Type)Solidity文档里把函数归到数值类型,但我觉得他跟其他类型差别很大,所以单独分一类。

我们只介绍一些常用的类型,不常用的不讲。这篇介绍数值类型,第3讲介绍函数类型,第4讲介绍引用和映射。

数值类型

1. 布尔型

布尔型是二值变量,取值为truefalse

    // 布尔值
    bool public _bool = true;

布尔值的运算符,包括:

  • ! (逻辑非)

  • && (逻辑与, "and" )

  • || (逻辑或, "or" )

  • == (等于)

  • != (不等于)

代码:

    // 布尔运算
    bool public _bool1 = !_bool; //取非
    bool public _bool2 = _bool && _bool1; //与
    bool public _bool3 = _bool || _bool1; //或
    bool public _bool4 = _bool == _bool1; //相等
    bool public _bool5 = _bool != _bool1; //不相等

上面的代码中:变量_bool的取值是true_bool1_bool的非,为false_bool && _bool1false_bool || _bool1true_bool == _bool1false_bool != _bool1true
值得注意的是:&&||运算符遵循短路规则,这意味着,假如存在f(x) || g(y)的表达式,如果f(x)trueg(y)不会被计算,即使它和f(x)的结果是相反的

2. 整型

整型是solidity中的整数,最常用的包括

    // 整型
    int public _int = -1; // 整数,包括负数
    uint public _uint = 1; // 正整数
    uint256 public _number = 20220330; // 256位正整数

常用的整型运算符包括:

  • 比较运算符(返回布尔值): <=<==!=>=>

  • 算数运算符: +-, 一元运算 -+*/%(取余),**(幂)

代码:

    // 整数运算
    uint256 public _number1 = _number + 1; // +,-,*,/
    uint256 public _number2 = 2**2; // 指数
    uint256 public _number3 = 7 % 2; // 取余数
    bool public _numberbool = _number2 > _number3; // 比大小

大家可以跑一下代码,看看这4个变量分别是多少。答对奖励个POAP

3. 地址类型

地址类型(address)存储一个 20 字节的值(以太坊地址的大小)。地址类型也有成员变量,并作为所有合约的基础。有普通的地址和可以转账ETH的地址(payable)。payable的地址拥有balancetranfer()两个成员,方便查询ETH余额以及转账。

代码

    // 地址
    address public _address = 0x7A58c0Be72BE218B41C608b7Fe7C5bB630736C71;
    address payable public _address1 = payable(_address); // payable address,可以转账、查余额
    // 地址类型的成员
    uint256 public balance = _address1.balance; // balance of address

下一讲介绍函数的时候,会介绍如何使用地址类型。

4. 定长字节数组

字节数组bytes分两种,一种定长(byte, bytes8, bytes32),另一种不定长。定长的属于数值类型,不定长的是引用类型(之后讲)。
定长bytes可以存一些数据,消耗gas比较少。

代码:

    // 固定长度的字节数组
    bytes32 public _byte32 = "MiniSolidity"; 
    bytes1 public _byte = _byte32[0]; 

MiniSolidity变量以字节的方式存储进变量_byte32,转换成16进制为:0x4d696e69536f6c69646974790000000000000000000000000000000000000000

_byte变量存储_byte32的第一个字节,为0x4d

5. 枚举 enum

枚举(enum)是solidity中用户定义的数据类型。它主要用于为uint分配名称,是程序易于阅读和维护。它与C语言中的enum类似,把名称从0开始uint表示:

    // 用enum将uint 0, 1, 2表示为Buy, Hold, Sell
    enum ActionSet { Buy, Hold, Sell }
    // 创建enum变量 action
    ActionSet action = ActionSet.Buy;

它可以显式的和uint相互转换,并会检查转换的正整数是否在枚举的长度内,不然会报错:

    // enum可以和uint显式的转换
    function enumToUint() external view returns(uint){
        return uint(action);
    }

enum的一个比较冷门的变量,几乎没什么人用。

在remix上验证

  • 部署合约后可以查看每个类型的变量具体的数值
部署合约后可以查看每个类型的变量具体的数值
部署合约后可以查看每个类型的变量具体的数值
  • enum和uint转换的示例
enum和uint转换的示例1
enum和uint转换的示例1
enum和uint转换的示例2
enum和uint转换的示例2

总结

在第二讲,我们介绍了solidity中4种变量类型,并详细介绍了数值变量(value type)中的布尔型,整型,地址,定长字节数组和枚举。之后我们会介绍其他几种类型。

Subscribe to 0xAA
Receive new entries directly to your inbox.
Collectors
View
#1
#2
#3
View collectors
This entry has been permanently stored on-chain and signed by its creator.