简介

概述

Power Query使用M语言，它的核心功能是筛选和合并。

• M语言的概念基本构成：值、表达式、环境和变量、标识符、计算模型。
• 值（包括原始值和结构化值）具有类型，类型本身就是一种特殊的值，它们既是表示基本类型的值，也是包含具体结构化值形态的附加元数据。
• 一组运算符定义了可以形成哪种类型的表达式。
• 函数亦是值。
• 错误不是值，但可以通过一些方法将错误变成值来处理。

表达式和值

表达式是计算过程，值是计算的结果。表达式可以计算并得到结果（值）。如果表达式不能得到值，那么就会得到错误。

// 1是表达式，也是值
1

// 1 + 1是表达式，结果2是值
1 + 1

列表、记录、表、函数等都是值的一种。

对于某些类型的值，可以嵌套组合。

[
    ids = {1, 2}, 
    person = 
        {
            [ name = "A", age = 16 ], 
            [ name = "B", age = 22 ]
        }, 
    option = [ op1 = "A" ]
]

标准库

标准库，简称库。标准库中定义了若干值，这里的值可以是数字、函数等。

标准库位于根环境（环境，或称为作用域），因此可以在M代码中的任意位置引用它们。

运算符

运算符与操作数组成符号表达式。对于1 + 2，1和2是操作数，+是操作符。

不同的运算符可以操作不同类型的数据。

对于较长的表达式，需要考虑运算符的优先等级。

元数据

元数据（meta data）用于表示与某个值的附加信息，元数据通过记录值表示，称为元数据记录。

每个值都有元数据，如果没有则为空（没有字段）。

元数据通常不会影响正常的计算，在通过计算后，元数据可能会消失或被改变。在特定情况下，特定元数据会被程序识别。

错误

错误表示表达式在计算过程中不能产生值，即出现了无法处理的错误。

错误可以转换成值进行处理。

正常情况下，遇到错误就会停止计算，但是在如果在列表、记录、表中，不会即时中止，而是记录错误。