Item 2-3 大小写不敏感的string

实现一个“大小写不敏感”的string类：

ci_string s( "AbCdE" ); assert( s == "abcde" ); // 1. 大小写不敏感 assert( s == "ABCDE" ); // 1. 大小写不敏感 assert( strcmp( s.c_str(), "AbCdE" ) == 0 ); // 2. 保留大小写状态 assert( strcmp( s.c_str(), "abcde" ) != 0 ); // 2. 保留大小写状态

 

程序：

template<class T> struct ci_char_traits: public char_traits<T> { using typename char_traits::_Elem; static bool __CLRCALL_OR_CDECL eq(const _Elem& _Left, const _Elem& _Right) { return toupper(_Left) == toupper(_Right); } static bool __CLRCALL_OR_CDECL lt(const _Elem& _Left, const _Elem& _Right) { return toupper(_Left) < toupper(_Right); } static int compare(const char* s1, const char* s2, size_t n) { return _memicmp(s1, s2, n); // VC2008编译器提供了ISO C++标准的函数名 } }; typedef basic_string<char, ci_char_traits<char> > ci_string; bool operator == (const ci_string& s1, const ci_string& s2) { return s1.compare(s2) == 0; }

 

编译时会出现4个C4996警告，都是对VC的STL内部实现的说明。不明白，暂时无视之。

1> 大小写敏感是非常重要的属性

2> ci_char_traits是从char_traits公有派生，此处并不是常见的IS-A关系，所以不符合LSP原则（Liskov Substitution Principle）。
C++标准库中的traits并不是为派生而创造的，所以违反了LSP原则也没关系。因为ci_char_traits是当作模板参数的，符合模板参数的要求就可以了。

3> 虽然ci_char_traits是char_traits的子类，但是下面的代码无法编译：

ci_string s = "abc";
cout << s << endl;

要找原因，看operator<<和cout的定义：

template<class charT, class traits, class Allocator> basic_ostream<charT, traits>& operator<<(basic_ostream<charT, traits>& os, const basic_string<charT, traits, Allocator>& str); typedef basic_ostream<char, char_traits<char> > ostream; __PURE_APPDOMAIN_GLOBAL extern _CRTDATA2 ostream cout;

 

看的出来，cout只能使用char_traits，而不认ci_char_traits。从侧面说明了模板库里的公有派生，并不是IS-A的关系。