# 函数调用(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()`函数发送1`ether`。需要注意的是,如果不先充值,由于合约余额为0,余额不足会报错`Invalid opcode`<sup id="fnref1">[1](#fn1)</sup>。
`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;
}
}
```
#### 参考资料
---
<li id="fn1">
如何使用`Remix`向合约发送ether参见这里。[http://me.tryblockchain.org/%E6%94%AF%E4%BB%98%E7%9B%B8%E5%85%B3.html](http://me.tryblockchain.org/%E6%94%AF%E4%BB%98%E7%9B%B8%E5%85%B3.html) [↩](#fnref1)
</li>
- Solidity语言
- 入门说明
- Solidity智能合约文件结构
- 智能合约源文件的基本要素概览
- 值类型
- 类型
- 布尔
- 整型
- 地址
- 字节数组
- 小数
- 字符串
- 十六进制字面量
- 枚举
- 函数
- 引用类型
- 引用类型
- 数据位置
- 数组
- 数据结构
- 杂项
- 映射
- 左值运算符
- 类型间的转换
- 类型推断
- 单位
- 货币单位
- 时间单位
- 语言内置特性
- 特殊变量及函数
- 数学和加密函数
- 地址相关
- 进阶
- 入参和出参
- 控制结构
- 函数调用
- 创建合约实例
- 表达式的执行顺序
- 赋值
- 作用范围和声明
- 异常
- 内联汇编
- 合约详解
- 合约
- 可见性或权限控制
- 访问函数
- 函数修改器
- 常状态变量
- 回退函数
- 事件
- 继承
- 接口
- 其它
- 库
- 状态变量的存储模型
- 内存变量的存局
- 调用数据的布局