露西怎么了？​

自定义函数​

在之前的章节中，我们给伦菲尔德（Renfield）的力量值设为了 10，和力量仅是 5 的乔纳森（Jonathan）相比，我们可以看出他非常的强壮。

现在，我们用它来实践“如何制作函数”。由于 EdgeQL 是强类型的，因此你必须在签名中同时指明输入类型和返回类型。例如，输入 int16 类型并返回 float64 类型的函数签名如下所示：

function does_something(input: int16) -> float64

-> 细箭头用于指明返回值。

对于函数体的编写，我们按照下方步骤进行：

• 写下 using 然后跟上一个 () 括号，

• 在括号里写下函数定义，

• 用分号结束定义（注意：是在 ) 后面写分号）。

下面是一个非常简单的函数，它接受一个数字并最终返回一个字符串：

function make_string(input: int64) -> str
  using (<str>input);

就是这样！

Let’s write a quick function to make our Event type a little nicer to read. Instead of putting 'https://geohack.toolforge.org/geohack.php?params=54.4858_N_0.6206_W' inside the Event type, we can make a function called get_url() that simply returns this str for us. With that, our url property definition is 42 characters shorter. Let’s add this function to the schema and change the url in the Event type to use it:

function get_url() -> str
  using (<str>'https://geohack.toolforge.org/geohack.php?params=');

type Event {
  required description: str;
  required start_time: cal::local_datetime;
  required end_time: cal::local_datetime;
  required multi place: Place;
  required multi people: Person;
  location: tuple<float64, float64>;
  east: bool;
  property url := get_url() ++ <str>.location.0 ++ '_N_' ++ <str>.location.1
  ++ '_' ++ ('E' if .east else 'W');
}

现在让我们来编写一个函数用于两个角色之间的战斗。我们将使逻辑尽可能简单：即具有更多力量的角色获胜，如果他们的力量相同，则第二个玩家获胜。

function fight(one: Person, two: Person) -> str
  using (
    one.name ++ ' wins!'
    if one.strength > two.strength
    else two.name ++ ' wins!'
  );

这个函数“看起来”还不错，但是当你尝试创建它时，你会得到这样的错误提示：

InvalidFunctionDefinitionError: return cardinality mismatch in function
  declared to return exactly one value

之所以会出现这个错误，是因为 name 和 strength 在 Person 类型中不是必须的（没有标记 required）。如果你传入的是一个没有 name 值或没有 strength 值的 Person 类型，这个函数将会返回空集。（对此，我们会在下一个章节有更进一步的说明。）这并不是 EdgeDB 想要的，因为我们在函数定义时告诉了 EdgeDB：这个函数会返回一个字符串。

当然，我们可以返回去，在 Person 类型中在 name 和 strength 前加上 required，但我们则需要确保所有已经存在的 Person 对象在他们的 name 和 strength 上都有了相应的数值。可以想见，这会给我们带来很多麻烦，因此，这里我们也并不打算这样去解决这个问题。

用合并操作符提供备选方案（fallback）​

解决上面所遇问题最简单的方法则是为可能未设置的属性提供某种备选方案（fallback）。比如：如果 one 没有名字，我们可以将它们称为 Fighter 1。如果某人没有力量值，我们可以将他们的力量默认为 0。

为此，我们可以使用合并操作符 coalescing operator，即 ??。如果操作符左边不为空，则结果就是左边的内容。否则，结果会使用操作符右边的内容。

下面是一个简单的例子：

db> select <str>{} ?? 'Count Dracula is now in Whitby';

?? 的左边是空集，因为它 是 空集，所以合并运算符在这里将放弃使用它，转而去查看右边的内容，因此，这个查询结果将使用合并运算符右侧生成的字符串：{'Count Dracula is now in Whitby'}

如果运算符 ?? 两边都不是空集，则合并运算符将使用运算符左边的内容进行返回。如果两边都是空集，则会返回空集。

下面就让我们使用合并运算符来修复我们在上面 fight() 函数中遇到的问题：

function fight(one: Person, two: Person) -> str
  using (
    (one.name ?? 'Fighter 1') ++ ' wins!'
    if (one.strength ?? 0) > (two.strength ?? 0)
    else (two.name ?? 'Fighter 2') ++ ' wins!'
  );

现在，EdgeDB 对于那些返回值可能是空集的属性提供了备选内容，即：如果 one.name 是空集，我们则会使用 'Fighter 1'。如果其中一个人的 strength 属性是空集，我们则会使用 0。同样，如果 two.name 是空集，我们则会使用 'Fighter 2。这将确保函数始终可以返回我们承诺的字符串响应。

到目前为止，只有乔纳森（Jonathan）和伦菲尔德（Renfield）拥有 strength 属性，所以现在我们来让他们在这个新的 fight() 函数中较量一番：

with
  renfield := (select Person filter .name = 'Renfield'),
  jonathan := (select Person filter .name = 'Jonathan Harker')
select (
  fight(jonathan, renfield)
);

结果符合我们的预期：{'Renfield wins!'}

当我们通过过滤器选择人物时，我们最好加上 assert_single()。因为 EdgeDB 返回的是集合，如果它得到多个结果，那么 EdgeDB 将针对每个可能的组合都使用一次该函数。EdgeDB 处理这种情况的方法叫做“笛卡尔乘法”（Cartesian multiplication），现在让我们来进一步了解一下。

笛卡尔乘法​

笛卡尔乘法（Cartesian multiplication）听起来很吓人，但实际上只是意味着“将一个集合中的每个项目分别连接（join）到另一个集合中的每个项目”。通过图示可能会更加容易理解，幸运的是维基百科已经为我们制作了插图。当你在 EdgeDB 中将两个集合相乘时，你会得到笛卡尔乘积，如下所示：

来源：维基百科的用户“quartl”

这意味着如果我们对 Person 进行 select 后并传给函数 fight()，EdgeDB 将按照下面的公式运行函数：

• {the number of items in the first set} * {the number of items in the second set}

因此，如果第一个集合中有两个，第二个结合中有三个，该函数将被运行 6 次。

为了演示，我们将给函数的两个输入都传入三个对象，以此来测试我们的 flight() 函数。这里，对于那些还没有力量值的其他角色，我们暂时将其力量值均设置为 5：

update Person filter not exists .strength
set {
  strength := 5
};

此外，我们还将运用 ++ 使得输出结果更加清晰可读：

with
  first_group := (select Person filter .name in {'Jonathan Harker', 'Count Dracula', 'Arthur Holmwood'}),
  second_group := (select Person filter .name in {'Renfield', 'Mina Murray', 'The innkeeper'}),
select (
  first_group.name ++ ' fights against ' ++ second_group.name ++ '. ' ++ fight(first_group, second_group)
);

输出如下所示：总共有九场战斗，第 1 组中的每个人与第 2 组中的每个人分别战斗一次。

{
  'Jonathan Harker fights against Renfield. Renfield wins!',
  'Jonathan Harker fights against The innkeeper. The innkeeper wins!',
  'Jonathan Harker fights against Mina Murray. Mina Murray wins!',
  'Arthur Holmwood fights against Renfield. Renfield wins!',
  'Arthur Holmwood fights against The innkeeper. The innkeeper wins!',
  'Arthur Holmwood fights against Mina Murray. Mina Murray wins!',
  'Count Dracula fights against Renfield. Renfield wins!',
  'Count Dracula fights against The innkeeper. The innkeeper wins!',
  'Count Dracula fights against Mina Murray. Mina Murray wins!',
}

如果你去掉过滤器，只用 select Person，你会得到超过 100 个结果。而 EdgeDB 默认只显示前 100 个，在显示 100 个结果后会显示：

... (further results hidden `\set limit 100`)

→ 点击这里查看到第 11 章为止的所有代码

1. 编写一个名为 get_lucies() 的函数，使其只返回所有名称与“Lucy Westenra”匹配的 Person 对象？

   查看答案

2. 编写一个函数：接收两个字符串，并返回所有名称可以匹配输入的两个字符串中任意一个的 Person 对象？

   提示：尝试使用 set of Person 作为返回类型。

   查看答案

3. 下面的语句将会输出什么？

   Copy

   select {'Jonathan', 'Arthur'} ++ {' loves '} ++ {'Mina', 'Lucy'} ++ {' but '} ++ {'Dracula', 'The inkeeper'} ++ {' doesn\'t love '} ++ {'Mina', 'Jonathan'};
   

   查看答案

4. 如何制作一个函数来计算一个城市比另一个城市大多少倍？

   查看答案

5. select (City.population + City.population) 和 select ((select City.population) + (select City.population)) 会产生不同的结果吗？

   查看答案

接下来： 一天晚上，露西：“是什么在拍打窗户？听起来像是蝙蝠什么的……”