# 值类型与引用类型
由于Solidity是一个静态类型的语言,所以编译时需明确指定变量的类型(包括`本地变量`或`状态变量`),`Solidity`编程语言提供了一些`基本类型(elementary types)`可以用来组合成复杂类型。
类型可以与不同运算符组合,支持表达式运算,你可以通过[表达式的执行顺序(Order of Evaluation of Expressions)](../进阶/表达式的执行顺序.md)来了解执行顺序。
## 值类型(Value Type)
`值类型`包含
- `布尔(Booleans)`
- `整型(Integer)`
- `地址(Address)`
- `定长字节数组(fixed byte arrays)`
- `有理数和整型(Rational and Integer Literals`,`String literals)`
- `枚举类型(Enums)`
- `函数(Function Types)`
为什么会叫`值类型`,是因为上述这些类型在传值时,总是值传递。比如在函数传参数时,或进行变量赋值时。
## 引用类型(Reference Types)
复杂类型,占用空间较大的。在拷贝时占用空间较大。所以考虑通过引用传递。常见的引用类型有:
- 不定长字节数组(bytes)
- 字符串(string)
- 数组(Array)
- 结构体(Struts)
---
关于参数传递的相关方式的进一步了解: [http://baike.baidu.com/item/参数传递](http://baike.baidu.com/item/%E5%8F%82%E6%95%B0%E4%BC%A0%E9%80%92)
- Solidity语言
- 入门说明
- Solidity智能合约文件结构
- 智能合约源文件的基本要素概览
- 值类型
- 类型
- 布尔
- 整型
- 地址
- 字节数组
- 小数
- 字符串
- 十六进制字面量
- 枚举
- 函数
- 引用类型
- 引用类型
- 数据位置
- 数组
- 数据结构
- 杂项
- 映射
- 左值运算符
- 类型间的转换
- 类型推断
- 单位
- 货币单位
- 时间单位
- 语言内置特性
- 特殊变量及函数
- 数学和加密函数
- 地址相关
- 进阶
- 入参和出参
- 控制结构
- 函数调用
- 创建合约实例
- 表达式的执行顺序
- 赋值
- 作用范围和声明
- 异常
- 内联汇编
- 合约详解
- 合约
- 可见性或权限控制
- 访问函数
- 函数修改器
- 常状态变量
- 回退函数
- 事件
- 继承
- 接口
- 其它
- 库
- 状态变量的存储模型
- 内存变量的存局
- 调用数据的布局