函数调用(Function Calls)
内部函数调用(Internal Function Calls)
在当前的合约中,函数可以直接调用(内部调用方式),包括也可递归调用,来看一个简单的示例:
contract C {
function g(uint a) returns (uint ret) { return f(); }
function f() returns (uint ret) { return g(7) + f(); }
}
这些函数调用在EVM中被翻译成简单的跳转指令。这样带来的一个好处是,当前的内存不会被回收。所以在一个内部调用时传递一个内存型引用效率将非常高。当然,仅仅是同一个合约的函数之间才可通过内部的方式进行调用。
外部函数调用(External Function Calls)
表达式this.g(8);
和c.g(2)
(这里的c
是一个合约实例)是外部调用函数的方式。实现上是通过一个消息调用,而不是直接通过EVM的指令跳转。需要注意的是,在合约的构造器中,不能使用this
调用函数,因为当前合约还没有创建完成。
其它合约的函数必须通过外部的方式调用。对于一个外部调用,所有函数的参数必须要拷贝到内存中。
当调用其它合约的函数时,可以通过选项.value()
,和.gas()
来分别指定,要发送的ether
量(以wei
为单位),和gas
值。
pragma solidity ^0.4.0;
contract InfoFeed {
function info() payable returns (uint ret) {
return msg.value;
}
}
contract Consumer {
function deposit() payable returns (uint){
return msg.value;
}
function left() constant returns (uint){
return this.balance;
}
function callFeed(address addr) returns (uint) {
return InfoFeed(addr).info.value(1).gas(8000)();
}
}
上面的代码中,我们首先调用deposit()
为Consumer
合约存入一定量的ether
。然后调用callFeed()
通过value(1)
的方式,向InfoFeed
合约的info()
函数发送1ether
。需要注意的是,如果不先充值,由于合约余额为0,余额不足会报错Invalid opcode
1。
InfoFeed.info()
函数,必须使用payable
关键字,否则不能通过value()
选项来接收ether
。
代码InfoFeed(addr)
进行了一个显示的类型转换,声明了我们确定知道给定的地址是InfoFeed
类型。所以这里并不会执行构造器的初始化。显示的类型强制转换,需要极度小心,不要尝试调用一个你不知道类型的合约。
我们也可以使用function setFeed(InfoFeed _feed) { feed = _feed; }
来直接进行赋值。.info.value(1).gas(8000)
只是本地设置发送的数额和gas值,真正执行调用的是其后的括号.info.value(1).gas(8000)()
。
如果被调用的合约不存在,或者是不包代码的帐户,或调用的合约产生了异常,或者gas不足,均会造成函数调用发生异常。
如果被调用的合约源码并不事前知道,和它们交互会有潜在的风险。当前合约会将自己的控制权交给被调用的合约,而对方几乎可以做任何事。即使被调用的合约是继承自一个已知的父合约,但继承的子合约仅仅被要求正确实现了接口。合约的实现,可以是任意的内容,由此会有风险。另外,准备好处理调用你自己系统中的其它合约,可能在第一调用结果未返回之前就返回了调用的合约。某种程度上意味着,被调用的合约可以改变调用合约的状态变量(state variable)
来标记当前的状态。如,写一个函数,只有当状态变量(state variables)
的值有对应的改变时,才调用外部函数,这样你的合约就不会有可重入性漏洞。
命名参数调用和匿名函数参数(Named Calls and Anonymous Function Paramters)
函数调用的参数,可以通过指定名字的方式调用,但可以以任意的顺序,使用方式是{}
包含。但参数的类型和数量要与定义一致。
pragma solidity ^0.4.0;
contract C {
function add(uint val1, uint val2) returns (uint) { return val1 + val2; }
function g() returns (uint){
// named arguments
return add({val2: 2, val1: 1});
}
}
省略函数名称(Omitted Function Parameter Names)
没有使用的参数名可以省略(一般常见于返回值)。这些名字在栈(stack)上存在,但不可访问。
pragma solidity ^0.4.0;
contract C {
// omitted name for parameter
function func(uint k, uint) returns(uint) {
return k;
}
}
参考资料
如何使用
Remix
向合约发送ether参见这里。http://me.tryblockchain.org/%E6%94%AF%E4%BB%98%E7%9B%B8%E5%85%B3.html ↩