拯救你的字符串 : 完美救赎之终极奥义

引言：我希望看我的文章的朋友都能够去把我的代码编译一次，这样会发现理解我的文章很轻松。我给的代码都是直接无需修改就可编译并运行的。

 

前一篇文章http://blog.csdn.net/zy498420/archive/2010/11/10/6000129.aspx说到的种子皮在vc6的不完美适用问题，被彻底的解决了。剃了个头恰好就有思路了。

 

解决的方法很简单，让前一篇文章所说的bug在且仅在vc6中出现，完美。以毒攻毒，以bug1解决bug2！！

 

原理：vc6重载决议能力有限，但是却允许右值（临时值）传递给非const引用参数。当然同等条件它的重载决议优先选择带const引用参数（这个规则按标准原本只能用在左值上）的函数。

 

template <typename D, typename L, typename R, typename C>

inline const _et_private::binary_tree_ref<D, _et_private::binary_tree_ref<D, L, R>, C >

    operator + (const _et_private::binary_tree_ref<D, L, R>& lhs, const C& rhs){

    return _et_private::binary_tree_ref<D, _et_private::binary_tree_ref<D, L, R>, C > (lhs, rhs);

}

 

template <typename D, typename L, typename R, typename C>

inline const _et_private::binary_tree_ref<D, C, _et_private::binary_tree_ref<D, L, R> >

    operator + (const C& lhs, const _et_private::binary_tree_ref<D, L, R>& rhs){

    return _et_private::binary_tree_ref<D, C, _et_private::binary_tree_ref<D, L, R> > (lhs, rhs);

}

 

瞧，如果C类型也是binary_tree_ref时，编译器就不知道如何2选1了。符合标准的编译器支持对这种情况进行特化来帮助选择，然而vc6对于特化后的函数并没有提升它的重载优先级，而是像二师兄那样傻乎乎的问：又来了一个，3选1，选哪个呢？如果我是观音，我也想踢他了。

 

 

解决：把第2个函数的第2个参数去掉const 修饰

 

template <typename D, typename L, typename R, typename C>

inline const _et_private::binary_tree_ref<D, C, _et_private::binary_tree_ref<D, L, R> >

    operator + (const C& lhs,  _et_private::binary_tree_ref<D, L, R>& rhs){

    return _et_private::binary_tree_ref<D, C, _et_private::binary_tree_ref<D, L, R> > (lhs, rhs);

}

 

此时C若不是binary_tree_ref，就选择这个新函数（根据标准，把右值（临时值）传递给非const引用参数，编译器会抱错gcc。icc居然只给出警告,不完全算错的原因在于这个可能非法的引用我们永远不去解引用！！所以持有一个可能非法的引用并不会影响程序的运行，这也是这里vc6的“违法”行为居然没有任何坏效果的原因。不过icc是真聪明（真正的分析了inline函数内部的情况发现这个错误不会被触发），gcc是死守规矩的良民，而vc6是纯粹的瞎猫遇到了死老鼠。）。

如果C是binary_tree_ref，根据const永远优先的重载决议原则，vc6自动去选择第一个。

 

其实选择哪一个函数都是一样的，我们这里需要做的就是帮编译器做出选择。向左转还是向右转，这不是一个问题，只要你勇敢的迈出你的脚步。

 

好了，上完整代码。种皮和播种2个方法一起贴了上来，供大家参考，种皮和播种2个方法经过了非常多的测试，2者之间效率几乎没有任何区别。没有任何一个编译器能够对其中一种方法能多做一些优化。播种这一招的保留我始终觉得是有意义的。另外我对播种干脆做一个限制：必须放在最左端，不再允许放在第1和第2之间。有些接口，简单些更好用，太通用反而让人郁闷，守规矩总是一件好事。现在胡乱播种有可能编译器会报错！

#include <string>#include <time.h>#include <stdio.h> using namespace std; #ifdef _MSC_VER#if _MSC_VER <= 1200#ifndef __INTEL_COMPILER#define _MSVC_6#pragma warning( disable : 4786)#endif#endif#endif template <typename T>struct et_seed{}; namespace _et_private{ struct any_seed{}; #ifdef _MSVC_6 template <bool N>struct mpl_bool{ size_t sizer[size_t(N)+10];}; template <typename T>mpl_bool<true> get_result(T*, typename T::dest_type*); mpl_bool<false> get_result(...); template <typename T>struct check{ enum {result = (sizeof(get_result((T*)(NULL),NULL)) == sizeof(mpl_bool<true>)) };};#endif template <class D, class L, class R >struct binary_tree_ref { typedef D dest_type; typedef L left_type; typedef R right_type; inline binary_tree_ref (const left_type& lhs, const right_type& rhs): ldata(lhs), rdata(rhs){ } const left_type& ldata; const right_type& rdata; #ifndef _MSVC_6 template <typename T> inline static void op (const T& arg, dest_type& result){ result += arg; } template <typename T, typename M> inline static void op (const binary_tree_ref<dest_type, T, M>& arg, dest_type& result ){ binary_tree_ref<dest_type, T, M>::op(arg.ldata, result); binary_tree_ref<dest_type, T, M>::op(arg.rdata, result); } inline static void op (const any_seed& , dest_type& ){} inline static void op (const et_seed<dest_type>& , dest_type& ){} inline operator dest_type() const{ dest_type result; binary_tree_ref<dest_type, left_type, right_type>::op(ldata, result ); binary_tree_ref<dest_type, left_type, right_type>::op(rdata, result ); return result; }#else //vc6 cannot choose the correct template function, so the 3rd argument is used to help it! template <typename T> inline static void op (const T& arg, dest_type& result, mpl_bool<false>* ){ result += arg; } template <typename T, typename M> inline static void op (const binary_tree_ref<dest_type, T, M>& arg, dest_type& result, mpl_bool<true>* ){ binary_tree_ref<dest_type, T, M>::op(arg.ldata, result, (mpl_bool<((bool)check<T>::result)>*)NULL); binary_tree_ref<dest_type, T, M>::op(arg.rdata, result, (mpl_bool<((bool)check<M>::result)>*)NULL); } inline static void op (const any_seed& , dest_type& , mpl_bool<false>* ){} inline static void op (const et_seed<dest_type>& , dest_type& , mpl_bool<false>* ){} inline operator dest_type () const{ dest_type result; binary_tree_ref<dest_type, left_type, right_type>::op(ldata, result, (mpl_bool<((bool)check<left_type>::result)>*)NULL ); binary_tree_ref<dest_type, left_type, right_type>::op(rdata, result, (mpl_bool<((bool)check<right_type>::result)>*)NULL ); return result; }#endif}; } template <typename D, typename L, typename R, typename C>inline const _et_private::binary_tree_ref<D, _et_private::binary_tree_ref<D, L, R>, C > operator + (const _et_private::binary_tree_ref<D, L, R>& lhs, const C& rhs){ return _et_private::binary_tree_ref<D, _et_private::binary_tree_ref<D, L, R>, C > (lhs, rhs);} template <typename D, typename C>inline const _et_private::binary_tree_ref<D, et_seed<D>, C > operator + (const et_seed<D>& lhs, const C& rhs){ return _et_private::binary_tree_ref<D, et_seed<D>, C > (lhs, rhs);} #ifndef _MSVC_6 template <typename D, typename L, typename R, typename C>inline const _et_private::binary_tree_ref<D, C, _et_private::binary_tree_ref<D, L, R> > operator + (const C& lhs, const _et_private::binary_tree_ref<D, L, R>& rhs){ return _et_private::binary_tree_ref<D, C, _et_private::binary_tree_ref<D, L, R> > (lhs, rhs);} template <typename D, typename L0, typename R0, typename L1, typename R1>inline const _et_private::binary_tree_ref<D, _et_private::binary_tree_ref<D, L0, R0>, _et_private::binary_tree_ref<D, L1, R1> > operator + (const _et_private::binary_tree_ref<D, L0, R0>& lhs, const _et_private::binary_tree_ref<D, L1, R1>& rhs){ return _et_private::binary_tree_ref<D, _et_private::binary_tree_ref<D, L0, R0>, _et_private::binary_tree_ref<D, L1, R1> > (lhs, rhs);} #else template <typename D, typename L, typename R, typename C>inline const _et_private::binary_tree_ref<D, C, _et_private::binary_tree_ref<D, L, R> > operator + (const C& lhs, _et_private::binary_tree_ref<D, L, R>& rhs){ return _et_private::binary_tree_ref<D, C, _et_private::binary_tree_ref<D, L, R> > (lhs, rhs);} #endif template <typename D>inline _et_private::binary_tree_ref<D, D, _et_private::any_seed > any_seeder(const D& arg){ return _et_private::binary_tree_ref<D, D, _et_private::any_seed > (arg, _et_private::any_seed());} void test(){ et_seed<string> seed; string str1 = "1234567890"; string str2 = "12345678901234567890"; string str3 = "123456789012345678901234567890"; string strb; int current = time(NULL); int i = 0; for(i = 0 ; i < 10000000; ++i) { strb = "12345678901234567890" + any_seeder(str1) + str2 + string("3 ") + str1 + str2 + str3 + (any_seeder(str1) + str2 + ' ') ; *strb.begin() = '0'; } printf("%d/n", time(NULL) - current); string().swap(strb); current = time(NULL); for(i = 0 ; i < 10000000; ++i) { strb = seed + "12345678901234567890" + str1 + str2 + string("3 ") + str1 + str2 + str3 + (seed + str1 + str2 + ' ' ) ; *strb.begin() = '0'; } printf("%d/n", time(NULL) - current); string().swap(strb); current = time(NULL); for(i = 0 ; i < 10000000; ++i) { strb = "12345678901234567890" + str1 + str2 + string("3 ") + str1 + str2 + str3 + ( str1 + str2 + ' ' ) ; *strb.begin() = '0'; } printf("%d/n", time(NULL) - current);} int main(int , char** ){ test(); return 0;}