前段時(shí)間仿照虛幻3寫(xiě)ConfigFile，有兩個(gè)重要的需求，其一是快速的搜索配置文件中的Key_Value_pair;其二是可以還原到讀入時(shí)的狀態(tài)，或者友好串行化。很明顯，要做到快速的搜索需要用二叉樹(shù)或者散列表來(lái)幫忙，但是如果直接用map或者h(yuǎn)ash_map都不行，會(huì)破壞輸入順序，以下面的例子為例：
key1=1
key0=0
key2=2
那么實(shí)際上在map中的順序是0 1 2，因此破壞了順序，如果要達(dá)到還原的效果，則需要自己使用vector來(lái)保存輸入的順序，那么這會(huì)造成很大的負(fù)擔(dān)，特別是在出現(xiàn)刪除的時(shí)候。
不過(guò)還好，強(qiáng)大的boost提供了multi_index庫(kù)，我們可以使用它來(lái)對(duì)同一個(gè)容器提供兩個(gè)不同的視圖(View)，一個(gè)有序一個(gè)只是個(gè)普通序列。
再考慮到字符編碼、大小寫(xiě)敏感和是否支持重復(fù)Key_value_pair，可以得到這樣的一個(gè)聲明：
template < typename TCHARTYPE, bool bCaseSensitive, bool bMulti >
class config_info;
對(duì)于bCaseSensitive，我們需要對(duì)算法進(jìn)行分派，使得總是能夠調(diào)用到正確的算法比如strcmp和stricmp，這需要通過(guò)特化來(lái)做到。
是否支持重復(fù)鍵，可以用map和multimap來(lái)區(qū)分。
這些都可以用特化來(lái)做，不過(guò)如果是這樣的話(huà)，那么對(duì)于頂級(jí)類(lèi)config_info來(lái)說(shuō)，規(guī)模會(huì)是指數(shù)膨脹，這時(shí)候需要Traits的幫助，這樣我們把不同的部分都放到Traits類(lèi)中，將相同的部分放到config_info當(dāng)中。
因此，我們可以得到大概這樣一個(gè)類(lèi)，以下是代碼片段：
template < typename TCHARTYPE, bool bCaseSensitive, bool bMulti >
class config_info
{
protected:
typedef boost::multi_index::multi_index_container<
section_info< TCHARTYPE, bCaseSensitive, false >,
boost::multi_index::indexed_by<
boost::multi_index::ordered_unique<
boost::multi_index::identity<
section_info< TCHARTYPE, bCaseSensitive, false >
>
>,
boost::multi_index::sequenced<>
>
> single_container_type;
typedef boost::multi_index::multi_index_container<
section_info< TCHARTYPE, bCaseSensitive, true >,
boost::multi_index::indexed_by<
boost::multi_index::ordered_non_unique<
boost::multi_index::identity<
section_info< TCHARTYPE, bCaseSensitive, true >
>
>,
boost::multi_index::sequenced<>
>
> multi_container_type;
public:
typedef typename boost::mpl::if_c< bMulti, multi_container_type, single_container_type >::type container_type;
typedef typename container_type::nth_index<0>::type first_view_type;
typedef typename container_type::nth_index<1>::type second_view_type;
typedef typename first_view_type::const_iterator ordered_const_iterator;
typedef typename second_view_type::const_iterator non_ordered_const_iterator;
typedef std::pair< ordered_const_iterator, ordered_const_iterator > ordered_const_iterator_range;
typedef detail::config_info_provider_traits<TCHARTYPE> provider_traits;
typedef detail::config_info_string_algorithm<bCaseSensitive> string_algorithm;
typedef std::vector< TCHARTYPE > buffer_type;
typedef section_info< TCHARTYPE, bCaseSensitive, bMulti > section_type;
// 這樣可以更好的利用IDE的Intellisense
typedef std::basic_string<TCHARTYPE> string_type;
typedef typename section_type::value_type value_type;
typedef typename section_type::key_type key_type;
typedef typename section_type::key_value_type key_value_type;
這里我直接使用了boost.mpl來(lái)實(shí)現(xiàn)靜態(tài)分離(不好意思，我不知道怎么描述，這個(gè)詞匯是我自己想出來(lái)的，不知道準(zhǔn)確不準(zhǔn)確，請(qǐng)?jiān)徫掖笱圆粦M的為它定義，即：通過(guò)某種方法，在編譯時(shí)選擇正確的類(lèi)。如果您知道怎么正確描述這種行為，請(qǐng)告訴我，謝謝。 ）。
如果你覺(jué)得上面typedef太多、嵌套層次太深的話(huà)，請(qǐng)看下面的微縮版代碼：
#include <iostream>
#include <set>
using namespace std;
namespace mpl
{
template < bool bCondition, typename T1, typename T2 >
struct _if
{
typedef void type;
};
template < typename T1, typename T2 >
struct _if< true, T1, T2 >
{
typedef T1 type;
};
template < typename T1, typename T2 >
struct _if< false, T1, T2 >
{
typedef T2 type;
};
}
#pragma pack(1) // 不對(duì)齊
template < typename T, bool bMulti >
class TestContainer
{
// msstl下面它們大小都是28 (對(duì)于int來(lái)說(shuō))
typedef std::set< T > single_type;
typedef std::multiset<T> multi_type;
// dummy只用來(lái)演示類(lèi)大小的不同
typedef char single_dummy; // 不對(duì)齊的時(shí)候字節(jié)數(shù)是1
typedef double multi_dummy; // 不對(duì)齊的時(shí)候字節(jié)數(shù)是8
typedef typename mpl::_if< bMulti, multi_dummy, single_dummy >::type dummy_type;
public:
typedef typename mpl::_if< bMulti, multi_type, single_type >::type set_type;
public:
void insert( const T& t )
{
m_set.insert( t );
}
void print() const
{
for( set_type::const_iterator it = m_set.begin();
it != m_set.end();
++it )
{
cout<< *it <<" ";
}
cout<< endl;
}
private:
set_type m_set;
dummy_type m_dummy;
};
int main()
{
{
cout<< "TestContainer<int, true> : " << sizeof(TestContainer<int, true>) << endl;
TestContainer<int, true> t;
t.insert( 100 );
t.insert( 100 );
t.insert( 200 );
t.insert( 200 );
t.insert( 200 );
t.print();
}
{
cout<< "TestContainer<int, false> : " << sizeof(TestContainer<int, false>) << endl;
TestContainer<int, false> t;
t.insert( 100 );
t.insert( 100 );
t.insert( 200 );
t.insert( 200 );
t.insert( 200 );
t.print();
}
return 0;
}
輸出結(jié)果是：
TestContainer<int, true> : 36
100 100 200 200 200
TestContainer<int, false> : 29
100 200
請(qǐng)按任意鍵繼續(xù). . .
根據(jù)是否支持重復(fù)，bMulti是否為真，通過(guò)一點(diǎn)模板元的代碼可以讓編譯器自動(dòng)選擇正確的容器。當(dāng)然前提是bMulti必須是在編譯時(shí)就能確定的值。如果是變量，要通過(guò)變量來(lái)選擇正確的類(lèi)的話(huà)，則是動(dòng)態(tài)的，如果你愿意，可以稱(chēng)為動(dòng)態(tài)分離（⊙﹏⊙b汗，不要倒，你要淡定。 ）。
boost.mpl提供了大量的、強(qiáng)大的和令人欽佩的模板元編程庫(kù)。說(shuō)到底，這都依賴(lài)于編譯器，依賴(lài)于模板特化，包括使用模板元計(jì)算斐波那契數(shù)列亦是如此，讓人不得不佩服C++的偉大。
以上面的簡(jiǎn)單例子為例，那么我們可以知道，當(dāng)bMulti的值不同的時(shí)候，編譯器會(huì)自動(dòng)得到不同的type。
回到config_info，兩行綠色的代碼做的事情就是把變化提取出來(lái)，然后這樣的好處在于我在config_info里面總是能夠用同樣的接口做不同的事情。以序列化為例：
inline void serialize( buffer_type& buf ) const
{
// 序列化所有的注釋
comment_container::const_iterator itRight = m_comments.end();
for( comment_container::const_iterator it = m_comments.begin();
it != m_comments.end();
++it )
{
if( it->m_ePos == comment_type::ECP_RIGHT )
{
itRight = it;
continue;
}
else
{
buf.push_back( provider_traits::standard_comment_char() );
buf.push_back( provider_traits::standard_space_char() );
buf.insert( buf.end(), it->m_strInfo.begin(), it->m_strInfo.end() );
buf.push_back( provider_traits::return_char() );
}
}
// 序列化section
buf.push_back( TCHARTYPE('[') );
buf.insert( buf.end(), m_strSectionName.begin(), m_strSectionName.end() );
buf.push_back( TCHARTYPE(']') ); // 不要對(duì)這個(gè)感到意外，因?yàn)槲姨珣辛?，還沒(méi)調(diào)整，應(yīng)該改到Traits中去的，當(dāng)然對(duì)于char和wchar_t來(lái)說(shuō)，這會(huì)工作正常。
if( itRight != m_comments.end() )
{
buf.push_back( provider_traits::standard_space_char() );
buf.push_back( provider_traits::standard_comment_char() );
buf.insert( buf.end(), itRight->m_strInfo.begin(), itRight->m_strInfo.end() );
}
buf.push_back( provider_traits::return_char() );
for( second_view_type::const_iterator it = m_Con.get<1>().begin();
it != m_Con.get<1>().end();
++it )
{
it->serialize( buf );
}
}
再看看這個(gè)provider_traits的定義你就明白了：
/**
* @brief 提供用於提供不同字符串編碼的標(biāo)準(zhǔn)信息
*/
template < typename TCHARTYPE >
class config_info_provider_traits
{
public:
typedef std::basic_string<TCHARTYPE> string_type;
public:
static const TCHARTYPE* comments_string();
static const TCHARTYPE return_char();
static const TCHARTYPE standard_comment_char();
static const TCHARTYPE standard_space_char();
static const TCHARTYPE* null_string();
static const TCHARTYPE equals_sign();
};
template <>
class config_info_provider_traits<char>
{
public:
typedef std::basic_string<char> string_type;
public:
static const char* comments_string()
{
return ";#";
}
static const char return_char()
{
return '\n';
}
static const char standard_comment_char()
{
return ';';
}
static const char standard_space_char()
{
return ' ';
}
static const char* null_string()
{
return "";
}
static const char equals_sign()
{
return '=';
}
};
template <>
class config_info_provider_traits<wchar_t>
{
public:
typedef std::basic_string<wchar_t> string_type;
public:
static const wchar_t* comments_string()
{
return L";#";
}
static const wchar_t return_char()
{
return L'\n';
}
static const wchar_t standard_comment_char()
{
return L';';
}
static const wchar_t standard_space_char()
{
return L' ';
}
static const wchar_t* null_string()
{
return L"";
}
static const wchar_t equals_sign()
{
return L'=';
}
};
字符串算法部分：
/**
* @brief 用于分發(fā)算法 使用C庫(kù)函數(shù)優(yōu)化字符串比較操作
*/
template < typename TCHARTYPE >
class std_basic_string_algorithm
{
public:
inline static bool equals(
const std::basic_string<TCHARTYPE>& Input,
const std::basic_string<TCHARTYPE>& Test )
{
return 0 == std::char_traits<TCHARTYPE>::compare( Input.c_str(), Test.c_str() );
}
inline static bool iequals(
const std::basic_string<TCHARTYPE>& Input,
const std::basic_string<TCHARTYPE>& Test );
inline static bool lexicographical_compare(
const std::basic_string<TCHARTYPE>& Input,
const std::basic_string<TCHARTYPE>& Test )
{
return std::char_traits<TCHARTYPE>::compare( Input.c_str(), Test.c_str() ) < 0;
}
inline static bool ilexicographical_compare(
const std::basic_string<TCHARTYPE>& Input,
const std::basic_string<TCHARTYPE>& Test );
};
我使用strcmp、stricmp、wcscmp、wcsicmp在char和wchar_t的特化類(lèi)中優(yōu)化這些算法。
我使用下面這個(gè)類(lèi)來(lái)分離大小寫(xiě)是否敏感：
/**
* @brief 用于分離字符串在是否大小寫(xiě)敏感的狀態(tài)下的算法
*/
template < bool bCaseSensitive >
class config_info_string_algorithm
{
public:
template<typename Range1T, typename Range2T>
inline static bool equals(
const Range1T& Input,
const Range2T& Test);
template<typename Range1T, typename Range2T>
inline static bool lexicographical_compare(
const Range1T& Arg1,
const Range2T& Arg2 );
};
在特化類(lèi)中它們分別會(huì)調(diào)用equals或者iequals等。
如果你要問(wèn)我為什么要用模板來(lái)寫(xiě)，我說(shuō)這樣很方便，而且效率也不會(huì)低：
typedef config_file<char, false, false > char_config_file;
typedef config_file<wchar_t, false, false > wchar_config_file;
typedef config_file<char, false, true > char_data_provider;
typedef config_file<wchar_t, false, true > wchar_data_provider;
我只需要4個(gè)typedef就可以得到4個(gè)完全不同的類(lèi)，甚至通過(guò)更多的組合生成更多的類(lèi)，何樂(lè)而不為呢？
好了，朋友們有感興趣的可以去看Boost的文檔看mpl相關(guān)的東西。
轉(zhuǎn)自： http://hi.baidu.com/_%E2d_%B7%B3_%DE%B2%C2%D2/blog/item/c399dc94029dbe12d31b7076.html
|