很经典，模式匹配大家都知道，但书上只有一般算法，这里是它的改进算法。