“构造函数,比较大小”之归纳大全