软件构造——3.1不可变ADT与snapshot

NoSuchKey