9.4 静态断言