单位和全局可用变量
以太单位
字面数字可以带有后缀 wei
、gwei
或 ether
来指定以太的子单位,其中没有后缀的以太数字被假定为 Wei。
assert(1 wei == 1);
assert(1 gwei == 1e9);
assert(1 ether == 1e18);
子单位后缀的唯一效果是乘以十的幂。
备注
在版本 0.7.0 中,单位 finney
和 szabo
已被移除。
时间单位
字面数字后可以使用后缀 seconds
、minutes
、hours
、days
和 weeks
来指定时间单位,其中秒是基本单位,单位的换算关系如下:
1 == 1 seconds
1 minutes == 60 seconds
1 hours == 60 minutes
1 days == 24 hours
1 weeks == 7 days
如果使用这些单位进行日历计算,请小心,因为并非每年都等于 365 天,甚至并非每一天都有 24 小时,因为 闰秒。 由于闰秒无法预测,确切的日历库必须由外部预言机更新。
备注
由于上述原因,后缀 years
在版本 0.5.0 中已被移除。
这些后缀不能应用于变量。例如,如果你想以天为单位解释函数参数,可以如下进行:
function f(uint start, uint daysAfter) public {
if (block.timestamp >= start + daysAfter * 1 days) {
// ...
}
}
特殊变量和函数
有一些特殊变量和函数始终存在于全局命名空间中,主要用于提供有关区块链的信息或是通用的实用函数。
区块和交易属性
blockhash(uint blockNumber) returns (bytes32)
:给定区块的哈希,当blocknumber
是最近 256 个区块之一时;否则返回零blobhash(uint index) returns (bytes32)
:与当前交易关联的index
-th blob 的版本哈希。 版本哈希由一个表示版本的单字节(当前为0x01
)和 KZG 承诺的 SHA256 哈希的最后 31 字节组成(EIP-4844)。 如果不存在具有给定索引的 blob,则返回零。block.blobbasefee
(uint
):当前区块的 blob 基础费用(EIP-7516 和 EIP-4844)block.chainid
(uint
):当前链 IDblock.coinbase
(address payable
):当前区块矿工的地址block.difficulty
(uint
):当前区块的难度(EVM < Paris
)。对于其他 EVM 版本,它作为block.prevrandao
的弃用别名 (EIP-4399)block.gaslimit
(uint
):当前区块的 gas 限制block.number
(uint
):当前区块编号block.prevrandao
(uint
):由信标链提供的随机数(EVM >= Paris
)block.timestamp
(uint
):当前区块的时间戳,以自 Unix 纪元以来的秒数表示gasleft() returns (uint256)
:剩余 gasmsg.data
(bytes calldata
):完整的 calldatamsg.sender
(address
):消息的发送者(当前调用)msg.sig
(bytes4
):calldata 的前四个字节(即函数标识符)msg.value
(uint
):与消息一起发送的 wei 数量tx.gasprice
(uint
):交易的 gas 价格tx.origin
(address
):交易的发送者(完整调用链)
备注
msg
的所有成员的值,包括 msg.sender
和 msg.value
可以在每次 外部 函数调用中变化。
这包括对库函数的调用。
备注
当合约在链下评估而不是在包含在区块中的交易上下文中时,你不应假设 block.*
和 tx.*
指的是来自任何特定区块或交易的值。
这些值由执行合约的 EVM 实现提供,可以是任意的。
备注
不要依赖 block.timestamp
或 blockhash
作为随机数源,除非你知道自己在做什么。
时间戳和区块哈希在一定程度上可以被矿工影响。 矿业社区中的不良行为者可以例如在选择的哈希上运行赌场支付函数, 如果他们没有收到任何补偿,例如以太,他们只需重试不同的哈希。
当前区块的时间戳必须严格大于最后一个区块的时间戳,但唯一的保证是它将在规范链中两个连续区块的时间戳之间。
备注
出于可扩展性原因,并非所有区块的区块哈希都是可用的。 你只能访问最近 256 个区块的哈希,所有其他值将为零。
备注
函数 blockhash
以前被称为 block.blockhash
,在版本 0.4.22 中被弃用,并在版本 0.5.0 中移除。
备注
函数 gasleft
以前被称为 msg.gas
,在版本 0.4.21 中被弃用,并在版本 0.5.0 中移除。
备注
在版本 0.7.0 中,别名 now
(用于 block.timestamp
)已被移除。
ABI 编码和解码函数
abi.decode(bytes memory encodedData, (...)) returns (...)
:对给定数据进行 ABI 解码,类型在括号中作为第二个参数给出。示例:(uint a, uint[2] memory b, bytes memory c) = abi.decode(data, (uint, uint[2], bytes))
abi.encode(...) returns (bytes memory)
:对给定参数进行 ABI 编码abi.encodePacked(...) returns (bytes memory)
:对给定参数执行 packed encoding。请注意,打包编码可能会产生歧义!abi.encodeWithSelector(bytes4 selector, ...) returns (bytes memory)
:对给定参数进行 ABI 编码,从第二个参数开始,并在前面添加给定的四字节选择器abi.encodeWithSignature(string memory signature, ...) returns (bytes memory)
:等同于abi.encodeWithSelector(bytes4(keccak256(bytes(signature))), ...)
abi.encodeCall(function functionPointer, (...)) returns (bytes memory)
:对functionPointer
的调用进行 ABI 编码,参数在元组中找到。执行完整的类型检查,确保类型与函数签名匹配。结果等于abi.encodeWithSelector(functionPointer.selector, (...))
备注
这些编码函数可以用于构造数据以进行外部函数调用,而无需实际调用外部函数。此外,keccak256(abi.encodePacked(a, b))
是计算结构化数据哈希的一种方法(尽管要注意,使用不同的函数参数类型可能会构造出“哈希碰撞”)。
字节成员
bytes.concat(...) returns (bytes memory)
: 将可变数量的 bytes 和 bytes1, …, bytes32 参数连接成一个字节数组
字符串成员
string.concat(...) returns (string memory)
: 将可变数量的字符串参数连接成一个字符串数组
错误处理
有关错误处理的更多详细信息以及何时使用哪个函数,请参阅 assert 和 require 的专门部分。
assert(bool condition)
如果条件不满足,则会导致 Panic 错误,从而使状态更改回滚 - 用于内部错误。
require(bool condition)
如果条件不满足,则回滚 - 用于输入或外部组件的错误。
require(bool condition, string memory message)
如果条件不满足,则回滚 - 用于输入或外部组件的错误。还提供错误消息。
revert()
中止执行并回滚状态更改
revert(string memory reason)
中止执行并回滚状态更改,提供解释字符串
数学和密码学函数
addmod(uint x, uint y, uint k) returns (uint)
计算
(x + y) % k
,其中加法以任意精度执行,并且不会在2**256
处被截取。从版本 0.5.0 开始,确保k != 0
。mulmod(uint x, uint y, uint k) returns (uint)
计算
(x * y) % k
,其中乘法以任意精度执行,并且不会在2**256
处被截取。从版本 0.5.0 开始,确保k != 0
。keccak256(bytes memory) returns (bytes32)
计算输入的 Keccak-256 哈希
备注
以前有一个名为 sha3
的 keccak256
别名,该别名在版本 0.5.0 中被移除。
sha256(bytes memory) returns (bytes32)
计算输入的 SHA-256 哈希
ripemd160(bytes memory) returns (bytes20)
计算输入的 RIPEMD-160 哈希
ecrecover(bytes32 hash, uint8 v, bytes32 r, bytes32 s) returns (address)
从椭圆曲线签名中恢复与公钥相关联的地址,或在出错时返回零。 函数参数对应于签名的 ECDSA 值:
r
= 签名的前 32 字节s
= 签名的后 32 字节v
= 签名的最后 1 字节
ecrecover
返回一个address
,而不是address payable
。有关转换,请参阅 address payable,以便在需要将资金转移到恢复的地址时使用。有关更多详细信息,请阅读 示例用法。
警告
如果使用 ecrecover
,请注意,合法签名可以在不需要相应私钥的情况下转换为不同的合法签名。在 Homestead 硬分叉中,此问题已针对 _交易_ 签名修复(请参见 EIP-2),但 ecrecover 函数保持不变。
除非你需要签名是唯一的或使用它们来识别项目,否则这通常不是问题。
OpenZeppelin 有一个 ECDSA 辅助库,你可以将其用作 ecrecover
的包装器,以避免此问题。
备注
在 私有区块链 上运行 sha256
、ripemd160
或 ecrecover
时,你可能会遇到 Out-of-Gas。这是因为这些函数被实现为“预编译合约”,并且在接收到第一个消息之前实际上并不存在(尽管它们的合约代码是硬编码的)。对不存在的合约的消息成本更高,因此执行可能会遇到 Out-of-Gas 错误。解决此问题的一种方法是在实际合约中使用它们之前,先向每个合约发送 Wei(例如 1)。在主网或测试网中这不是问题。
合约相关
this
(当前合约的类型)当前合约,显式可转换为 地址类型
super
继承层次结构中高一级的合约
selfdestruct(address payable recipient)
销毁当前合约,将其资金发送到给定的 地址类型 并结束执行。 请注意,
selfdestruct
继承自 EVM 的一些特殊性:接收合约的接收函数不会被执行。
合约实际上只在交易结束时被销毁,
revert
可能会“撤销”销毁。
此外,当前合约的所有函数都可以直接调用,包括当前函数。
警告
从 EVM >= Cancun
开始,selfdestruct
仅 将账户中的所有以太发送到给定的接收者,而不销毁合约。
然而,当 selfdestruct
在创建调用它的合约的同一交易中被调用时,
selfdestruct
在 Cancun 硬分叉之前的行为(即 EVM <= Shanghai
)得以保留,并将销毁当前合约,
删除任何数据,包括存储键、代码和账户本身。
有关更多详细信息,请参见 EIP-6780。
新行为是影响以太坊主网和测试网所有合约的网络范围内的变化。
重要的是要注意,这一变化取决于合约部署所在链的 EVM 版本。
编译合约时使用的 --evm-version
设置对此没有影响。
此外,请注意,selfdestruct
操作码在 Solidity 版本 0.8.18 中已被弃用,
如 EIP-6049 所推荐。
弃用仍然有效,编译器在使用时仍会发出警告。
在新部署的合约中强烈不建议使用,即使考虑到新行为。
对 EVM 的未来更改可能会进一步减少该操作码的功能。
备注
在版本 0.5.0 之前,有一个名为 suicide
的函数,其语义与 selfdestruct
相同。
类型信息
表达式 type(X)
可用于检索类型 X
的信息。
目前对该功能的支持有限(X
可以是合约或整数类型),但未来可能会扩展。
合约类型 C
可用的属性如下:
type(C).name
合约的名称。
type(C).creationCode
包含合约创建字节码的内存字节数组。 这可以在内联汇编中用于构建自定义创建例程,特别是通过使用
create2
操作码。 此属性 不能 在合约本身或任何派生合约中访问。它会导致字节码被包含在调用站点的字节码中,因此不可能有这样的循环引用。type(C).runtimeCode
包含合约运行时字节码的内存字节数组。 这是通常由
C
的构造函数部署的代码。 如果C
有一个使用内联汇编的构造函数,则这可能与实际部署的字节码不同。 还要注意,库在部署时会修改其运行时字节码,以防止常规调用。 此属性也适用与.creationCode
相同的限制。
除了上述属性外,接口类型 I
还可用以下属性:
type(I).interfaceId
一个
bytes4
值,包含给定接口I
的 EIP-165 接口标识符。该标识符定义为接口本身中定义的所有函数选择器的XOR
- 不包括所有继承的函数。
整数类型 T
可用的属性如下:
type(T).min
类型
T
可表示的最小值。type(T).max
类型
T
可表示的最大值。
保留关键字
这些关键字在 Solidity 中是保留的。它们可能会在未来成为语法的一部分:
after
, alias
, apply
, auto
, byte
, case
, copyof
, default
,
define
, final
, implements
, in
, inline
, let
, macro
, match
,
mutable
, null
, of
, partial
, promise
, reference
, relocatable
,
sealed
, sizeof
, static
, supports
, switch
, typedef
, typeof
,
var
.