WebAssembly核心编程[2]:类型系统

对于绝大多数编程语言来说，类型都是编程的基础，WebAssembly自然也不例外。总的来说，WebAssembly涉及的类型不多，很好掌握，接下来我们就来介绍一下WebAssembly编程涉及到的几种类型。本篇内容参考WebAssembly Spec。

一、Value Type
二、Function
三、Memory
四、Table
五、Global
六、External

一、Value Type

值类型（Value Type）在WebAssembly中主要分为三种，它们分别是数字（Number ）、向量（Vector）和引用（Reference）。

1. Number

WebAssembly涉及数字只包含整数和浮点数，具体又有32位（4字节）和64位（8字节），所以WebAssembly支持的数字类型只包括i32、i64、f32、f64四种。

2. Vector

WebAssembly对单指令多数据（SIMD）提供了原生的支持，这进一步提升了它的性能。SIMD指令将一个128位的向量作为操作数，我们可以将多个整数或者浮点数组合成一个向量。比如某个支持i32的指令，采用SIMD方式进行执行理论上可以获得4倍的性能。

3. Reference

顾名思义，一个引用类型的变量代表一个指向某个目标对象的指针。目前WebAssembly设计的引用类型只有两种，一种是引用来源于宿主应用的JavaScript对象。由于对于wasm模块来说，这是一种外部引用，所以被定义成externref。另一种被命名位funcref的则是对自身Native函数的引用。

二、Function

函数本质上一组输入参数与一组输出结果的映射。虽然WebAssembly的函数目前还不支持返回多个结果，但是后续版本肯定会支持。输入参数列表和输出结果列表可以统一表示为“结果类型（resulttype）”，具体来说就是一组值类型（数字、向量和引用）的有序组合，所以函数类型自然就表示成一个resulttype对象到另一个resulttype的映射。