15.静态断言