有时候，我们需要检测一个元素是否已经存在列表中，并且不区分大小写，如：列表已有元素Mary，那我们想认为MARY也已经被占用。这个例子在实际编程中会用到很多，比如保证网站注册用户独一无二、邮件姓名独一无二...
