HIT软件构造课程复习——第三章ADT&OOP第一节数据类型和数据检查