从区分大小写映射到不区分大小写现在看来是很微不足道的，但实际上很难有效地进行这一映射。

Now it would seem fairly trivial to map from case-sensitive to case-insensitive, but in fact it's hard to do it efficiently.

youdao

此检查也是区分大小写的。

This check is also case sensitive.

youdao

过滤值是区分大小写的。

Filter values are case sensitive.

youdao