7.5 课后习题——比较长度工具