10.4 像编译器一样思考吧——理论篇