sealed 在case 类中的用法