实体建模时如何优雅地解决一个实体的某几个字段在某个状态下同时存在/同时不存在，或者只有在某种状态下才有某种行为的问题

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

V2EX 提问指南

这是一个创建于 913 天前的主题，其中的信息可能已经有所发展或是发生改变。

目前倾向于用 adt ，但是对于不支持交类型的一些名义类型语言，有两个正交的状态就得手动定义四种类型，更烦的是得起四个名字，状态多起来要实现完全完备的建模有点不现实也不实用

目前尚无回复