编译器既能识别静态语义，又能识别动态语义。