Solidity合约
温室小书生室d
发表于 2022-12-30 00:21:01
110
0
0
调用另一个合约实例的函数时,会执行一个 EVM 函数调用,这个操作会切换执行时的上下文,这样,前一个合约的状态变量就不能访问了。
1 v4 H. `3 g* o0 {% Z3 p: F
创建合约
可以通过以太坊交易“从外部”或从 Solidity 合约内部创建合约。2 ?. V( U. l8 K6 B4 I
一些集成开发环境,例如 Remix , 通过使用一些用户界面元素使创建过程更加流畅。* O5 z( Y' i" Z0 y/ C: h2 r( S
在以太坊上编程创建合约最好使用 JavaScript API web3.js 。
现在,我们已经有了一个叫做 web3.eth.Contract _ 的方法能够更容易的创建合约。
创建合约时,会执行一次构造函数(与合约同名的函数)。构造函数是可选的。只允许有一个构造函数,这意味着不支持重载。# K! d' C! _ G! v7 F/ S2 n0 j, @
… index:: constructor;arguments
在内部,构造函数参数在合约代码之后通过 :ref:ABI 编码 传递,但是如果你使用 web3.js9 o7 W) X( y% B# m$ N
则不必关心这个问题。+ L; R3 O/ L3 O! Y$ r6 _1 {/ |
如果一个合约想要创建另一个合约,那么创建者必须知晓被创建合约的源代码(和二进制代码)。+ j `3 v/ t) _) o. i
这意味着不可能循环创建依赖项。
::
pragma solidity ^0.4.16;
contract OwnedToken {1 h9 i; D3 V6 m0 j8 k
// TokenCreator 是如下定义的合约类型.
// 不创建新合约的话,也可以引用它。/ U) x. N: U! Q5 w" g
TokenCreator creator;
address owner;( K L/ b; [1 h8 Z2 g* }% M
bytes32 name;
// 这是注册 creator 和设置名称的构造函数。( q4 [4 \4 Y9 Z9 j: H H
function OwnedToken(bytes32 _name) public {
// 状态变量通过其名称访问,而不是通过例如 this.owner 的方式访问。% ~: D1 f( N# B {
// 这也适用于函数,特别是在构造函数中,你只能像这样(“内部地”)调用它们,
// 因为合约本身还不存在。7 v2 n' U# Y- S% ^& S
owner = msg.sender;
// 从 `address` 到 `TokenCreator` ,是做显式的类型转换 z$ |0 F+ O" w! _
// 并且假定调用合约的类型是 TokenCreator,没有真正的方法来检查这一点。
creator = TokenCreator(msg.sender);
name = _name;2 I+ ^/ z( V% y+ `# V' ^
}
function changeName(bytes32 newName) public {5 Y0 z6 U9 g0 r3 `( j
// 只有 creator (即创建当前合约的合约)能够更改名称 —— 因为合约是隐式转换为地址的,
// 所以这里的比较是可行的。
if (msg.sender == address(creator))) v: M: f' M. k4 p2 d* _
name = newName;
}
function transfer(address newOwner) public {* d6 e' V& W$ t+ a; X* S/ h! ?
// 只有当前所有者才能发送 token。, w: H P" s6 ^2 G- E! k5 A
if (msg.sender != owner) return;
// 我们也想询问 creator 是否可以发送。1 C9 j9 U# `2 J* n
// 请注意,这里调用了一个下面定义的合约中的函数。/ m3 m" j8 m6 x
// 如果调用失败(比如,由于 gas 不足),会立即停止执行。' ]9 C) a% H/ N5 A! N) s) \) ]* o3 }
if (creator.isTokenTransferOK(owner, newOwner))
owner = newOwner;8 b' p" E0 l0 \7 B. c! w
}
}
contract TokenCreator {& s4 _0 j M* C
function createToken(bytes32 name)* ?3 J5 ^. t0 ~3 a% P3 ^# e J; f
public
returns (OwnedToken tokenAddress). W1 m* U5 S# ^2 a% T
{
// 创建一个新的 Token 合约并且返回它的地址。9 x( X- Z1 r- B3 F% P9 n
// 从 JavaScript 方面来说,返回类型是简单的 `address` 类型,因为
// 这是在 ABI 中可用的最接近的类型。$ U% l$ N/ ]) @/ N$ X
return new OwnedToken(name);
}: C. K0 d7 D5 s( r6 S9 c
function changeName(OwnedToken tokenAddress, bytes32 name) public {3 p3 T3 B( V$ N9 U! u3 f/ ]
// 同样,`tokenAddress` 的外部类型也是 `address` 。
tokenAddress.changeName(name);4 v. @0 h6 v: @! [
}" u) Y4 _: }3 F$ t& \% K
function isTokenTransferOK(address currentOwner, address newOwner)$ X2 {) r% f/ ^) C4 r; _3 \1 k
public
view
returns (bool ok)
{0 B2 v' \( c$ v/ k: a N
// 检查一些任意的情况。
address tokenAddress = msg.sender;
return (keccak256(newOwner) & 0xff) == (bytes20(tokenAddress) & 0xff);: ~5 d) z- {! B5 c# n5 S
}1 L" H M5 r: `0 A2 q) W
}. d5 M8 `( z9 l' W' ^, P" x
0 A4 w6 H+ J( q8 C. I" S( E
可见性和 getter 函数
由于 Solidity 有两种函数调用(内部调用不会产生实际的 EVM 调用或称为“消息调用”,而外部调用则会产生一个 EVM 调用), V; L. j7 `5 A! K$ t( j/ {
函数和状态变量有四种可见性类型。
函数可以指定为 external ,public ,internal 或者 private,默认情况下函数类型为 public。% Y ?7 }7 ]! j4 {# _) o
对于状态变量,不能设置为 external ,默认是 internal 。
external :. W$ s* b: i% V2 V7 ]9 c
外部函数作为合约接口的一部分,意味着我们可以从其他合约和交易中调用。
一个外部函数 f 不能从内部调用(即 f 不起作用,但 this.f() 可以)。
当收到大量数据的时候,外部函数有时候会更有效率。' h# h; g8 F% ^8 S8 S8 m+ v" v
public :
public 函数是合约接口的一部分,可以在内部或通过消息调用。对于公共状态变量,
会自动生成一个 getter 函数(见下面)。
internal :2 s7 O. s2 ?4 S0 _+ @
这些函数和状态变量只能是内部访问(即从当前合约内部或从它派生的合约访问),不使用 this 调用。6 I J. @- Q4 g C) i1 G% ~
private :
private 函数和状态变量仅在当前定义它们的合约中使用,并且不能被派生合约使用。: T' i+ G7 Z7 g2 K8 I5 j
… note::) B* }1 U% \2 I' I
合约中的所有内容对外部观察者都是可见的。设置一些 private 类型只能阻止其他合约访问和修改这些信息,
但是对于区块链外的整个世界它仍然是可见的。
可见性标识符的定义位置,对于状态变量来说是在类型后面,对于函数是在参数列表和返回关键字中间。$ v/ s1 h, i9 t8 z4 k7 d
::
pragma solidity ^0.4.16;3 ~! [1 g) p3 f1 ? s0 Z7 m
contract C {
function f(uint a) private pure returns (uint b) { return a + 1; }
function setData(uint a) internal { data = a; }
uint public data;
}% _. z# w* L. H
在下面的例子中,D 可以调用 c.getData() 来获取状态存储中 data 的值,但不能调用 f 。4 @2 t( ~- W6 X3 Z T% B1 E9 v" V
合约 E 继承自 C ,因此可以调用 compute。
::
// 下面代码编译错误) D. [7 M7 d. e, h9 u' M. x
pragma solidity ^0.4.0;4 s$ A' P6 y, g4 K4 F P1 A' ?6 v
contract C {
uint private data;" N6 E, T- q: W
function f(uint a) private returns(uint b) { return a + 1; }
function setData(uint a) public { data = a; }! P4 \- b! X, k: t4 q1 S* p
function getData() public returns(uint) { return data; }
function compute(uint a, uint b) internal returns (uint) { return a+b; }
}
contract D {9 j" U1 w7 q5 C, p: z5 r% I; n( f
function readData() public {: p0 h+ B( P$ y
C c = new C();
uint local = c.f(7); // 错误:成员 `f` 不可见
c.setData(3);0 `6 e2 o1 V6 r; y
local = c.getData();! N$ y' t4 J: T3 p5 `
local = c.compute(3, 5); // 错误:成员 `compute` 不可见% v0 f0 r C! {, ^$ {0 v" ]( }5 K
}
}- i' q& S$ b: T3 b* U
contract E is C {
function g() public {
C c = new C();
uint val = compute(3, 5); // 访问内部成员(从继承合约访问父合约成员)7 B. e# N; t8 Q. ~( J2 L E- P. f
}
}. z7 P: N7 y# r7 N' P
Getter 函数
编译器自动为所有 public 状态变量创建 getter 函数。对于下面给出的合约,编译器会生成一个名为 data 的函数,+ M- @! _9 c+ r7 ?+ Y% b0 F" L$ U
该函数不会接收任何参数并返回一个 uint ,即状态变量 data 的值。可以在声明时完成状态变量的初始化。% x* n ^, I; B0 f" _
::9 m6 n7 \$ m& k+ @. v1 w3 ~
pragma solidity ^0.4.0;" I% b* l, H1 q; f1 E0 j
contract C {
uint public data = 42;- U0 W, V/ ^# z
}2 c ]6 w- g$ k! b; u. O% ~
contract Caller {
C c = new C();5 _' `) V& }) Z9 a+ q
function f() public {
uint local = c.data();
}
}1 X/ x4 P r) `8 ], _
getter 函数具有外部可见性。如果在内部访问 getter(即没有 this. ),它被认为一个状态变量。
如果它是外部访问的(即用 this. ),它被认为为一个函数。
::
pragma solidity ^0.4.0;
contract C {6 [/ ^3 X3 Y& t1 \/ N) ^
uint public data;4 X8 w1 p& j3 U! ~0 T# _% O
function x() public {) \6 R% o( Y$ E( a6 ]& f; }
data = 3; // 内部访问
uint val = this.data(); // 外部访问
}
}
下一个例子稍微复杂一些:( m# X" H/ G# |
::
pragma solidity ^0.4.0;, A4 C% R$ _% T+ U$ w3 m N3 F
contract Complex {
struct Data {
uint a;
bytes3 b;
mapping (uint => uint) map;
}" \0 F" ~+ z/ {1 X8 i7 _
mapping (uint => mapping(bool => Data[])) public data;
}
这将会生成以下形式的函数 ::7 M- z- f, p/ b
function data(uint arg1, bool arg2, uint arg3) public returns (uint a, bytes3 b) {5 M: x0 W) m! v0 Q
a = data[arg1][arg2][arg3].a;
b = data[arg1][arg2][arg3].b;0 r9 u; M. \ A
}
请注意,因为没有好的方法来提供映射的键,所以结构中的映射被省略。! m$ w s- d/ M- T6 Q% v. j
2 }: W3 K8 i& |& k5 n! L# ?
函数 |modifier|
' B+ G' K' V# K" K) N! O
使用 |modifier| 可以轻松改变函数的行为。 例如,它们可以在执行函数之前自动检查某个条件。9 N% _6 u- S! ]
|modifier| 是合约的可继承属性,
并可能被派生合约覆盖。+ i, I$ N- w$ c- b9 p
::
pragma solidity ^0.4.11;
contract owned {
function owned() public { owner = msg.sender; }
address owner;
// 这个合约只定义一个修饰器,但并未使用: 它将会在派生合约中用到。
// 修饰器所修饰的函数体会被插入到特殊符号 _; 的位置。
// 这意味着如果是 owner 调用这个函数,则函数会被执行,否则会抛出异常。
modifier onlyOwner {
require(msg.sender == owner);
_;3 {. u9 }6 s( f+ p5 x4 {: N) \8 J
}
}: C" w5 e; X% j( h$ f. |
contract mortal is owned {* F$ N2 N0 N0 n: R/ ^" R
// 这个合约从 `owned` 继承了 `onlyOwner` 修饰符,并将其应用于 `close` 函数,& z7 C/ |, B$ i# W( g2 `
// 只有在合约里保存的 owner 调用 `close` 函数,才会生效。
function close() public onlyOwner {
selfdestruct(owner);
}
}
contract priced {& x0 T+ `$ G& h- R; j8 i
// 修改器可以接收参数: h/ p. ]. u1 J8 x; R& E, F3 @
modifier costs(uint price) {7 @) @; V) v! r6 t) x/ _3 h
if (msg.value >= price) {
_; w! U: N* A, E+ d8 \8 S p* O# ^0 ?
}
}' X5 e4 v# Q- s- G
}
contract Register is priced, owned {# N* H1 w* C6 I- W: k K
mapping (address => bool) registeredAddresses;" o0 Q7 \6 m/ l, }5 l
uint price;
function Register(uint initialPrice) public { price = initialPrice; }
// 在这里也使用关键字 `payable` 非常重要,否则函数会自动拒绝所有发送给它的以太币。
function register() public payable costs(price) {
registeredAddresses[msg.sender] = true;6 Z' L0 F. A5 M% M X+ z7 G
}- b4 V3 b; v+ d: [& }8 n
function changePrice(uint _price) public onlyOwner {$ f2 C, i E2 T) x0 D
price = _price;8 B; H& _- S# V7 p5 f
}* b+ t' m8 O7 m
}
contract Mutex {1 F/ q7 F w2 U3 ~: O: `. `3 U
bool locked; ~$ n) d0 { o7 T
modifier noReentrancy() {
require(!locked);7 }$ k6 j! y% d5 g& Y
locked = true; b3 R: z# b, T: w; I( [
_;
locked = false;
}& j" l) U# e9 V7 X1 X
// 这个函数受互斥量保护,这意味着 `msg.sender.call` 中的重入调用不能再次调用 `f`。/ K( k: f. Q% u- R1 L* j
// `return 7` 语句指定返回值为 7,但修改器中的语句 `locked = false` 仍会执行。9 V8 k7 A6 h% [7 G/ `0 L
function f() public noReentrancy returns (uint) {
require(msg.sender.call());6 D7 g4 F/ H$ I7 Z, F; h+ E
return 7;
}
}, V3 v' a1 a1 Y3 U
如果同一个函数有多个 |modifier|,它们之间以空格隔开,|modifier| 会依次检查执行。9 w6 o5 ]: T; ]! {4 K9 G) \+ y
… warning::
在早期的 Solidity 版本中,有 |modifier| 的函数,return 语句的行为表现不同。
|modifier| 或函数体中显式的 return 语句仅仅跳出当前的 |modifier| 和函数体。
返回变量会被赋值,但整个执行逻辑会从前一个 |modifier| 中的定义的 “_” 之后继续执行。
|modifier| 的参数可以是任意表达式,在此上下文中,所有在函数中可见的符号,在 |modifier| 中均可见。% F6 c' y N( M% h
在 |modifier| 中引入的符号在函数中不可见(可能被重载改变)。
Constant 状态变量: j& E* ?5 S/ t
# O" ^, Y* h) [4 `. ]* u; u
状态变量可以被声明为 constant。在这种情况下,只能使用那些在编译时有确定值的表达式来给它们赋值。3 G7 U( e- v9 K8 s
任何通过访问 storage,区块链数据(例如 now, this.balance 或者 block.number)或执行数据( msg.gas )- J5 j$ v$ f/ k" X+ o. U0 S& T
或对外部合约的调用来给它们赋值都是不允许的。/ ], z3 s4 x4 }4 e: G9 T. L0 Y( `
在内存分配上有边界效应(side-effect)的表达式是允许的,但对其他内存对象产生边界效应的表达式则不行。
内建(built-in)函数 keccak256,sha256,ripemd160,ecrecover,addmod 和 mulmod 是允许的(即使他们确实会调用外部合约)。1 f! e. y, X) F2 H1 b+ Q( I
允许带有边界效应的内存分配器的原因是这将允许构建复杂的对象,比如查找表(lookup-table)。
此功能尚未完全可用。! F7 O. I9 o' }$ p' F: }5 u( D
编译器不会为这些变量预留存储,它们的每次出现都会被替换为相应的常量表达式(这将可能被优化器计算为实际的某个值)。1 T; `4 r l2 V, n/ R
不是所有类型的状态变量都支持用 constant 来修饰,当前支持的仅有值类型和字符串。$ m9 H& v) N v. D
::, E! R6 I" {2 M
pragma solidity ^0.4.0;
contract C {5 n' m* k9 C( J# v( q
uint constant x = 32**22 + 8;; s: H! H9 s. ^; G: D
string constant text = "abc";0 l: Y+ Z/ N; G ]2 M" n
bytes32 constant myHash = keccak256("abc");
}. d8 w( {9 l2 ]. T" o+ u) i2 l- |
… index:: ! functions K; Q' s) j4 n1 z' O
… _functions:- s9 B( T" W' Y% v4 `5 A
函数
, R* g: I- ]5 {; M4 K6 t
View 函数
可以将函数声明为 view 类型,这种情况下要保证不修改状态。
下面的语句被认为是修改状态:
#. 修改状态变量。, @ O' W" G2 v1 m. ~+ D( B3 S' T
#. :ref:产生事件 。
#. :ref:创建其它合约 。
#. 使用 selfdestruct。9 d( l5 S) e7 r
#. 通过调用发送以太币。, f# [5 o5 m6 I w% _' i
#. 调用任何没有标记为 view 或者 pure 的函数。
#. 使用低级调用。6 S) p) f: ?) q" s7 k# T8 l, D
#. 使用包含特定操作码的内联汇编。% R5 x0 E9 z4 z6 ?7 p
::
pragma solidity ^0.4.16;
contract C {7 p% d2 U9 W" u9 [( J; U
function f(uint a, uint b) public view returns (uint) {
return a * (b + 42) + now;5 A `, `; b6 |! y
}
}
… note::
constant 是 view 的别名。
… note::0 h! A7 b9 W) W8 I
Getter 方法被标记为 view。
… warning::2 V2 Z( Q! p6 M% O5 |) @/ E
编译器没有强制 view 方法不能修改状态。2 {) Z8 K7 f6 ^) |5 g9 G4 d
… index:: ! pure function, function;pure
… _pure-functions:9 ^9 W" X5 T+ N. T+ g4 x
Pure 函数8 P- ~2 B1 E Q
函数可以声明为 pure ,在这种情况下,承诺不读取或修改状态。
除了上面解释的状态修改语句列表之外,以下被认为是从状态中读取:
#. 读取状态变量。- a5 v! j4 z1 W& {
#. 访问 this.balance 或者 .balance。: Q9 f6 }& t3 k1 k5 O4 H1 V
#. 访问 block,tx, msg 中任意成员 (除 msg.sig 和 msg.data 之外)。1 D [* G" a9 @8 \+ `' ]& c
#. 调用任何未标记为 pure 的函数。
#. 使用包含某些操作码的内联汇编。4 l1 _8 G2 d; [- _/ n; Y+ N
::/ z$ m3 W9 g3 t# J# s. m+ ~
pragma solidity ^0.4.16;, q* y5 c) _+ z8 |* F. O7 I' n
contract C {& w$ N& K0 E9 Y& v9 \, M6 O# L
function f(uint a, uint b) public pure returns (uint) {5 r& g% \5 `7 T: A, c0 N
return a * (b + 42);
}) y' p/ g' L# _1 a! u# K6 i
}# S/ K9 _+ o+ |, S5 Z2 C- k
… warning::
编译器没有强制 pure 方法不能读取状态。
Fallback 函数! e. X, s7 m9 ~, a% p( x2 k
合约可以有一个未命名的函数。这个函数不能有参数也不能有返回值。$ R1 q j! d( c: h \) k
如果在一个到合约的调用中,没有其他函数与给定的函数标识符匹配(或没有提供调用数据),那么这个函数(fallback 函数)会被执行。
除此之外,每当合约收到以太币(没有任何数据),这个函数就会执行。此外,为了接收以太币,fallback 函数必须标记为 payable。
如果不存在这样的函数,则合约不能通过常规交易接收以太币。; C& j; {7 e) k
在这样的上下文中,通常只有很少的 gas 可以用来完成这个函数调用(准确地说,是 2300 gas),所以使 fallback 函数的调用尽量廉价很重要。5 s3 ^+ Q5 q1 b
请注意,调用 fallback 函数的交易(而不是内部调用)所需的 gas 要高得多,因为每次交易都会额外收取 21000 gas 或更多的费用,用于签名检查等操作。
具体来说,以下操作会消耗比 fallback 函数更多的 gas:1 i6 \9 Y% G$ Q0 {5 h, W4 j# t; ]
写入存储创建合约调用消耗大量 gas 的外部函数发送以太币: C5 A- m% J- K/ w# o8 v% S) ^0 Q$ `
请确保您在部署合约之前彻底测试您的 fallback 函数,以确保执行成本低于 2300 个 gas。0 J3 b+ w& f' c4 ?4 m
… note::6 f" \( ?5 v! }; R
即使 fallback 函数不能有参数,仍然可以使用 msg.data 来获取随调用提供的任何有效数据。
… warning::# @8 a2 Y# g) T' x/ y2 P
一个没有定义 fallback 函数的合约,直接接收以太币(没有函数调用,即使用 send 或 transfer)会抛出一个异常,
并返还以太币(在 Solidity v0.4.0 之前行为会有所不同)。所以如果你想让你的合约接收以太币,必须实现 fallback 函数。
… warning::* S- p$ i1 l* u) a, o5 h
一个没有 payable fallback 函数的合约,可以作为 coinbase transaction (又名 miner block reward )的接收者或者作为 selfdestruct 的目标来接收以太币。
一个合约不能对这种以太币转移做出反应,因此也不能拒绝它们。这是 EVM 在设计时就决定好的,而且 Solidity 无法绕过这个问题。- y6 b/ d& y( P
这也意味着 ``this.balance`` 可以高于合约中实现的一些手工记帐的总和(即在 fallback 函数中更新的累加器)。. m) _6 ` \7 c
::
pragma solidity ^0.4.0;9 A) S, C# e7 i( ?. T9 j/ o$ }+ x
contract Test {
// 发送到这个合约的所有消息都会调用此函数(因为该合约没有其它函数)。$ m5 F/ L1 K+ B3 r Y' R
// 向这个合约发送以太币会导致异常,因为 fallback 函数没有 `payable` 修饰符 l% _3 P+ p# U6 i
function() public { x = 1; }
uint x;
}
// 这个合约会保留所有发送给它的以太币,没有办法返还。
contract Sink {6 G7 ]0 j: d: S3 b/ H* d! d
function() public payable { }
}
contract Caller {
function callTest(Test test) public {
test.call(0xabcdef01); // 不存在的哈希
// 导致 test.x 变成 == 1。 H1 f* Q1 L" e3 ]
// 以下将不会编译,但如果有人向该合约发送以太币,交易将失败并拒绝以太币。
// test.send(2 ether);
}/ A! z; v" N. i9 \& ^2 l0 h
} q/ T$ t" [) B3 `) U, _: s
函数重载) G- d9 N+ a+ f( G/ f
合约可以具有多个不同参数的同名函数。这也适用于继承函数。以下示例展示了合约 A 中的重载函数 f。! D% R1 j( M8 p$ j7 |2 H2 G0 n
::( p n6 e3 p8 C+ e
pragma solidity ^0.4.16;
contract A {
function f(uint _in) public pure returns (uint out) {6 `: s; b# d$ `3 R
out = 1;4 j/ y: _- l% F* H6 P. V/ J
}; J' ?* L# I2 T7 |$ t2 M. C
function f(uint _in, bytes32 _key) public pure returns (uint out) {' ^* \0 D: M1 `5 `
out = 2;
}/ K/ T+ t( f) \# H$ O( `: Y
}' z/ ^7 k* l" b" t: {3 `
重载函数也存在于外部接口中。如果两个外部可见函数仅区别于 Solidity 内的类型而不是它们的外部类型则会导致错误。
::" j8 l8 `4 J4 F9 O) i9 k8 d. a- a
// 以下代码无法编译2 K1 u% r4 I0 b" L% D
pragma solidity ^0.4.16;) Z% J5 v. r* K- z
contract A {
function f(B _in) public pure returns (B out) { `# q' }' i& D) v4 u! N
out = _in;
}
function f(address _in) public pure returns (address out) {
out = _in;
}
}; e# E( T* t% h2 n$ J
contract B {
}
以上两个 f 函数重载都接受了 ABI 的地址类型,虽然它们在 Solidity 中被认为是不同的。* u* t: ~" r* l0 ~& h. R
重载解析和参数匹配* }2 d9 f* k2 k$ X) ~! n% D
通过将当前范围内的函数声明与函数调用中提供的参数相匹配,可以选择重载函数。% |! E; z0 _, p* g
如果所有参数都可以隐式地转换为预期类型,则选择函数作为重载候选项。如果一个候选都没有,解析失败。
… note::
返回参数不作为重载解析的依据。
::
pragma solidity ^0.4.16;
contract A {# J" `2 V, I3 Y( |
function f(uint8 _in) public pure returns (uint8 out) {! n' }; s" C+ X2 A
out = _in;
}
function f(uint256 _in) public pure returns (uint256 out) {
out = _in;* V: h! y' ]2 y1 y3 Y
}5 y( |+ O" t; v! e: a
}
调用 f(50) 会导致类型错误,因为 50 既可以被隐式转换为 uint8 也可以被隐式转换为 uint256。
另一方面,调用 f(256) 则会解析为 f(uint256) 重载,因为 256 不能隐式转换为 uint8。( v; S& I" n9 v+ W* H9 @! D" Q
事件4 y% H9 {! j1 O8 C/ N% C. ]
1 `- e: S4 D$ R+ l* a+ L
事件允许我们方便地使用 EVM 的日志基础设施。( ~) Z: }$ K% G9 W- F2 ^, Q
我们可以在 dapp 的用户界面中监听事件,EVM 的日志机制可以反过来“调用”用来监听事件的 Javascript 回调函数。
事件在合约中可被继承。当他们被调用时,会使参数被存储到交易的日志中 —— 一种区块链中的特殊数据结构。
这些日志与地址相关联,被并入区块链中,只要区块可以访问就一直存在(在 Frontier 和 Homestead 版本中会被永久保存,在 Serenity 版本中可能会改动)。; I( d7 H4 ^5 H1 b, ^
日志和事件在合约内不可直接被访问(甚至是创建日志的合约也不能访问)。0 j1 \$ E1 b" s( f& ~ @9 X$ {
对日志的 SPV(Simplified Payment Verification)证明是可能的,如果一个外部实体提供了一个带有这种证明的合约,它可以检查日志是否真实存在于区块链中。# [) M% Z* B' u5 k
但需要留意的是,由于合约中仅能访问最近的 256 个区块哈希,所以还需要提供区块头信息。
最多三个参数可以接收 indexed 属性,从而使它们可以被搜索:在用户界面上可以使用 indexed 参数的特定值来进行过滤。
如果数组(包括 string 和 bytes)类型被标记为索引项,则它们的 keccak-256 哈希值会被作为 topic 保存。$ U& y& t% k( N# N. O6 \
除非你用 anonymous 说明符声明事件,否则事件签名的哈希值是 topic 之一。2 N, `$ r1 N' X$ E6 q0 c+ p
同时也意味着对于匿名事件无法通过名字来过滤。
所有非索引参数都将存储在日志的数据部分中。- Y) H4 e% E# q: ~
… note::8 l* q! m) Q1 S
索引参数本身不会被保存。你只能搜索它们的值(来确定相应的日志数据是否存在),而不能获取它们的值本身。
::8 A7 }7 X; v, B- U6 Z; |
pragma solidity ^0.4.0;
contract ClientReceipt {
event Deposit(4 r, E: n' [1 s" g) \& X
address indexed _from,- ^$ T: H- Z- |- r
bytes32 indexed _id,/ @1 O2 d F# Z4 P' {
uint _value
);
function deposit(bytes32 _id) public payable {
// 我们可以过滤对 `Deposit` 的调用,从而用 Javascript API 来查明对这个函数的任何调用(甚至是深度嵌套调用)。
Deposit(msg.sender, _id, msg.value);
}
}
使用 JavaScript API 调用事件的用法如下:/ s0 a0 V! [. v; g7 L% N7 v2 E
::2 w% a8 C e$ Z4 \
var abi = /* abi 由编译器产生 */;
var ClientReceipt = web3.eth.contract(abi);) F j9 |) r% e* Q
var clientReceipt = ClientReceipt.at("0x1234...ab67" /* 地址 */);
var event = clientReceipt.Deposit();+ }4 Q4 ?2 b3 m9 l7 ]
// 监视变化# s; L8 X$ S9 K: l
event.watch(function(error, result){6 x" T$ W$ H$ F3 r2 g* L& D
// 结果包括对 `Deposit` 的调用参数在内的各种信息。7 }7 H# D- r X5 b8 _
if (!error)
console.log(result);
});
// 或者通过回调立即开始观察, `( z- b7 {8 B B* n4 F2 d
var event = clientReceipt.Deposit(function(error, result) {3 \- ?! ]+ Q6 Z- A/ N9 B" }
if (!error)+ }+ F9 O/ |( L/ e8 a9 Z3 g, G
console.log(result);
});& m9 u8 c0 i! |
日志的底层接口' {: p% r- a9 Y# [ i+ q- t
通过函数 log0,log1, log2, log3 和 log4 可以访问日志机制的底层接口。
logi 接受 i + 1 个 bytes32 类型的参数。其中第一个参数会被用来做为日志的数据部分,
其它的会做为 topic。上面的事件调用可以以相同的方式执行。
::6 D% ~; h1 d" m& d! m7 E- t2 O
pragma solidity ^0.4.10;( n9 a- f0 w! g: H0 l
contract C {
function f() public payable {' `6 q/ P9 T4 y) p
bytes32 _id = 0x420042;
log3(5 @3 k& B9 V' ^; s
bytes32(msg.value),/ R9 k/ y& h! T! x" R9 }& b( C# y7 \
bytes32(0x50cb9fe53daa9737b786ab3646f04d0150dc50ef4e75f59509d83667ad5adb20),
bytes32(msg.sender),
_id
);0 M5 f3 i3 x/ U* e; I
}+ q1 Z, x* h4 m; \% a/ x
}7 C' G* q5 `% h* H- W: s: w: y
其中的长十六进制数的计算方法是 keccak256("Deposit(address,hash256,uint256)"),即事件的签名。0 L$ M0 [8 d) Z
其它学习事件机制的资源( @6 z2 c# ^( W4 \
Javascript 文档 _事件使用例程 _如何在 js 中访问它们 _) G" _5 P9 P/ {; Z; @% F
… index:: ! inheritance, ! base class, ! contract;base, ! deriving( \0 n/ L: S" t8 N6 b! R' l
9 v3 k/ E- U7 M& a; V! Y4 y9 B& t/ B
继承
5 B p# |+ J L
通过复制包括多态的代码,Solidity 支持多重继承。
所有的函数调用都是虚拟的,这意味着最远的派生函数会被调用,除非明确给出合约名称。
当一个合约从多个合约继承时,在区块链上只有一个合约被创建,所有基类合约的代码被复制到创建的合约中。6 o* G7 F1 d; Y! h
总的来说,Solidity 的继承系统与 Python的继承系统 _ ,非常1 i0 N3 v% M# w! x
相似,特别是多重继承方面。
下面的例子进行了详细的说明。
::& O0 ]4 D/ o- Q( b1 ]. k) J# }0 m
pragma solidity ^0.4.16;
contract owned {5 H1 }4 D" c& _4 _9 |
function owned() { owner = msg.sender; }, U/ w# q' p/ k0 O& y
address owner;$ X, j) M% Q" l% N
}
// 使用 is 从另一个合约派生。派生合约可以访问所有非私有成员,包括内部函数和状态变量, ]2 ?* D0 W; C4 c& V1 B5 t, [
// 但无法通过 this 来外部访问。
contract mortal is owned {
function kill() { H E1 @7 d6 _0 Q; ]
if (msg.sender == owner) selfdestruct(owner);. |& L" T- I. ^& E% k
}
}
// 这些抽象合约仅用于给编译器提供接口。2 `, _7 [" \6 I+ q/ ?8 _# X
// 注意函数没有函数体。
// 如果一个合约没有实现所有函数,则只能用作接口。, R3 U7 V' m( W6 m9 v) e
contract Config { x; y* m* X8 n" u
function lookup(uint id) public returns (address adr);
}
contract NameReg {6 m9 T3 y6 ^8 b: ^ ], e
function register(bytes32 name) public;( q) W7 B7 c* j( ^+ ]
function unregister() public;
}
// 可以多重继承。请注意,owned 也是 mortal 的基类,
// 但只有一个 owned 实例(就像 C++ 中的虚拟继承)。7 Z, k" b A9 A7 Q
contract named is owned, mortal {8 b+ A& d$ R# N) U4 x3 J- [
function named(bytes32 name) {/ [* N% @6 A3 |0 B1 h" Z
Config config = Config(0xD5f9D8D94886E70b06E474c3fB14Fd43E2f23970);
NameReg(config.lookup(1)).register(name);# m1 k) N* K5 R) l) N5 n
}3 u9 C1 e0 U9 h$ \: c
// 函数可以被另一个具有相同名称和相同数量/类型输入的函数重载。
// 如果重载函数有不同类型的输出参数,会导致错误。8 ~$ C; l/ D* \" U; {/ r" k
// 本地和基于消息的函数调用都会考虑这些重载。8 w$ s: Y+ U7 N& x
function kill() public { B2 y: e7 S* ~. ]2 S7 D
if (msg.sender == owner) {- g' @* s r* S* P, n& B8 _
Config config = Config(0xD5f9D8D94886E70b06E474c3fB14Fd43E2f23970);
NameReg(config.lookup(1)).unregister();
// 仍然可以调用特定的重载函数。
mortal.kill();
}' B% v: C+ M: l/ S
}
}! T# B5 f% {* e8 g
// 如果构造函数接受参数,
// 则需要在声明(合约的构造函数)时提供,$ x) ^7 }& g7 X& E2 s. I
// 或在派生合约的构造函数位置以修饰器调用风格提供(见下文)。% {% I& H+ g2 ?4 Y- D
contract PriceFeed is owned, mortal, named("GoldFeed") {
function updateInfo(uint newInfo) public {1 e$ d, M V% Q8 F
if (msg.sender == owner) info = newInfo;
}
function get() public view returns(uint r) { return info; }* W: _7 J* W- E- `1 T
uint info;
}) {. N( {1 E! A a$ J1 p
注意,在上边的代码中,我们调用 mortal.kill() 来“转发”销毁请求。1 b; v6 A1 v' T- P" D
这样做法是有问题的,在下面的例子中可以看到::
pragma solidity ^0.4.0;
contract owned {
function owned() public { owner = msg.sender; }# f3 c# N# `* g5 _
address owner;1 u) `2 u' e3 D! G
}5 @+ q {- [* F- V8 l. x
contract mortal is owned {6 H7 t/ w' W- [, X
function kill() public {- s& X) y( p4 B3 O
if (msg.sender == owner) selfdestruct(owner);4 P* q5 D; M5 Z" ]3 b8 p
}
} \0 [# l0 c4 k o0 ]* _' Z
contract Base1 is mortal {7 o* M- [+ Y* V( W3 m
function kill() public { /* 清除操作 1 */ mortal.kill(); }
}, O3 q7 o2 x, a" r5 Q5 H$ C
contract Base2 is mortal {8 Q& J. `- K2 E. u2 s9 x6 q7 R
function kill() public { /* 清除操作 2 */ mortal.kill(); }2 U" A9 r7 Q% _+ I/ X* p5 P# e
}4 z( B* g# B1 c& T: J3 ?
contract Final is Base1, Base2 {7 [) N- B9 K. F: s
}
调用 Final.kill() 时会调用最远的派生重载函数 Base2.kill,但是会绕过 Base1.kill,
主要是因为它甚至都不知道 Base1 的存在。解决这个问题的方法是使用 super::3 Y2 o8 S1 c( i( Q! U4 c- `9 ]# d
pragma solidity ^0.4.0;
contract owned {
function owned() public { owner = msg.sender; }
address owner;# Z" @; }7 h7 p) T0 i( C. P7 }1 e
}
contract mortal is owned {1 T. S0 |, V8 o/ D% ~/ q
function kill() public {( K; o5 a/ v% \; i7 W6 q( B
if (msg.sender == owner) selfdestruct(owner);
}! C$ r9 t0 h- P& }6 F7 ?+ ^# }: T
} i0 Q2 J7 |' K3 A' U: }
contract Base1 is mortal {6 R4 W1 E& q+ `* P+ {: `3 \9 B( m
function kill() public { /* 清除操作 1 */ super.kill(); }
}
contract Base2 is mortal {: w! p& m) z. `: c; w5 |
function kill() public { /* 清除操作 2 */ super.kill(); }& ?! h% \: y) n3 M
}4 `- ^; U& i+ ]. t( F7 v
contract Final is Base1, Base2 {
}
如果 Base2 调用 super 的函数,它不会简单在其基类合约上调用该函数。
相反,它在最终的继承关系图谱的下一个基类合约中调用这个函数,所以它会调用 Base1.kill()
(注意最终的继承序列是——从最远派生合约开始:Final, Base2, Base1, mortal, ownerd)。+ J O/ w% y7 D. m* } ? M
在类中使用 super 调用的实际函数在当前类的上下文中是未知的,尽管它的类型是已知的。
这与普通的虚拟方法查找类似。
… index:: ! base;constructor
基类构造函数的参数+ u0 h% c7 L" I9 z" g. r: P
派生合约需要提供基类构造函数需要的所有参数。这可以通过两种方式来完成::* r" X' O; i# y, ^+ X
pragma solidity ^0.4.0;; V0 B# s2 ^7 e
contract Base {
uint x;
function Base(uint _x) public { x = _x; }' U r I' _1 M" u! b: Z6 F
}
contract Derived is Base(7) {! B2 |$ R( w, d" T
function Derived(uint _y) Base(_y * _y) public {9 w, H, _+ ?% c
}" ?1 [; o6 |1 G
}6 ~( S) z1 m) q. \3 x6 n* x
一种方法直接在继承列表中调用基类构造函数(is Base(7))。
另一种方法是像 |modifier| 使用方法一样,/ F7 y" G! Z7 T/ V0 |8 |1 ?
作为派生合约构造函数定义头的一部分,(Base(_y * _y))。3 U$ V1 C) @6 {2 t) h9 s/ m j i$ @
如果构造函数参数是常量并且定义或描述了合约的行为,使用第一种方法比较方便。3 E' k. l' N! a+ E! o1 e7 f
如果基类构造函数的参数依赖于派生合约,那么必须使用第二种方法。
如果像这个简单的例子一样,两个地方都用到了,优先使用 |modifier| 风格的参数。$ ?5 x5 ~. h5 ]' F% N2 r
… index:: ! inheritance;multiple, ! linearization, ! C3 linearization
多重继承与线性化 c# B/ d8 m# e0 C
编程语言实现多重继承需要解决几个问题。
一个问题是 钻石问题 。
Solidity 借鉴了 Python 的方式并且使用“ C3 线性化 ”强制一个由基类构成的 DAG(有向无环图)保持一个特定的顺序。
这最终反映为我们所希望的唯一化的结果,但也使某些继承方式变为无效。尤其是,基类在 is 后面的顺序很重要。2 H b4 ~- }- }, }5 L" N! T# O
在下面的代码中,Solidity 会给出“ Linearization of inheritance graph impossible ”这样的错误。9 W/ Q1 _8 y& Y9 M
::" {! m7 d( A H8 v
// 以下代码编译出错
pragma solidity ^0.4.0;' o- t5 m# A5 W4 j7 M9 ^- N) H
contract X {}, L. r2 @% l0 c) H1 w
contract A is X {}, ?8 X9 X) F0 @; x& S; z
contract C is A, X {}# h* k/ y5 Q+ l$ [" H' X# Z
代码编译出错的原因是 C 要求 X 重写 A (因为定义的顺序是 A, X ),2 }+ R! T4 G2 X3 ^
但是 A 本身要求重写 X,无法解决这种冲突。
可以通过一个简单的规则来记忆:7 K/ [: I# s: X- p# u4 v
以从“最接近的基类”(most base-like)到“最远的继承”(most derived)的顺序来指定所有的基类。
继承有相同名字的不同类型成员
当继承导致一个合约具有相同名字的函数和 |modifier| 时,这会被认为是一个错误。
当事件和 |modifier| 同名,或者函数和事件同名时,同样会被认为是一个错误。
有一种例外情况,状态变量的 getter 可以覆盖一个 public 函数。
抽象合约3 G6 P! G6 R. j/ \3 p/ M$ `& e
, p8 y! ^! `" ~8 V$ o5 z/ Y
合约函数可以缺少实现,如下例所示(请注意函数声明头由 ; 结尾)::" ]4 t1 l) F5 v/ S* k
pragma solidity ^0.4.0;
contract Feline {
function utterance() public returns (bytes32);! v" m8 ~: n+ ` P
}
这些合约无法成功编译(即使它们除了未实现的函数还包含其他已经实现了的函数),但他们可以用作基类合约::
pragma solidity ^0.4.0;1 c8 n1 N2 P1 ~( ^, U" k$ T
contract Feline {
function utterance() public returns (bytes32);
}" X; F0 A; |8 ~. @) L
contract Cat is Feline {4 E" C4 L' P2 j5 E
function utterance() public returns (bytes32) { return "miaow"; }! `0 _0 x+ c, v, N! n- J3 w/ O
}
如果合约继承自抽象合约,并且没有通过重写来实现所有未实现的函数,那么它本身就是抽象的。
5 h7 \6 H( K( Q
接口9 Q% K Y: O- j
# _! W5 {& C) r7 X! |+ L7 W
接口类似于抽象合约,但是它们不能实现任何函数。还有进一步的限制:
#. 无法继承其他合约或接口。- t4 N8 y% J r
#. 无法定义构造函数。! I; e/ u' s' r0 @
#. 无法定义变量。 [3 Z0 ?4 k; W' E. R5 c* Q
#. 无法定义结构体
#. 无法定义枚举。
将来可能会解除这里的某些限制。1 ^, c0 D' o# t! G. k I6 N4 V$ S
接口基本上仅限于合约 ABI 可以表示的内容,并且 ABI 和接口之间的转换应该不会丢失任何信息。
接口由它们自己的关键字表示:
::% `$ B7 U" `- K6 h% [
pragma solidity ^0.4.11;; ]9 @- p6 s) O3 G/ v, c
interface Token {
function transfer(address recipient, uint amount) public;3 t6 b5 p* r5 D
}
就像继承其他合约一样,合约可以继承接口。3 E7 J# Q" Y% h0 T6 A9 j) U
* X- G9 _! M* S
库
库与合约类似,它们只需要在特定的地址部署一次,并且它们的代码可以通过 EVM 的 DELEGATECALL
(Homestead 之前使用 CALLCODE 关键字)特性进行重用。
这意味着如果库函数被调用,它的代码在调用合约的上下文中执行,即 this 指向调用合约,特别是可以访问调用合约的存储。
因为每个库都是一段独立的代码,所以它仅能访问调用合约明确提供的状态变量(否则它就无法通过名字访问这些变量)。
因为我们假定库是无状态的,所以如果它们不修改状态(也就是说,如果它们是 view 或者 pure 函数),
库函数仅可以通过直接调用来使用(即不使用 DELEGATECALL 关键字),
特别是,除非能规避 Solidity 的类型系统,否则是不可能销毁任何库的。
库可以看作是使用他们的合约的隐式的基类合约。虽然它们在继承关系中不会显式可见,但调用库函数与调用显式的基类合约十分类似
(如果 L 是库的话,可以使用 L.f() 调用库函数)。此外,就像库是基类合约一样,对所有使用库的合约,库的 internal 函数都是可见的。4 L2 V1 n4 t( Z* }* n
当然,需要使用内部调用约定来调用内部函数,这意味着所有内部类型,内存类型都是通过引用而不是复制来传递。% i. ~! P: k$ W8 A( t
为了在 EVM 中实现这些,内部库函数的代码和从其中调用的所有函数都在编译阶段被拉取到调用合约中,然后使用一个 JUMP 调用来代替 DELEGATECALL。
… index:: using for, set' W1 |5 ^/ [ C; Q# i% J3 d
下面的示例说明如何使用库(但也请务必看看 :ref:using for 有一个实现 set 更好的例子)。
::
pragma solidity ^0.4.16;
library Set {
// 我们定义了一个新的结构体数据类型,用于在调用合约中保存数据。6 i3 e* r* @0 X! }( _' O) f8 D
struct Data { mapping(uint => bool) flags; }9 O2 O7 F! t' I Q0 o8 n
// 注意第一个参数是“storage reference”类型,因此在调用中参数传递的只是它的存储地址而不是内容。
// 这是库函数的一个特性。如果该函数可以被视为对象的方法,则习惯称第一个参数为 `self` 。4 H- |/ ~3 Y9 [9 M) u. X {% y2 K
function insert(Data storage self, uint value)
public8 Z# O# n0 C* V- b$ E" Q
returns (bool)
{+ T) z/ ^, y4 k2 {
if (self.flags[value])
return false; // 已经存在. ^# q$ @ p: m
self.flags[value] = true;$ w" G6 L% j! o9 o
return true;
}
function remove(Data storage self, uint value)! J/ T( }$ N, |+ v- g3 o i+ g: O
public
returns (bool)5 W+ A% g0 G! }. X1 c# M: P
{
if (!self.flags[value])1 m: F5 M. X% b& H, _
return false; // 不存在
self.flags[value] = false;
return true;
}
function contains(Data storage self, uint value)* g* A6 m; u# o) S5 X
public
view& D% z c3 ?) Y" F3 N; `& S
returns (bool)
{1 G$ B5 V- i4 ~3 `2 e. M
return self.flags[value];( x0 a2 j2 H( U* N
}7 t* F, Z% f, [7 a% a
}8 @4 Q7 @ K( U/ ]0 \+ |: d! E
contract C {
Set.Data knownValues;
function register(uint value) public {! P8 l; k# g) T# i
// 不需要库的特定实例就可以调用库函数,# C, K! \2 L3 \9 J2 ~4 }
// 因为当前合约就是“instance”。' V2 w9 x! D. s# F: X2 r6 u
require(Set.insert(knownValues, value));
}4 a# N/ `9 V. n" ~
// 如果我们愿意,我们也可以在这个合约中直接访问 knownValues.flags。
}: q9 c. I1 G7 k" t
当然,你不必按照这种方式去使用库:它们也可以在不定义结构数据类型的情况下使用。
函数也不需要任何存储引用参数,库可以出现在任何位置并且可以有多个存储引用参数。# f' K; I8 x" I+ o) z/ H* N! _6 ~
调用 Set.contains,Set.insert 和 Set.remove 都被编译为外部调用( DELEGATECALL )。
如果使用库,请注意实际执行的是外部函数调用。& w( Y: p! R1 V; I) D8 y/ f4 X+ ^
msg.sender, msg.value 和 this 在调用中将保留它们的值,% w9 M+ O4 j5 a o% { A
(在 Homestead 之前,因为使用了 CALLCODE,改变了 msg.sender 和 msg.value)。
以下示例展示了如何在库中使用内存类型和内部函数来实现自定义类型,而无需支付外部函数调用的开销:3 G& ?2 K* ?7 f: B, v! d
::
pragma solidity ^0.4.16;
library BigInt {1 u1 A0 j8 {3 L- l/ h6 S2 p6 L
struct bigint {
uint[] limbs;
}
function fromUint(uint x) internal pure returns (bigint r) {4 \ T- w! M" A/ A K
r.limbs = new uint[](1);1 W' Y$ F+ J! X
r.limbs[0] = x;5 T& ?6 i' l8 J, @5 o
}
function add(bigint _a, bigint _b) internal pure returns (bigint r) {4 w j7 x$ n9 \7 E
r.limbs = new uint[](max(_a.limbs.length, _b.limbs.length));. x5 E; u$ V: c1 ^4 C
uint carry = 0;1 ^0 O3 u) I! _1 I$ k- e! G
for (uint i = 0; i 0))- \% h T9 K" g, K7 V; t# T
carry = 1;, b8 C) Q% g& m$ l$ r0 Z- _" P
else
carry = 0;
}$ M2 J. A/ u0 B; W. K
if (carry > 0) {
// 太差了,我们需要增加一个 limb
uint[] memory newLimbs = new uint[](r.limbs.length + 1);
for (i = 0; i b ? a : b;
}7 P0 E* k8 t1 S8 z* A9 }
}
contract C {9 x+ f I9 {& J# H% s( h! J. b+ I9 B
using BigInt for BigInt.bigint;! _! }7 ^6 ^' O/ w5 G
function f() public pure {
var x = BigInt.fromUint(7);/ x( E m- f* m( N4 {& M& h
var y = BigInt.fromUint(uint(-1));9 C( T8 ]2 Y7 |5 Q
var z = x.add(y);6 t$ B: Y& t! J8 D% t" [4 `+ [3 b* h
}
}
由于编译器无法知道库的部署位置,我们需要通过链接器将这些地址填入最终的字节码中5 f* R" G: G* E" J6 p; m
(请参阅 :ref:commandline-compiler 以了解如何使用命令行编译器来链接字节码)。7 T' r5 V& `7 N$ E$ ]. B
如果这些地址没有作为参数传递给编译器,编译后的十六进制代码将包含 __Set______ 形式的占位符(其中 Set 是库的名称)。, b$ i7 D9 B D' l9 \- p- b! x
可以手动填写地址来将那 40 个字符替换为库合约地址的十六进制编码。, Q! u }8 W2 ]6 e" z5 S+ W
与合约相比,库的限制:7 g" i$ q5 E. f
没有状态变量不能够继承或被继承不能接收以太币
(将来有可能会解除这些限制)
库的调用保护
如果库的代码是通过 CALL 来执行,而不是 DELEGATECALL 或者 CALLCODE 那么执行的结果会被回退,# o% @1 R: a8 u
除非是对 view 或者 pure 函数的调用。- }9 G" H' ^( }0 U, ]) |
EVM 没有为合约提供检测是否使用 CALL 的直接方式,但是合约可以使用 ADDRESS 操作码找出正在运行的“位置”。
生成的代码通过比较这个地址和构造时的地址来确定调用模式。
更具体地说,库的运行时代码总是从一个 push 指令开始,它在编译时是 20 字节的零。当部署代码运行时,这个常数1 t5 Z u! n' t& e
被内存中的当前地址替换,修改后的代码存储在合约中。在运行时,这导致部署时地址是第一个被 push 到堆栈上的常数,7 ]( g7 L! ?1 {$ B1 E
对于任何 non-view 和 non-pure 函数,调度器代码都将对比当前地址与这个常数是否一致。
… index:: ! using for, library8 V2 [6 F: |5 H3 \# T
… _using-for:, [ a; B8 i8 p |3 h
7 D$ v& o& t6 D3 C8 n) V6 R5 {
Using For
指令 using A for B; 可用于附加库函数(从库 A)到任何类型(B)。! F% M( q+ ?8 O5 B
这些函数将接收到调用它们的对象作为它们的第一个参数(像 Python 的 self 变量)。
using A for *; 的效果是,库 A 中的函数被附加在任意的类型上。* P0 _6 Z/ j6 w0 O& R8 V( Z1 |7 v
在这两种情况下,所有函数都会被附加一个参数,即使它们的第一个参数类型与对象的类型不匹配。
函数调用和重载解析时才会做类型检查。
using A for B; 指令仅在当前作用域有效,目前仅限于在当前合约中,后续可能提升到全局范围。
通过引入一个模块,不需要再添加代码就可以使用包括库函数在内的数据类型。3 u0 @, M0 r* P8 k
让我们用这种方式将 :ref:libraries 中的 set 例子重写::
pragma solidity ^0.4.16;' e$ M+ a4 Y+ o; _2 m
// 这是和之前一样的代码,只是没有注释。
library Set {: B+ H8 F8 K1 r, Q
struct Data { mapping(uint => bool) flags; }5 P1 w) ^8 @& G( N! ^
function insert(Data storage self, uint value)& k# t& k+ a0 c4 }1 _- @; g: f
public
returns (bool)
{6 X' h9 q: k6 M# O( w8 T
if (self.flags[value])* r% C$ q- i" P( K7 q
return false; // 已经存在
self.flags[value] = true;, J6 n# d( `8 j
return true;
}' ~/ a$ [) f% t1 \4 T, B$ r
function remove(Data storage self, uint value)% k2 Z7 X1 I9 D% x* V6 J1 U- S
public1 { J' @8 x% u( T7 ~
returns (bool)5 ^( j+ [8 q9 J0 N# G4 t+ o1 R$ R
{
if (!self.flags[value])
return false; // 不存在7 z5 v- B+ T/ e! G+ D8 }( B3 }+ A0 P
self.flags[value] = false;
return true;
}
function contains(Data storage self, uint value)
public1 V Z V7 B; L+ i( j
view# P' C0 ^, {' U5 ~/ `3 i
returns (bool)( c5 M2 A% [$ x, n8 R
{
return self.flags[value];
}
}" i2 h2 j7 P8 J7 E- M
contract C {" t) G0 z* E i! K
using Set for Set.Data; // 这里是关键的修改1 |" K; _ Q; \" f& t
Set.Data knownValues;" x+ T5 X, E) _# H. L; S5 l2 B" y' C
function register(uint value) public {: v& c, {' b( h
// Here, all variables of type Set.Data have
// corresponding member functions.: w% C) G6 m/ h+ k9 W9 z
// The following function call is identical to
// `Set.insert(knownValues, value)`$ i; ?+ [1 S5 \6 d0 G/ t2 a
// 这里, Set.Data 类型的所有变量都有与之相对应的成员函数。, `5 P& C; P% k0 U% l, A
// 下面的函数调用和 `Set.insert(knownValues, value)` 的效果完全相同。9 H* G6 C) X u2 o+ v
require(knownValues.insert(value));1 i. |# }6 b& G/ `) n
} J4 {& D) s/ w! W, X
}
也可以像这样扩展基本类型::
pragma solidity ^0.4.16;
library Search {
function indexOf(uint[] storage self, uint value)' K6 y' L5 ?! S) l$ ^7 Q% M
public6 ~7 j7 Q7 y K, r7 B
view8 b5 d6 l9 C6 Z7 d0 x8 b
returns (uint)
{
for (uint i = 0; i
注意,所有库调用都是实际的 EVM 函数调用。这意味着如果传递内存或值类型,都将产生一个副本,即使是 self 变量。
使用存储引用变量是唯一不会发生拷贝的情况。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
成为第一个吐槽的人