19.3.5. ASL 数据类型

ASL 提供了多种多样的数据类型和用于操作数据的运算符。它还提供了在与 ASL 运算符一起使用时，在这些数据类型之间进行显式和隐式转换的机制。

下表描述了每一种可用的 ASL 数据类型。

表 19.5 ASL 数据类型汇总

注意

兼容性说明： 存储和操作对象引用的能力是在 ACPI 2.0 中引入的。在 ACPI 1.0 中，引用不能存储在变量中、作为参数传递，也不能从函数返回。

19.3.5.1. 数据类型转换概述

ASL 提供了两种机制，用于在运行时（AML 解释器执行期间）将对象从一种数据类型转换为另一种数据类型。第一种机制，显式数据类型转换，允许使用显式的 ASL 运算符将对象转换为不同的数据类型。第二种机制，隐式数据类型转换，当需要在数据对象被使用或存储之前将其转换为预期的数据类型时，由 AML 解释器调用。

以下通用规则适用于数据类型转换：

• 输入参数只要操作数类型与预期输入类型不匹配，就总是要进行隐式数据类型转换（也称为隐式源操作数转换）。

• 除显式数据转换运算符之外的所有运算符的输出（目标）参数，只要目标是一个现有的命名对象或命名字段，并且其类型与要存储的对象不同，就要进行隐式数据类型转换（也称为隐式结果对象转换）。

• 显式数据转换运算符的输出参数，以及引用方法局部变量或参数（LocalX 或 ArgX）的输出参数，不进行隐式类型转换。

这两种机制（显式和隐式转换）都将在后续章节中详细描述。

19.3.5.2. 显式数据类型转换

以下 ASL 运算符用于显式地将对象从一种数据类型转换为另一种：

ToBuffer

> 将 Integer、String 或 Buffer 转换为 Buffer 类型对象

ToDecimalString

> 将 Integer、String 或 Buffer 转换为 String 类型对象。该字符串包含源操作数十进制值的 ASCII 表示。

ToHexString

> 将 Integer、String 或 Buffer 转换为 String 类型对象。该字符串包含源操作数十六进制值的 ASCII 表示。

ToInteger

> 将 Integer、String 或 Buffer 转换为 Integer 类型对象。

ToString

> 直接复制并将 Buffer 转换为 String 类型对象。

以下 ASL 运算符用于复制和传输对象，并执行显式结果转换，使目标的类型与源对象的类型匹配：

CopyObject

> 显式地将操作数对象的副本存储到目标名称中。不执行隐式类型转换。（此运算符用于避免 ASL Store 运算符固有的隐式转换。）

19.3.5.3. 隐式数据类型转换

在执行 ASL 运算符期间，自动或隐式类型转换可能在两个不同时间发生。首先，可能需要将一个或多个源操作数转换为 ASL 运算符所期望的数据类型。其次，操作结果在存储到目标之前可能需要进行转换。（许多 ASL 运算符可以选择性地将其结果存储到由最后一个参数指定的对象中。对于这些运算符，如果指定了目标，则该行为与使用 Store 运算符将结果放入目标中的效果完全相同。）

这类数据转换由 AML 解释器在执行 AML 代码期间执行，统称为隐式操作数转换。如上文简要描述，隐式操作数转换有两种不同类型：

1. 将源操作数从不匹配的数据类型转换为 ASL 运算符所需的正确数据类型，称为隐式源转换。当源操作数必须转换为运算符所期望的操作数类型时，会发生此转换。在 ASL 运算符能够继续执行之前，任意一个或所有源操作数都可能以这种方式被转换。

2. 在操作结果存储到目标操作数之前，将其转换为目标操作数的现有类型，称为隐式结果转换。当目标是固定类型（例如命名对象或字段）时，会发生此转换。当存储到方法 Local 或 Arg 时，不执行也不需要转换，因为这些数据类型是可变类型（存储操作只是简单地覆盖任何现有对象及其现有类型）。

以下 ASL 运算符用于复制和传输对象，并对目标对象的现有类型执行隐式结果转换：

Store

> 将操作数对象的副本存储到目标名称中。如果目标名称是固定数据类型，则执行隐式结果转换（见上文）。但是，存储到方法局部变量和参数时不执行隐式转换，因此与使用 CopyObject 相同。

19.3.5.4. 隐式源操作数转换

在执行 ASL 运算符期间，每个源操作数由 AML 解释器按如下方式处理：

• 如果操作数的类型正是运算符所期望的类型，则不需要转换。

• 如果操作数类型不正确，则尝试将其转换为正确类型。

• 对于 Concatenate 运算符和逻辑运算符（LEqual、LGreater、LGreaterEqual、LLess、LLessEqual 和 LNotEqual），第一个操作数的数据类型决定第二个操作数所需的类型，并且仅对 Concatenate 而言，还决定结果对象的类型。（如有必要，第二个操作数将被隐式转换，以匹配第一个操作数的类型。）

• 如果无法转换，则中止正在运行的控制方法并发出致命错误。

每当源操作数包含的数据类型与运算符所期望的类型不同时，都会尝试进行隐式源转换。例如：

Store ("5678", Local1)
Add (0x1234, Local1, BUF1)

在上面的 Add 语句中，Local1 包含一个 String 对象，因此在 Add 操作继续之前，必须先将其转换为 Integer 对象。

在某些情况下，运算符可以接受多种类型的操作数（例如 Integer 和 String）。在这种情况下，将根据操作数的类型应用最高优先级的转换。下表描述了可用的源操作数转换。例如：

Store (Buffer (1) {}, Local0)
Name (ABCD, Buffer (10) {1, 2, 3, 4, 5, 6, 7, 8, 9, 0})
CreateDWordField (ABCD, 2, XYZ)
Name (MNOP, "1234")
Concatenate (XYZ, MNOP, Local0)

Concatenate 运算符的前两个参数可以接受 Integer、Buffer 或 String，而第一个参数的类型决定第二个参数将如何转换。在此示例中，第一个参数的类型是 Buffer Field（来自 CreateDWordField 运算符）。它应当被转换为什么：Integer、Buffer 还是 String？根据“对象转换规则”表，最高优先级的转换是 Integer。因此，以下两个对象都将被转换为 Integer：

XYZ (0x05040302)
MNOP (0x31, 0x32, 0x33, 0x34)

并且随后会被连接在一起，生成的类型和值将为：

Buffer (0x02, 0x03, 0x04, 0x05, 0x31, 0x32, 0x33, 0x34)

19.3.5.5. 隐式结果对象转换

对于所有会生成并存储结果值的 ASL 运算符（包括 Store 运算符），结果对象由 AML 解释器按如下方式处理和存储：

• 如果 ASL 运算符是显式转换运算符之一（ToString、ToInteger 等，以及 CopyObject 运算符），则不执行转换。（换句话说，结果对象会直接存储到目标中，并且会完全覆盖目标中已存储的任何现有对象。）

• 如果目标是方法局部变量或参数（LocalX 或 ArgX），则不执行转换，结果会直接存储到目标中。

• 如果目标是固定类型，例如命名对象或字段对象，则在存储之前会尝试将源转换为现有目标类型。

• 如果无法转换，则中止正在运行的控制方法并发出致命错误。

当运算符的结果被存储到固定类型对象中时，任何时候都可能发生隐式结果转换。例如：

Name (BUF1, Buffer (10))
Add (0x1234, 0x789A, BUF1)

由于 BUF1 是固定类型的 Buffer 命名对象，因此在将 Add 操作的 Integer 结果存储到 BUF1 之前，必须先将其转换为 Buffer。

19.3.5.6. 数据类型和类型转换

下表列出了可用的 ASL 数据类型，以及每种数据类型可用的数据类型转换（如果有）。每种数据类型的条目都进行了完整的交叉引用，同时显示该对象可以转换到的类型，以及所有其他可以转换为该数据类型的类型。

允许的转换同时适用于显式转换和隐式转换。

表 19.6 数据类型和类型转换

19.3.5.7. 数据类型转换规则

下表给出了每种允许的数据类型转换的详细数据转换规则。这些转换规则由 AML 解释器实现，并适用于所有转换类型——显式转换、隐式源转换以及隐式结果转换。

表 19.7 对象转换规则

19.3.5.8. 存储和复制对象的规则

下表列出了将对象存储到不同类型命名目标时执行的操作。ASL 提供以下类型的“存储”操作：

• Store 运算符用于将对象显式存储到某个位置，并支持源对象的隐式转换。

• 许多 ASL 运算符可以选择性地将其结果存储到由最后一个参数指定的对象中。在这些运算符中，如果指定了目标，则该操作与使用 Store 运算符将结果放入目标完全相同。

• CopyObject 运算符用于将对象的副本显式存储到某个位置，不支持隐式转换。

表 19.8 对象存储和复制规则

19.3.5.8.1. ArgX 对象

1. 从 ArgX 参数读取

> * 对象引用 - 自动解引用，返回引用的目标。使用 DeRefOf 返回相同结果。 > > * Buffer - 返回 Buffer。可以创建指向该缓冲区的 Index、Field 或引用。 > > * Package - 返回 Package。可以创建指向该包的 Index 或引用。 > > * 所有其他对象类型 - 返回该对象。 > >

下表的方法调用示例：

MTHD (RefOf (Obj), Buf, Pkg, Obj)

表 19.9 从 ArgX 对象读取

2. 存储到 ArgX 参数

   • 对象引用对象 - 自动解引用，复制该对象并覆盖最终目标。

   • 所有其他对象类型 - 复制该对象并覆盖 ArgX 变量。（对 Buffer 或 Package ArgX 参数的直接写入也只会简单地覆盖 ArgX）

表 19.10 写入 ArgX 对象

注

RefOf (ArgX) 返回对 ArgX 的引用。

19.3.5.8.2. LocalX 对象

1. 从 LocalX 变量读取

> * 对象引用 - 如果执行的是 DeRefOf，则返回引用的目标。否则，返回该引用。 > > * 所有其他对象类型 - 返回该对象 > >

表 19.11 从 LocalX 对象读取

2. 存储到 LocalX 变量

   • 所有对象类型 - 首先删除 LocalX 中任何现有对象，然后存储该对象的一个副本。

表 19.12 写入 LocalX 对象

19.3.5.8.3. 命名对象

1. 从命名对象读取

   • 对象引用 - 如果执行的是 DeRefOf，则返回引用的目标。否则，返回该引用。

   • 所有其他对象类型 - 返回该对象

表 19.13 从命名对象读取

2. 存储到命名对象

   • 所有对象类型 - 首先删除 NAME 中任何现有对象，然后存储该对象的一个副本。Store 运算符将执行到 NAME 中现有类型的隐式转换。CopyObject 不执行隐式存储。

表 19.14 写入命名对象