反向映射

麦哲思科技任甲林

软件正确性=想要的都做了+不想要的没做正确的代码，不只是实现了该实现的，还包括没有实现不该实现的，不多不少，刚刚好就是正确。引子：一个被忽视的“正确性”另一半

我是有底线的