重构

忒修斯之船：全部替换过的船还是“原来的船”吗？从软件工程解读同一性