如果接口返回导航属性应该实现为虚拟？

Question

我有一个界面

public interface ITask
{
    IPart Part { get; set; }
}

当我实现这个接口时，编译器会很满意

public virtual IPart Part { get; set; }

或

public IPart Part { get; set; }

但EF需要将该属性设为虚拟as explained here。

我一直忘记以正确的方式实施它。有什么方法可以确保它一定是吗？

注意我按如下方式填写界面;

public virtual IPart Part
{
    get { return TemplatePart; }
    set { TemplatePart = (TemplatePart)value; }
}

“虚拟”实际上是不相关的，因为我没有声明导航属性吗？