Scala 为什么这两个圆滑的查询不相等？

因此，我有了这个查询构造函数，它可以工作

val q = Users.filter(_.id === userId) join People on {
  case (u, p) => u.personId === p.id
} joinLeft Addresses on {
  case ((u, p), a) => p.addressId === a.id
} joinLeft Businesses on {
  case (((u, p), a), b) => p.businessId === b.id
} joinLeft Addresses on {
  case ((((u, p), a), b), ba) => b.flatMap(_.addressId) === ba.id
} map {
  case ((((u, p), a), b), ba) => (p, a, b, ba)
}

这个我认为是等效的，但不起作用：

val q = Users.filter(_.id === userId) join People joinLeft Addresses joinLeft Businesses joinLeft Addresses on {
  case ((((u, p), a), b), ba) =>
    u.personId === p.id &&
    p.addressId === a.flatMap(_.id) &&
    p.businessId === b.flatMap(_.id) &&
    b.flatMap(_.addressId) === ba.id
} map {
  case ((((u, p), a), b), ba) => (p, a, b, ba)
} 

第二个似乎返回了一个配置文件列表，其中包含的配置文件比目标配置文件多

为什么它们不一样

---

“等效”SQL（即此构造的目标）是：

这里的问题是，第二个查询将产生如下结果：

   select p.*, a1.*, b.*, a2.*
     from Users u 
     join People p on 1 = 1
left join Addresses a1 on 1 = 1
left join Businesses b on 1 = 1 
left join Addresses a2 on u.personId = p.id
                      and p.addressId = a1.id
                      and p.businessId = b.id
                      and b.addressId = a2.id

如您所见，对于每个联接表，所有预期为联接条件的条件实际上都是最后一个联接的联接条件的一部分

为了了解这将如何影响最终结果，让我们将问题简化如下：

create temporary table A (id int primary key);

insert into A values (1), (2);

   select a1.id, a2.id, a3.id
     from A a1
     join A a2 on 1 = 1
left join A a3 on a1.id = a2.id
              and a2.id = a3.id;

在第一次联接时，a1和a2由一个始终为真的条件联接，从而产生以下临时结果：

(1, 1)
(1, 2)
(2, 1)
(2, 2)

现在让我们考虑第二个连接。我们将

a1.id=a2.id

作为联接条件的一部分，但请记住联接条件用于决定如何从表a3检索行，而不是筛选第一个联接的中间结果。我们在这里做一个左连接，因此会生成一个额外的3行NULL，即使连接条件不满足。最终结果将是：

(1, 1, 1)
(1, 2, NULL)
(2, 1, NULL)
(2, 2, 2)

因此，当最后一个左联接表的列为NULL时，您将看到更多意外的结果

(1, 1, 1)
(1, 2, NULL)
(2, 1, NULL)
(2, 2, 2)