表达式语法

项目
03/22/2024

备注

Microsoft Power Fx 是画布应用公式语言的新名称。当我们从画布应用中提取语言，将其与其他 Microsoft Power Platform 产品集成并使其作为开放源代码提供时，这些文章还在撰写。从 Microsoft Power Fx 概述开始，了解对此语言的介绍。

Microsoft Power Fx 基于将名称绑定到表达式的公式。就像在 Excel 工作表中一样，随着表达式的入站依赖项的更改，表达式将重新计算，名称的值也会更改，可能会将重新计算级联到其他公式。

此语法涵盖公式的表达式部分。绑定到要创建公式的名称依赖于 Power Fx 的集成方式。在工作表中，绑定语法不公开，它由写入表达式的位置隐含—例如，在 A1 单元格中输入 =B1。在某些情况下，不需要绑定，Power Fx 将用作表达式计算器，例如在支持数据库表的计算列时。对于 Power Apps，绑定在具有基于 YAML 的序列化格式以在 Power Apps Studio 外部使用的 Power Apps Studio 中工作时隐含。

语法约定

词法和句法使用文法产生式来表示。每个文法产生式定义一个非终端符号，以及该非终端符号可能扩展成一系列非终端或终端符号。在文法产生式中，非终端符号以斜体显示，终端符号以固定宽度字体显示。

文法产生式的第一行是定义的非终端符号的名称，后跟冒号。每一个后续缩进行都包含一个非终端符号的可能扩展，该非终端符号由一系列非终端或终端符号组成。例如，产生式：

GlobalIdentifier:
[@ Identifier]

将 GlobalIdentifier 定义为包含令牌 [@，后跟标识符，然后是令牌]。

当非终端符号有多个可能的扩展时，替代项在单独的行中列出。下标“opt”用于指示可选符号。例如，产生式：

FunctionCall:
FunctionIdentifier(FunctionArguments_opt)

为以下项的简写：

FunctionCall:
FunctionIdentifier()
FunctionIdentifier(FunctionArguments)

替代项通常在单独的行中列出，但在有许多替代项的情况下，“one of”一词可能出现在单行上给出的一列扩展之前。这只是对在单独的行中列出每个替代项的简化。

例如，产生式：

DecimalDigit:one of
0 1 2 3 4 5 6 7 8 9

为以下项的简写：

DecimalDigit:
0
1
2
3
4
5
6
7
8
9

词法分析

lexical-unit 产生式定义了 Power Fx 表达式的词法语法。每个有效的 Power Fx 表达式都遵循此语法。

ExpressionUnit:
ExpressionElements_opt

ExpressionElements:
ExpressionElement
ExpressionElementExpressionElements_opt

ExpressionElement:
空格
注释

在词法级别，Power Fx 表达式由一系列空格、注释和令牌元素组成。以下各节将介绍这些产生式。在句法语法中，只有令牌元素是有意义的。

空白

空格用于分隔 Power Apps 文档中的注释和令牌。

空格：
任何 Unicode 空格分隔符（类 Zs）
任何 Unicode 行分隔符（类 Zl）
任何 Unicode 段落分隔符（类 Zp）
水平制表符 (U+0009)
换行符 (U+000A)
垂直制表符 (U+000B)
换页符 (U+000C)
回车符 (U+000D)
换行符 (U+0085)

注释

支持两种形式的注释：

单行注释以字符 // 开头，并扩展到源行的末尾。
分隔注释以字符 /* 开头，以字符 */ 结尾。分隔注释可以跨多行。

注释：
DelimitedComment
SingleLineComment

SingleLineComment:
// SingleLineCommentCharacters_opt

SingleLineCommentCharacters:
SingleLineCommentCharacter
SingleLineCommentCharacterSingleLineCommentCharacters_opt

SingleLineCommentCharacter:
除 NewLineCharacter 之外的任何 Unicode 字符

DelimitedComment:
/* DelimitedCommentCharacters_opt*/

DelimitedCommentCharacters:
DelimitedCommentCharactersNoAsteriskDelimitedCommentCharacters_opt
* DelimitedCommentAfterAsteriskCharacters

DelimitedCommentAfterAsteriskCharacters:
DelimitedCommentNoSlashAsteriskCharacterDelimitedCommentCharacters_opt
* DelimitedCommentAfterAsteriskCharacters

DelimitedCommentCharactersNoAsterisk:
除 *（星号）之外的任何 Unicode 字符

DelimitedCommentNoSlashAsteriskCharacter:
除 /（斜杠）或 *（星号）之外的任何 Unicode 字符

注释不嵌套。字符序列 /* 和 */ 在单行注释中没有特殊含义，字符序列 // 和 /* 在分隔注释中没有特殊含义。

注释不在文本文字字符串中处理。

以下示例包含两个分隔注释：

/* Hello, world
*/
"Hello, world"    /* This is an example of a text literal */

以下示例包含三个单行注释：

// Hello, world
//
"Hello, world"    // This is an example of a text literal

文字

文字是值的源代码表示形式。

Literal:
LogicalLiteral
NumberLiteral
TextLiteral

逻辑文字

逻辑文字用于写入值 true 和 false，并生成逻辑值。

LogicalLiteral:one of
true false

数字文字

数字文字用于写入数值并生成数值。

NumberLiteral:
DecimalDigitsExponentPart_opt
DecimalDigitsDecimalSeparatorDecimalDigits_optExponentPart_opt
DecimalSeparatorDecimalDigitsExponentPart_opt

DecimalDigits:
DecimalDigit
DecimalDigitsDecimalDigit

DecimalDigit:one of
0 1 2 3 4 5 6 7 8 9

ExponentPart:
ExponentIndicatorSign_optDecimalDigits

ExponentIndicator:one of
e E

Sign:one of
+ -

文本文字

文本文字用于写入 Unicode 字符序列并生成文本值。文本文字用双引号括起来。要在文本值中包含双引号，重复双引号，如以下示例所示：

"The ""quoted"" text" // The "quoted" text

TextLiteral:
" TextLiteralCharacters_opt"

TextLiteralCharacters:
TextLiteralCharacterTextLiteralCharacters_opt

TextLiteralCharacter:
TextCharacterNoDoubleQuote
DoubleQuoteEscapeSequence

TextCharacterNoDoubleQuote:
除双引号之外的任何 Unicode 代码点

DoubleQuoteEscapeSequence:
" "

标识符

标识符是用于引用值的名称。标识符可以是常规标识符，也可以是带单引号的标识符。

Identifier:
IdentifierNamebutnotOperatororContextKeyword

IdentifierName:
IdentifierStartCharacterIdentifierContinueCharacters_opt
' SingleQuotedIdentifier'

IdentifierStartCharacter:
LetterCharacter
_

IdentifierContinueCharacter:
IdentifierStartCharacter
DecimalDigitCharacter
ConnectingCharacter
CombiningCharacter
FormattingCharacter

IdentifierContinueCharacters:
IdentifierContinueCharacterIdentifierContinueCharacters_opt

LetterCharacter:
类大写字母 (Lu) 或小写字母 (Ll) 的任何 Unicode 字符
类标题大写字母 (Lt) 的任何 Unicode 字符
类字母修饰符 (Lm) 或字母其他 (Lo) 的任何 Unicode 字符
类数字字母 (Nl) 的任何 Unicode 字符