Solidity入门指南：0.8.7版本详解与实战示例

需积分: 0 167 浏览量更新于2024-06-30 收藏 834KB PDF 举报

Solidity基础1是一篇由知乎用户"山上的石头"撰写的详细教程，针对区块链初学者和高级开发者，特别是对以太坊智能合约感兴趣的读者。该文章基于Solidity 0.8.7版本，提供了全面的智能合约开发指南，包括但不限于编写基础合约、理解地址与uint类型、事件触发机制、构造函数的使用以及智能合约安全的重要性和注意事项。文章结构经过精心设计，以清晰的逻辑引导读者从零开始学习Solidity，特别注重通过实例演示如何铸造和管理代币。"minter"变量用于指定铸币者地址，"balances"映射用于存储每个地址的余额，并通过"Sent"事件公开转账信息。构造函数仅在创建合约时执行一次，确保其独特性。值得注意的是，作者在编写过程中，不仅参考了英文文档，还结合中文文档和Stack Overflow等社区资源，力求提供易于理解和操作的指导。文章虽超过7万字，但篇幅长而内容丰富，适合深度学习者作为入门和参考手册使用。此外，作者表示会继续深化讲解，涵盖智能合约的攻击方式、以太坊虚拟机(EVM)的工作原理、字节码的解析等内容，以及分享前沿的学术研究成果。对于对 Solidity 和区块链技术有兴趣的人来说，这是一份不可多得的参考资料，鼓励读者点赞关注以获取后续更新。 Solidity基础1是区块链开发者的一座桥梁，它旨在通过实用的教程和深入的理论知识，帮助读者扎实掌握Solidity编程技巧，同时提升对以太坊生态系统安全性的理解。

constant 的常量将会把赋值给它的表达式复制到所有访问它的位置，然后再进行求值的运算，类似于 C

语言的 #define a (7*5)。immutable 的不变量则是将表达式的值复制到访问它的位置，但是占用固

定的32个字节，类似于 #define a (35) 。因此，不可变量占用空间较多，而且实际计算表达式时会

优化，constant 的常量可能更加省gas

只有值类型或者常量字符串 string 才支持 constant 和 immutable 的标识。

函数

自由函数

函数既可以定义在合约内，也可以定义在合约外。

定义在合约外的函数叫做自由函数，一定是internal类型，就像一个内部函数库一样，会包含在所有调

用他们的合约内，就像写在对应位置一样。但是自由函数不能直接访问全局变量和其他不在作用域下的函

数（比如，需要通过地址引入合约，再使用合约内的函数）。

// SPDX-License-Identifier: GPL-3.0

pragma solidity >=0.7.4;

uint constant X = 32**22 + 8;

contract C {

 string constant TEXT = "abc";

 bytes32 constant MY_HASH = keccak256("abc");

 uint immutable decimals;

 uint immutable maxBalance;

 address immutable owner = msg.sender;

 constructor(uint _decimals, address _reference) {

   decimals = _decimals;

   // Assignments to immutables can even access the environment.

   maxBalance = _reference.balance;

 }

 function isBalanceTooHigh(address _other) public view returns (bool) {

   return _other.balance > maxBalance;

 }

}

// SPDX-License-Identifier: GPL-3.0

pragma solidity >0.7.0 <0.9.0;

function sum(uint[] memory _arr) pure returns (uint s) {

 for (uint i = 0; i < _arr.length; i++)

   s += _arr[i];

}

contract ArrayExample {

 bool found;

 function f(uint[] memory _arr) public {

   // This calls the free function internally.

   // The compiler will add its code to the contract.

   uint s = sum(_arr);

   require(s >= 10);

   found = true;

 }

}

在try/catch中的回滚，不会视作状态改变。

事件

事件是对EVM日志的简短总结，可以通过RPC接口监听。触发事件时，设置好的参数就会记录在区块链的

交易日志中，永久的保存，但是合约本身是不可以访问这些日志的。可以通过带有日志的Merkle证明的合

约，来检查日志是否存在于区块链上。由于合约中仅能访问最近的 256 个区块哈希，所以还需要提供区块

头信息。

也可以对事件中至多三个参数附加 indexed 属性，他们就会成为 topics 数据结构的一部分（详细请查

看 ABI 部分编码的方式）。一个topic只可以容纳32个字节，对于indexed的引用类型会把值的 Keccak-

256 hash 储存在一个topic。topic 允许通过过滤器来搜索事件，比如出发事件的合约地址。

没有 indexed 的参数就会被ABI编码后存储在日志。

如果没有使用 anonymous 标识符的话，事件的签名的哈希值就会是一个topic，如果使用了的话就无法

通过除了触发它的合约地址之外的方式（如：事件的参数）去筛选事件。但是匿名事件在部署和调用时更

节省gas，而且可以使用四个index(虽然没啥用了)。

类型

Solidity的值传递和引用传递有自己的规则，通过不同的存储域决定，后面详述。

默认值：Solidity中不存在undefined或null，每种变量都有自己的默认值，一般是“零状态”。

运算符优先级

布尔类型

bool:常量值为true和false

整型

int / uint ：分别表示有符号和无符号的不同位数的整型变量。支持关键字 uint8 到 uint256 （无符

号，从 8 位到 256 位）以及 int8 到 int256，以 8 位为步长递增。 uint 和 int 分别是 uint256 和

int256 的别名。

pragma solidity >=0.4.21 <0.9.0;

contract ClientReceipt {

 event Deposit(

   address indexed _from,

   bytes32 indexed _id,

   uint _value

 );

 function deposit(bytes32 _id) public payable {

   // 事件使用 emit 触发事件。

   // 我们可以过滤对 `Deposit` 的调用，从而用 Javascript API 来查明对这个函数的任何

调用（甚至是深度嵌套调用）。

   emit Deposit(msg.sender, _id, msg.value);

 }

}

剩余51页未读，继续阅读

查理捡钢镚

粉丝: 23
资源: 317

Solidity入门指南：0.8.7版本详解与实战示例

Solidity开发基础

solidity

solidity基础学习材料

Solidity-Basics:了解Solidity基础知识！ （2021.03.21〜）

Solidity编程基础与实战指南

Solidity语言基础教程

Solidity语言基础入门

Solidity编程语言基础

Solidity语言基础及开发环境搭建

solidity基础

最新资源

Solidity-Basics:了解Solidity基础知识！（2021.03.21〜）