我有一个地图,其中包含用户输入的远程机器名称,以及用户在主机上输入的名称以供在那里运行的程序。不希望出现重复的条目,因为用户输入了一次大写字母,之后又以小写字母输入了相同的名称。
原型:
map<string, string> host_and_name = 1;
存储时,理想情况下我可以使用此方法,因为地图标记为区分大小写。虽然不是默认行为,但看不到其他装饰方法。希望我错过了什么。
cache.putHostAndHame( hostName, strategyName );
知道我可以迭代所有地图值,并且只有在我没有找到 equalsCaseInsenstive 匹配时才放。如果必须的话,我最终会这样做,但似乎有点蛮力。