从const和非const方法中移除返回迭代器的代码重复

Question

我正在考虑在const和非const类方法上使用this question。首选答案取自Scott Meyers的Effective C++，其中非const方法以const方法实现。

进一步扩展，如果方法返回迭代器而不是引用，如何减少代码复制？修改链接的问题的例子：

class X 
{ 
    std::vector<Z> vecZ;  
public: 
    std::vector<Z>::iterator Z(size_t index) 
    { 
     // ... 
    } 
    std::vector<Z>::const_iterator Z(size_t index) const 
    { 
     // ... 
    } 
}; 

我无法实现非const方法，const的方法方面，因为它不可能直接从常量性转换为迭代器不使用的距离（）/advance（）技术。

在这个例子中，因为我们使用std :: vector作为容器，实际上可能从const_iterator转换为迭代器，因为它们很可能被实现为指针。我不想依赖这个。有更通用的解决方案吗？

Answer 1

我相信，它是唯一可能与助手

typedef int Z; 

class X 
{ 
    std::vector<Z> vecZ;  
public: 
    std::vector<Z>::iterator foo(size_t index) 
    { 
     return helper(*this); 
    } 
    std::vector<Z>::const_iterator foo(size_t index) const 
    { 
     return helper(*this); 
    } 

    template <typename T> 
    static auto helper(T& t) -> decltype(t.vecZ.begin()) 
    { 
     return t.vecZ.begin(); 
    } 
}; 

编辑 同样也没有C++ 11

template <typename T> 
struct select 
{ 
    typedef std::vector<Z>::iterator type; 
}; 
template <typename T> 
struct select<const T&> 
{ 
    typedef std::vector<Z>::const_iterator type; 
}; 

template <typename T> 
static 
typename select<T>::type 
helper(T t) 
{ 
    return t.vecZ.begin(); 
} 

但是，好了，我想你应该可以实现在使用本产品之前请三思

Answer 2

有几个技巧可以使用。 You can turn a const_iterator into an iterator if you have non-const access to the container.（你这样做）：

std::vector<Z>::iterator Z(size_t index) 
{ 
    std::vector<Z>::const_iterator i = static_cast<const X&>(*this).Z(index); 
    return vecZ.erase(i, i); 
} 

你也可以这样做：

std::vector<Z>::iterator Z(size_t index) 
{ 
    return std::next(vecZ.begin(), std::distance(vecZ.cbegin(), static_cast<const X&>(*this).Z(index))); 
} 

也不是特别优雅。为什么我们没有const_iterator_cast像const_pointer_cast？也许我们应该。

编辑，我错过了最明显和优雅的解决方案，因为我试图从非const方法使用const方法。在这里，我却反其道而行之：

std::vector<Z>::const_iterator Z(size_t index) const 
{ 
    return const_cast<X&>(*this).Z(index); 
} 

您提领的const_cast结果但这并不是不确定的行为，只要非const Z不X修改任何数据。与我给出的其他两种解决方案不同，这是我可能在实践中使用的解决方案。

Answer 3

如果你是usin克C++ 11，存在仅使用两个类型定义在模板迭代器类常量和常规迭代之间进行区分更优雅（IMHO）方式： http://www.sjvs.nl/c-implementing-const_iterator-and-non-const-iterator-without-code-duplication/