19.2 静态断言的需求