Skip to content

Latest commit

 

History

History
186 lines (156 loc) · 6.6 KB

Azleal.md

File metadata and controls

186 lines (156 loc) · 6.6 KB
timezone
Asia/Shanghai

Azleal

  1. 自我介绍

全栈开发，重新复习一下solidity

  1. 你认为你会完成本次残酷学习吗？

可以

Notes

2024.09.23

  1. remix的使用

  2. 变量类型

    • 值类型: 赋值时候直接传递数值
    • 引用类型: 包括数组和结构体，这类变量占空间大，赋值时候直接传递地址
    • 映射类型: Mapping

2024.09.24

  1. 函数的基本形式 function <function name>(<parameter types>) {internal|external|public|private} [pure|view|payable] [virtual|override] [<modifiers>] [returns (<return types>)]{ <function body> }
  2. 数据存储的位置
    • calldata: 存在内存中，不可变，多用于参数传递
    • memory: 存在内存中，当返回结果为变长类型时必须使用memory
    • storage: 存在链上。 消耗gas的多少如下: calldata < memory < storage

一些节省gas的tips: 函数体内将storage遍历转化为memory变量，能够在后续使用的过程中有效降低gas。

2024.09.25

数组是一种引用类型，所以必须在声明定义时，加上三个数据位置（data location）关键字之一： storage , memory , calldata

  1. 静态数组
uint[3] memory memArray;
uint[3] storage storageArray;

静态数组的大小必须在编译时确定，即不能使用变量来指定数组的大小。如uint size=2; uint[size][size] memory array; 这种写法是错误的。

  1. 动态数组
uint n = 2;
uint[] memory memArray = new uint[](n);
// 仅storage才可以使用下面的方式初始化
uint[] storage storageArray = [uint(1), 2];;

2024.09.26

  1. mapping
    • 声明映射的格式为mapping(_KeyType => _ValueType).其中_KeyType只能为solidity的内置类型，_ValueType可以使用内置类型及自定义的类型(struct).
    • mapping布局, keccak256(abi.encodePacked(key, slot)).映射元素槽索引是通过keccak256我们想要的元素的键（左侧填充 0 到 32 字节）和映射的声明槽索引的串联哈希来计算的.
  2. 变量初始值
bool public _bool; // false
string public _string; // ""
int public _int; // 0
uint public _uint; // 0
address public _address; // 0x0000000000000000000000000000000000000000
enum ActionSet { Buy, Hold, Sell}
ActionSet public _enum; // 第1个内容Buy的索引0
function fi() internal{} // internal空白函数
function fe() external{} // external空白函数

2024.09.27

  1. constant,immutable变量
    • 基础类型可以定义为constant, immutable. string类型不能被定义为immutable
    • constant变量必须在声明的时候初始化，之后再也不能改变。
    • immutable变量可以在声明时或构造函数中初始化。
  2. 控制流
    • if-else
    • for循环
    • while循环
    • do-while循环
    • 三元运算: 条件 ? 条件为真的表达式 : 条件为假的表达式

2024.09.28

  1. constructor
    • 0.4.22之前的版本构造函数是合约的同名方法。之后是由constructor定义的构造函数
    • 继承了父合约的自合约构造函数的定义
       // SPDX-License-Identifier: MIT
   pragma solidity ^0.8.0;
   
   contract Parent {
       uint256 childId;
       constructor(uint256 _childId) {
           childId = _childId;
       }
   }
   
   contract Child1 is Parent(1) {
   }
   
   
   contract Child2 is Parent {
       constructor() Parent(2){}
   }
    • 父合约的构造函数没有参数时可省略。
  2. 修饰器(modifier)
    • 作用：声明函数拥有的特性，并减少代码冗余
    • 示例onlyOwner，仅允许合约的owner调用
       // SPDX-License-Identifier: MIT
   pragma solidity ^0.8.0;
   
   contract MyContract {
       address owner;
   
       // onlyOwner的定义
       modifier onlyOwner(){
           require(owner == msg.sender, "only owner is allowed");
           _;
       }
   
       constructor(){
           owner = msg.sender;
       }
   
       // onlyOwner的用法
       function withdraw() public onlyOwner{
           payable(owner).transfer(address(this).balance);
       }

       receive() external payable { }
   }
  3. 事件(event)
    • 作用：链下应用的响应，即可以通过节点的rpc监听事件；比链上存储更经济的存储方式。
    • 声明：event Transfer(address indexed from, address indexed to, uint256 value);
    • 释放：emit Transfer(from, to, amount);
    • 组成部分：
      • topics:
        • 第一部分是事件的签名
        • 之后的部分(如果存在)，对应事件中定义的indexed变量的值，注意最多有3个indexed变量。
      • data: 其余的非indexed变量的值。

2024.09.29

  1. 继承
  • 规则:
    • 父合约中的函数，如果希望子合约重写，需要加上virtual关键字
    • 子合约重写了父合约中的函数，需要加上override关键字。override可以修饰函数或者变量。
  • 多重继承:
    • 顺序: 辈分越高越在前 
      contract Erzi is Yeye, Baba{
   // 继承两个function: hip()和pop()，输出值为Erzi。
   function hip() public virtual override(Yeye, Baba){
       emit Log("Erzi");
   }

   function pop() public virtual override(Yeye, Baba) {
       emit Log("Erzi");
   }
}
    • modifier也可以被继承，需要继承的modifier在父类中用virtual标识，在子类中用override标识
    • 钻石继承super的调用顺序

  1. 抽象合约和接口

    • 抽象合约：合约用abstract标识，其中至少有一个abstract方法
    • 接口：
      • 不能包含状态变量
      • 不能包含构造函数
      • 不能继承除接口外的其他合约
      • 所有函数都必须是external且不能有函数体
      • 继承接口的非抽象合约必须实现接口定义的所有功能

  2. 异常

    • error: 方便且高效（省gas）地向用户解释操作失败的原因.

      • 定义：error TransferNotOwner(address sender); // 自定义的带参数的error
      • 使用：revert TransferNotOwner(msg.sender);

    • require: 好用，缺点是gas随着描述异常的字符串长度增加，比error命令要高。

      • 用法：require(_owners[tokenId] == msg.sender, "Transfer Not Owner");

    • assert: 通常用于合约的执行结果的检查，确认结果是符合预期的。用法很简单，但不能解释抛出异常的原因

      • 用法：assert(_success);