19.3 静态断言