除法运算符

除法运算符 ( x / y)的解释取决于求值表达式x和的值类型y，如下所示：

对于表中所列值以外的其他值组合，将"Expression.Error"引发带有原因代码的错误。以下各节介绍了每种组合。

传播评估任一操作数时引发的错误。

数商

使用除法运算符计算两个数字的商，产生一个数字。例如：

复制

8 / 2               // 4 
8 / 0               // #infinity 
0 / 0               // #nan 
0 / null            // null 
#nan / #infinity    // #nan

/数字上的除法运算符使用双精度；标准库函数Value.Divide可用于指定小数精度。计算数字的商时，以下内容成立：

• 双精度中的商是根据 64 位二进制双精度 IEEE 754 算术IEEE 754-2008的规则计算的。下表列出了非零有限值、零、无穷大和 NaN 的所有可能组合的结果。在表中，x和y是正的有限值。z是 的结果x / y。如果结果对于目标类型来说太大，z则为无穷大。如果结果对于目标类型来说太小，z则为零。 表 13/+y-y+0-0+∞-∞NaN+x+z-z+∞-∞+0-0NaN-X-z+z-∞+∞-0+0NaN+0+0-0NaNNaN+0-0NaN-0-0+0NaNNaN-0+0NaN+∞+∞-∞+∞-∞NaNNaNNaN-∞-∞+∞-∞+∞NaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaN
• Decimal Precision 中的总和是在不损失精度的情况下计算的。结果的标度是两个操作数的标度中较大的一个。

持续时间的商

两个持续时间的商是代表持续时间所代表的100纳秒滴答数的商的数字。例如：

复制

#duration(2,0,0,0) / #duration(0,1,30,0) 
// 32

缩放持续时间

持续时间x和数字y的商是持续时间代表的持续时间和数字所代表的 100 纳秒滴答x数的商y。例如：

复制

#duration(2,0,0,0) / 32 
// #duration(0,1,30,0)

结构组合

组合运算符 ( x & y) 定义在以下类型的值上：

级联

可以使用 连接两个文本、两个列表或两个表值x & y。

以下示例说明了连接文本值：

复制

"AB" & "CDE"     // "ABCDE"

以下示例说明了连接列表：

复制

{1, 2} & {3}     // {1, 2, 3}

使用 连接两个值时，以下内容成立x & y：

• 传播计算xory表达式时引发的错误。
• 如果x或的项目y包含错误，则不会传播错误。
• 连接两个文本值的结果是一个文本值，其中包含紧跟其后的 x 值。如果其中一个操作数为空而另一个为文本值，则结果为空。
• 连接两个列表的结果是一个列表，其中包含 的所有项，x后跟 的所有项y。
• 连接两个表的结果是一个表，该表具有两个操作数表的列的并集。的列顺序x被保留，然后是只出现在 中的列y，保留它们的相对顺序。对于仅出现在一个操作数中的列，null用于填充另一个操作数的单元格值。

合并

记录合并

可以使用 合并两条记录x & y，从而生成包含来自x和 的字段的记录y。

以下示例说明了合并记录：

复制

[ x = 1 ] & [ y = 2 ]                // [ x = 1, y = 2 ] 
[ x = 1, y = 2 ] & [ x = 3, z = 4 ]  // [ x = 3, y = 2, z = 4 ]

使用 合并两条记录时，以下内容成立x + y：

• 传播计算xory表达式时引发的错误。
• 如果字段同时出现在x和 中y，y则使用值 from 。
• 结果记录中字段的顺序是x，然后y是不属于 的字段，其x顺序与它们出现的顺序相同y。
• 合并记录不会导致对值的评估。
• 由于字段包含错误，因此不会引发错误。
• 结果是一个记录。

日期时间合并

一个日期x可以与时间合并y使用x & y，产生组合来自两个部件中的日期时间x和y。

以下示例说明了合并日期和时间：

复制

#date(2013,02,26) & #time(09,17,00) 
// #datetime(2013,02,26,09,17,00)

使用 合并两条记录时，以下内容成立x + y：

• 传播计算xory表达式时引发的错误。
• 结果是日期时间。

一元运算符

的+，-和not运营商一元运算符。

一元表达式：       类型表达式 + 一元表达式 - 一元表达式 not 一元表达式

一元加运算符

一元加运算符 ( +x) 是为以下类型的值定义的：

对于其他值，"Expression.Error"会引发带有原因代码的错误。

一元加号运算符允许将+符号应用于数字、日期时间或空值。结果是相同的值。例如：

复制

+ - 1                 // -1 
+ + 1                 // 1 
+ #nan                // #nan 
+ #duration(0,1,30,0) // #duration(0,1,30,0)

评估一元加运算符时，以下内容成立+x：

• x传播评估时引发的错误。
• 如果评估结果x不是数字值，则会引发带有原因代码的错误"Expression.Error"。

一元减运算符

一元减号运算符 ( -x) 是为以下类型的值定义的：

对于其他值，"Expression.Error"会引发带有原因代码的错误。

一元减号运算符用于更改数字或持续时间的符号。例如：

复制

- (1 + 1)       // -2 
- - 1           // 1 
- - - 1         // -1 
- #nan          // #nan 
- #infinity     // -#infinity 
- #duration(1,0,0,0)  // #duration(-1,0,0,0) 
- #duration(0,1,30,0) // #duration(0,-1,-30,0)

评估一元减运算符时，以下内容成立-x：

• x传播评估时引发的错误。
• 如果表达式是数字，则结果是表达式中x符号已更改的数字值。如果值为 NaN，则结果也是 NaN。

逻辑否定运算符

逻辑否定运算符 ( not) 是为以下类型的值定义的：

此运算符计算not给定逻辑值的逻辑运算。例如：

复制

not true             // false 
not false            // true 
not (true and true)  // false

在评估逻辑否定运算符时，以下内容成立not x：

• x传播评估时引发的错误。
• 计算表达式 x 产生的值必须是逻辑值，否则"Expression.Error"必须引发带有原因代码的错误。如果值为true，则结果为false。如果操作数为false，则结果为true。

结果是一个逻辑值。

类型运算符

运算符is和as称为类型运算符。

类型兼容性运算符

类型兼容性运算符x is y 是为以下类型的值定义的：

表达式x is y返回true如果的冲高类型x可兼容y，并返回false如果满足冲高类型x是不兼容的y。y必须是可空原始类型。

is-expression:       as-expression       is-expression is nullable-primitive-type nullable-primitive-type: nullableoptprimitive -type

is运算符支持的类型兼容性是通用类型兼容性的子集，并使用以下规则定义：

• 如果x为 null 则它是兼容的，如果 y 是可空类型或 type any。
• 如果x为非空，则如果 的原始类型x与 相同，则它是兼容的y。

评估表达式时，以下内容成立x is y：

• x传播评估表达式时引发的错误。

类型断言运算符

类型断言运算符x as y是为以下类型的值定义的：

表达x as y断言的值x是兼容y具体根据is操作者。如果不兼容，则会引发错误。y必须是nullable-primitive-type。

as-expression:       等式表达式       as-expression as nullable-primitive-type

表达式x as y计算如下：

• x is y执行类型兼容性检查，x如果该测试成功，则断言返回不变。
• 如果兼容性检查失败，"Expression.Error"则会引发带有原因代码的错误。

例子：

复制

1 as number               // 1 
"A" as number             // error 
null as nullable number   // null

评估表达式时，以下内容成立x as y：

• x传播评估表达式时引发的错误。