挖肉补疮 补牙 补正 取长补短 炼石补天 不无小补 亡羊补牢