跳到主要内容

数据类型

本文档说明了Wave编程语言中提供的各种数据类型。 在Wave中，可以通过多种数据类型存储和操作值，每种数据类型对其数据的表示方式和内存处理方式有明确定义。

明确指定数据类型是Wave的核心设计理念之一。 Wave 是 完全面向强类型 的系统。 所有的 var/fun 声明和变量初始化都需要显式类型，不支持基于上下文的类型推断。 因此，像 var x = 1; 这样的代码，如果没有类型，编译会失败。 通过这可以明确表达代码意图，及早发现编译时错误，保证高效的内存使用和稳定执行。

整数类型​

整数类型用于存储整数值。 在Wave中，通常使用i32（有符号32位整数）和u32（无符号32位整数），但可根据需要非常精细地指定整数的位数。

有符号整数类型从i8提供到i1024，无符号整数类型可以使用从u8到u1024。 通过这种方式，可以满足从简单计算到大容量整数运算、密码处理和低级系统编程的广泛需求。

以下是一个使用整数类型的简单示例。

var a: i32 = 100;
var b: u32 = 200;

浮点数类型​

浮点数类型用于存储实数值。 Wave中基本使用的浮点类型是f32，如果需要更高的精度，可以选择更大尺寸的类型。

Wave提供了从f32到f128的浮点类型，使用户可以在计算精度和性能之间自行选择。 通过这种方式，可以处理从一般数值计算到精确科学计算的各种用途的实数运算。

下面是一个使用浮点类型的示例。

var pi: f32 = 3.14;
var e: f64 = 2.71828;

字符串类型​

字符串类型用于处理文本数据。 在Wave中，使用str关键字声明字符串，字符串字面量用双引号(")括起来表示。

字符串广泛应用于程序中的消息输出、用户输入处理和基于文本的数据处理等。

以下是字符串类型的基本使用示例。

var text: str = "Hello Wave";

布尔类型​

布尔类型是用于表示真(True)或假(False)值的数据类型。 在Wave中使用bool类型，值指定为true或false。

布尔类型在条件语句和循环中起到核心作用，用于控制程序流。

var isActive: bool = true;
var isAvailable: bool = true;

字符类型​

字符类型用于存储单个字符。 使用char关键字声明，只能包含一个字符。

字符字面量用单引号(')括起来表示。

var letter: char = 'A';

字节类型​

字节类型用于存储1字节大小的数据。 这种类型在需要低级数据处理的场合很有用，如二进制数据处理、文件输入输出、网络编程等。

在Wave中使用byte关键字声明字节类型。

var byteData: byte = 0xFF;

指针类型​

指针类型用于直接引用内存地址。 在 Wave 中，指针以 ptr<T> 形式声明。

指针在需要低级内存访问的情况下使用，主要用于系统编程或对性能要求高的代码中。

var ptr: ptr<T> = &someVariable;

null 字面量​

在 Wave 中，null 是正式的字面量。

  • null 不是标识符。 （不能为 var null = ... 形式）
  • null 仅能赋值给 ptr<T> 类型。
var p: ptr<i32> = null;  // OK

// var n: i32 = null;    // 错误
// var b: bool = null;   // 错误

数组类型​

数组类型用于顺序存储同一数据类型的多个值。 在Wave中以array<类型, 大小>形式声明数组，数组大小在编译时明确指定。

通过这种方式，内存结构变得明确，可以实现稳定的访问。

var numbers: array<0> = [1, 2, 3, 4, 5];

每种数据类型都被设计为能够选择适合其用途和特性的范围和大小。 选择适当的数据类型可以有效管理内存，同时显著提高代码的稳定性和可读性。