在Elixir Ecto中同时实现一对多与一对一关系的最佳实践

现有两个表/模式，存在一对多关系：一个Person可以拥有多个Animal，每个Animal通过person_id外键关联对应的Person。当前Ecto实现如下：

schema "persons" do
  ...
  has_many :animals, Animal
end

schema "animals" do
  ...
  belongs_to :person, Person
end

现在需要引入「个人最爱动物」的概念，每人最多拥有1个最爱动物（0或1个）。在已有一对多关系的前提下，该如何实现这第二种关系？

我想到两种备选方案，但都存在缺陷：

• 方案1：在Animal中添加favourite布尔字段。这种方案简单，但无法通过数据库约束确保每人最多有一个最爱动物——数据库中可能出现同一人的多个Animal的favourite值为true的情况，只能在业务逻辑中手动维护约束。
• 方案2：引入一对一关系。在Person中添加favourite_animal_id外键标识最爱动物，但在Ecto中用belongs_to引入外键时，语义和命名存在问题：

# Person schema
...
has_many :animals, Animal
belongs_to :favourite_animal, Animal
end

# Animal schema
...
belongs_to :person, Person
has_one :person, Person <- 此名称必须修改以避免冲突
end 

这种写法语义相悖（看起来像是Person属于Animal），且has_one字段的命名存在歧义，不知道该怎么命名才合理。

请问在Ecto（或通用SQL）中，处理这种双向外键关系的惯用方式是什么？

方案1优化：用数据库约束强化布尔字段方案 #

如果倾向于用favourite布尔字段，可以通过部分唯一索引解决「同一人最多一个最爱」的问题，既保留方案简洁性，又通过数据库层面避免数据不一致：

1. 在数据库层面创建约束：

CREATE UNIQUE INDEX idx_person_favourite_animal ON animals (person_id) WHERE favourite = true;

2. 对应Ecto迁移文件写法：

create unique_index(:animals, [:person_id], where: "favourite = true")

这个索引会强制要求：同一个person_id下，最多只能有一条favourite = true的记录，无需完全依赖业务逻辑维护约束。

方案2优化：正确实现一对一的最爱关系 #

在Ecto中，belongs_to仅表示「当前表拥有外键字段」，不要被字面语义误导。Person表通过belongs_to :favourite_animal, Animal关联最爱动物是完全合理的——因为favourite_animal_id外键在persons表中，本质就是「Person拥有一个最爱动物」。

如果需要从Animal端反向查询「哪个Person把我设为最爱」，可以给has_one指定自定义名称和关联选项，避免和已有的person关系冲突：

# Animal schema
schema "animals" do
  ...
  belongs_to :person, Person
  # 反向关联：查询将此动物设为最爱的Person
  has_one :favourite_of_person, Person, foreign_key: :favourite_animal_id
end

命名为favourite_of_person清晰表达了关系：该动物是某个Person的最爱。

同时需要补充两个关键约束确保数据一致性：

1. persons.favourite_animal_id的外键约束（Ecto的belongs_to会自动生成），保证关联的动物存在。
2. 检查约束，确保favourite_animal_id对应的动物确实属于当前Person：

ALTER TABLE persons ADD CONSTRAINT chk_favourite_animal_belongs_to_person
CHECK (EXISTS (SELECT 1 FROM animals WHERE id = favourite_animal_id AND person_id = persons.id));

对应Ecto迁移写法：

execute """
ALTER TABLE persons ADD CONSTRAINT chk_favourite_animal_belongs_to_person
CHECK (EXISTS (SELECT 1 FROM animals WHERE id = favourite_animal_id AND person_id = persons.id))
"""

方案选择建议 #

• 若业务无需从动物端反向查询最爱关系，优先选优化后的方案1，模型更简洁。
• 若需要明确的一对一关系语义，或需从动物端查询「被谁设为最爱」，则选优化后的方案2。

内容的提问来源于Stack Exchange，提问作者Bartłomiej Szałach