五、映射类型:
映射型态
Mapping Type
映射钥匙Key → 真实资料 Value
mapping(KeyType → ValueType) VariableName
·关键字:mapping
·宣告一个映射,后面需定义钥匙(Key)与资料(Value)的型态
·KeyType
·只能使用“内建型态(int,uint,……)”、“bytes”、“string”,或者“contract”与“列举enum型态”。
·不支持“使用者自定义”或“复杂”的型态,如“映射mapping”、“结构structs”或“阵列arry”
·ValueType
·可以是任何型态
·各种值的预设值:
字串→预设值→空
数字→预设值→0
布尔值→预设值→0/false
mapping的原理
·所有的value都会被初始化成“预设值”。
·原因是在以太坊的空间上,所有未初始化的空间,都是0,换言之就是每个型态被迪定义的“预设置”。
·Key并不会被存在mapping型态里,因此使用者没办法从mapping中取得所有的Key
·那他是怎么查询的呢?
·keccak256(Key)→Value
·因此,mapping没有办法记录长度、大小、在没有key的情况下也不能列出所有的value
Example:学号与成绩
·建立一份合约class
·建立一个映射,将学号映射到成绩中:
·学号uint
·成绩uint
·提供一个函数update来更新学生成绩
·update(uint student_id,uint score)
·提供一个函数getScore来取得学生成绩
·get(uint students_id) → uint score
代码示例:
//SPDX-License-Identifier:MIT
pragma solidity ^0.8.17;
contract Class {
mapping(uint => uint) Students;
function update(uint id,uint score) public {
Students[id] = score;
}
function set(uint id) public view returns(uint) {
return Students[id];
}
}
六、循环体:
控制结构
Control Structure
前言:在程序中会遇见同一件事情需要用很多次,需要重复很多次,这时不可能将代码复制很多次,就需用“控制结构”进行控制。
·关键词:if
·当满足“条件”的时候,则执行“{}内的代码”
·条件必须是个“布尔值”
·也就是逻辑判断,如:未满十八岁、是否高于最低薪资、论文有无抄袭、参考资料有无正确引用等。
若“000”,则“XXX”,否则“ZZZ”
if(条件){/*做点事儿*/} else{/*做点儿别的事儿*/}
·关键字:if-else
·当满足“条件”的时候,则执行“{}内的代码”
·若不满足“条件”则执行“else{}内的代码”
很多条件的情况
if(条件A){} else if (条件B){}……
·关键字:if-(else-if)*-else
·当有多个条件时,可以排序多个条件,else不一定要有
Example:成绩计算(if)
//SPDX-License-Identifier:MIT
pragma solidity ^0.8.17;
contract Class {
//声明一个列表然后将值赋予列表
uint[] Scores = [90,91,92,93,94];
//定义一个函数X,这个函数公开可见可读可写,作用是返回一个无符号整数,输出元素计算总和,同时index自加一直到预设条件
function X() public view returns(uint) {
//这里将Sum预设值归零
uint Sum = 0;
//这里将index预设值归零
uint index = 0;
//这里开始while循环体
while (index < 5) {
//这里是Sum将Score中的每一个元素输出并相加
Sum = Sum + Scores[index];
//index自加确保在列表元素输出完后,能够跳出循环
index++;
}
//最终返回总和
return Sum;
}
}
重复做事 for
for (宣告;条件;事后修改的事) {/*做点事儿*/}
·关键字:for( ; ; ){}
·在满足条件下,重复执行{}内的代码。
·宣告:
·循环事实上就是计数器,因此宣告是为了帮助我们制造出计数器的变数,计数器不一定是整数,只要能被利用在“条件判断中”的型态都可以使用。
·要遍历阵列的所有元素:for (uint index; ; ) {……}
·条件:同if
·事后修改的事:比如说增加计数器等修改的行为。
·若“条件”没写,则为一个“无限循环”是停不下来的。
Example:统计学生成绩(for)
//SPDX-License-Identifier:MIT
pragma solidity ^0.8.17;
contract Class {
uint[] Score = [90,91,92,93,94];
function X() public view returns(uint) {
//声明一个Sum变量,将其预设值归零
uint Sum = 0;
//这里for循环结构是(宣告;条件;事后修改的值){执行代码}
//事实上这里宣告就是声明一个可以结束循环体的循环控制值
for ( uint index = 0;index < 5;index++ ) {
Sum = Sum + Score[index];
}
return Sum;
}
}
重复做事 while
·关键字:while( ) { }
·在特定条件下,重复执行{ }内的代码。
·条件:同if
·若“条件”没写,则为一个“无限循环”是停不下来的。
Example:统计成绩(while)
//SPDX-License-Identifier:MIT
pragma solidity ^0.8.17;
contract Class {
uint[] Score = [90,91,92,93,94];
function X() public view returns(uint) {
//声明一个Sum变量,将其预设值归零
uint Sum = 0;
//这里for循环结构是(宣告;条件;事后修改的值){执行代码}
//事实上这里宣告就是声明一个可以结束循环体的循环控制值
for ( uint index = 0;index < 5;index++ ) {
Sum = Sum + Score[index];
}
return Sum;
}
}
离开当前循环 break
break
·关键字:break
· 跳出当前循环
·若嵌套状态,如for( ){for( ){for( ){ } } },就需要三个break。
跳出本次循环 continue
continue
·关键字:continue;
·跳过本次循环
·在“for”时,跳过以后会执行“事后修改的事”;
·在“while”时,就会跳回条件判断
·当执行到continue的时候,会无条件跳过continue后的代码。