你的问题的目的还不完全清楚，但不，里面没有gettext调用wp_nav_menu. 这是没有理由的，因为这个函数本身并没有输出任何字符串，只是传递它得到的内容。