Require Import compcert.common.AST.Require Import compcert.lib.Coqlib.Require Import compcert.lib.Maps.
Local Notation "a # b" := (PMap.get b a) (at level 1).
我想要更新一个“帖子”,并改变与“类别”之前已经创建的关系。帖子实体具有类别的ICollection。但类别不会改变。看起来,EF并不跟踪实体关系。顺便说一句,我没有问题创建新的职位分配类别。public class Post public virtual int PostId { get; set; } public virtual ICollection<Category> Categories { get; set; }{
public virtual int C