reverse��法扩充

TH — Mon, 05 Jun 2006 11:38:00 GMT

                                 reverse��法扩充
                         内容来源�Q�TCPL和TCPL题解
在TCPL中的19.1习题�Q�有对reverse��法的设计�?br />template void reverse(Bi begin, Bi end)
从STL的定义来看，参数输入的�P代器是双向�P代器(Bidirectional iterator)。设计�v来也是比较容易的�?br />namespace{
template
inline void reverse(Bi begin, Bi end){
  while(begin != end)
   iter_swap(begin++, --end);
}
}

而在TCPL的题解里面提��C��输入参数是向前�P代器的情况（Forward iterator�Q�。这样reverse��法得重新设计�?br />��法概述�Q?br />    1.反�{一个向前序列，可以首先��序列分成大致一样长的两半。然后用std::swap_ranges��法交换着两个半长序列�?br />    2.递归地反转这个两个半长序列�?br />[注意一下序列元素的个数�Q�奇偶数�Q�]
template
void forward_reverse(For begin1, int len)
{
if(len > 1){
  int half_len = len / 2;
  For end1 = begin1;
  advance(end1, hal_len);
  For begin2 = end1;
  if(len % 2 != 0) //序列个数为奇�?br />   ++begin2;

  std::swap_ranges(begin1, end1, begin2);
  forward_reverse(begin1, half_len);
  forward_reverse(begin2, half_len);
}
}

再�ؓforward_reverse函数和reverse�Q�bidirection�Q�函数提供一个统一的借口�?br />template
inline void flex_reverse(It begin, It end)
{
using std::iterator_traits;
tagged_reverse(begin, end, iterator_traits::iterator_category());
}

tagged_reverse()函数是通过函数重蝲和�P代器特征�c�（萃取技术）的结合来完成下面两个函数的自动选择�?/font>

template //forward_reverse��装
inline void tagged_reverse(For begin, For end, std::forward_iterator_tag)
{
forward_reverse(begin, distance(begin, end));
}

template //reverse��装
inline void tagged_reverse(For begin, For end, std::bidirectional_iterator_tag)
{
reverse(begin, end);
}

后来我发现好像把Forward_iterator的容器�ƈ不多见�?br />STL容器�Q?、双向�P代器�Q�Bidirectional iterator�Q?br /> list、set、multiset、map、multimap
2、随机存取�P代器�Q�Random access iterator�Q?br /> vector、deque、string

附：iterator_traits模板�c�M��的一�l�声明描�q�ͼ�
template struct iterator_traits
{
typedef typename Iter::iterator_category iterator_category;
typedef typename Iter::value_type value_type;
typedef typename Iter::difference_type difference_type;
typedef typename Iter::pointer pointer;
typedef typename Iter::reference reference;
};

TH 2006-06-05 19:38 发表评论

TH — Fri, 02 Jun 2006 14:25:00 GMT

在调用算法函数的时候，有时候会把不同序列的�q�代器当成同一序列使用�?br />下面提供避免�q�样错误的一�U�机制�?br />本内�Ҏ��自TCPL�Q�特别版�Q?/p>

有时候，我们会犯�q�样的错误，把两个不同序列的�q�代器去构成一个序列了。比如：

void f(list < string >& fruit, list < string >& citrus)
{
typedef list < string > ::const_iterator LI;

LI p1 = find(fruit.begin(), citrus.end(), " apple " ); // error, 不在同一序列
LI p2 = find(fruit.begin(), fruit.end(), " apple " );
LI p3 = find(citrus.begin(), citrus.end(), " pear " );
LI p4 = find(p2, p3, " peach " ); // �q�个更加隐蔽�?/span>
}

�q�里Bjarne Stroustrup�l�出一个解决问题的途径。其关键��是用整个容器代替x.begin, x.end()的输入�?br />�q�样�Q�我们要��装两个东西�Q?、find()函数�?2、begin(),end()

利用重蝲�Q�封装find函数�?br />

template < class In, class T >
In find(Iseq < In > r, const T & v) // 通过重蝲机制�Q�得到这个find的扩充版本�?/span>
{
return find(r.first, r.second, v); // 标准库中的find
};

利用对偶�Q�封装�P代器�?br />首先�Q�我们构造一个Iseq以保证�P代器是统一序列成对输入的�?/p>

template < class In > struct Iseq: public pair < In, In > {
Iseq(In i1, In i2): pair < In, In > (i1, i2){}
};

接着构造一个协助函敎ͼ�直接传递容器�?/p>

template < class C > Iseq < typename C::iterator > iiseq(C & c) // C为容�?/span>
{
return Iseq < typename C::iterator > (c.begin(), c.end());
}

�q�样�Q�我们可以利用上面的机制�Q�来避免所提出的错误�?/p>

void f(list < string >& fruit, list < string >& citrus)
{
typedef list < string > ::const_iterator LI;

LI p1 = find(iiseq(fruit), " apple " );
LI p2 = find(iiseq(citrus), " apple " );
LI p3 = find(citrus.begin(), citrus.end(), " pear " ); //
}

下面我们仔细分析整个机制的几个细节�?br />先让我们来看看pair的样子�?/p>

template < class T1, class T2 > struct std::pair{ // �q�里用struct来定�?/span>
    typedef T1 first_type;
    typedef T2 second_type;

    T1 first;
    T2 second;

    pair(): first(T1()), second(T2()){}
    pair( const T1 & x, const T2 & y): first(x), second(y){}
    template < class U, class v >
        pair( const pair < U, V >& p): first(p.first), second(p.second){}
     //
};

注意pair的两个数据成员first, second都是public的，所以Iseq�l�承pair之后可以直接讉K��?/p>

考察find()函数的重载版�?br />find(Iseq r, const T& v)
注意“Iseq r”��用��g��递，而不用引用传递（Iseq& r�Q��?br />�q�是因�ؓiiseq协助函数�q�回一个��时对象，所以在find中，不能用引用传递�?br />templateIseq iiseq(C& c) //C为容�?br />{
return Iseq(c.begin(), c.end());
}
大家可能会考虑到效率问题，觉得��g��递可能不妥。其实不�Ӟ��我们可以发现�Q�Iseq里面的数据成员是两个Iterator�Q�一般来说不是很大（有时�Q�就是两个指针）�Q�在效率上不会��生很大的影响�?/p>

�q�有�q�里代码中出现typename,(如return Iseq(c.begin(), c.end());) 可能对初学者来说有些生疏。�ؓ什么不直接写： Iseq(c.begin(), c.end())。这是由于编译器不能直接认出C::iterator是一�U�类型，所以我们加上修饰符号typename告诉�~�译器C::iterator使用一�U�类型�?/p>

TH 2006-06-02 22:25 发表评论

久久免费一区,欧美成人免费在线,欧美在线|欧美

reverse���法扩充

reverse��法扩充