（）的程序是先静态检查再动态检查。