Question

我有一个模板类 template< typename T, typename R> . R是类型 victor< Tgt; 或 list< Tgt; 。

我希望我的班级超载 < < 运算符,这样,如果它是矢量,我将使用在 < < 运算符中建造的操作员来提高效率,如果有列表,我将使用迭代器执行它。

对我来说,这听起来像一个工作模板专业化所以我想写这样的东西:

template<typename T, typename R>
T& tContainer_t<T, R>::operator[]( unsigned i )
{
    //TODO with iterators   
}

template<>
T& tContainer_t::operator[]<T, std::vector<T*> >( unsigned i )
{
    // TODO with built in [] operator
}

这是错误的, 而编译者不允许这样做。

是否有办法让它发挥作用,或者我是否应当使用 typeid () 来区分运行时的两个对象并据此行事?

Answer 1

使用模板的方式是,在一个可以部分专门化的类别中,使静态助手功能成为静态助手。然而,我要做的是:

template<typename T, typename R>
T& tContainer_t<T, R>::operator[]( unsigned i )
{
    //assuming that the container refernce is name container;
    typename R::iterator itr = container.begin();
    std::advance(itr, i);
    return *itr;
}

std:::advance 得到保证,对于有随机存取迭代器(如矢量)的容器来说,它是固定的时间(基本上,它是迭代器+ n),它可以和在指针上查找矢量时一样快。否则,它会做 terator@/code> n times, 这将是线性时间。康斯特版本将使用 const_ diator, 但基本上相同。



这样做将使你能够适当地处理不同类型的集装箱(不仅仅是病媒和清单),而不必修改编码。

Answer 2

您不必超载操作员。图书馆线索包含超载功能来帮助您。 std:: advance 将会移动一个迭代器, 利用 < code> operator+ () 来随机访问迭代器。



template<typename T, typename R>
T& tContainer_t<T, R>::operator[]( unsigned i )     
{
    typename R::iterator it = myContainer.begin();
    std::advance(it, i);

    return *it;
}

友情链接