python tips:作为dict的key的类