声明式导航和编程式导航