Question

我写的是具有以下职能的类似集装箱类别:

    Iterator begin(){
        return Iterator(data_.begin(), 1);
    }

    ConstIterator begin() const{
        return ConstIterator(data_.begin(), 1);
    }

我认为,我可以发挥一项职能,以取代:

    template <typename itr0, typename itr1>
    itr0 begin(){
        return itr1(data_.begin(), 1);
    }

并且当我称之为“以下”时,该守则是在汇编时间时产生的:

    Iterator it = foo.begin<Iterator, Iterator>();
    ConstIterator it = foo.begin<ConstIterator const?, ConstIterator>();

我的第一个问题是,究竟是什么类型的名称?

其次,这是否有助于使这种美术在课外透明? i.e. 我仍可使用以下代码,以标准方式写成。

    C foo;
    const C foo2;
    Iterator it = foo.begin();
    ConstIterator it = foo2.begin();

Answer 1

不幸的是,你需要分别界定这两种方法,因为正如你所指出的,它们的签名因<条码>而异。没有可以克服的模版 w药(至少我不知道)。

然而,你可以使用一些不同的技术,将其实施合并成一种单一的方法。此处为避免需要<代码>const_cast<>/code>的下列选择:

struct Container
{
    template< typename I, typename C >
    friend I begin_impl( C & c ){
      return I( c.data_.begin(), 1 );
    }

    Iterator begin(){
        return begin_impl< Iterator >( *this ); // *this is "Container"
    }

    ConstIterator begin() const{
        return begin_impl< ConstIterator >( *this ); // *this is "Container const"
    }
};

See here。

友情链接