ef实现原理