Question

我正在尝试以STL的风格实现RingBuffer。这意味着我也在为它实现一个迭代器，它必须作为const或非const工作。这只是迭代器部分：

#include <iterator>
#include <type_traits>

template <typename T> class RingBuffer {
public:
    class Iterator;
    // actual RingBuffer implementation here
};    

template <typename T, bool is_const=false> 
class RingBuffer<T>::Iterator {
public:
    typedef std::ptrdiff_t difference_type;
    typedef T value_type;
    typedef typename std::conditional<is_const, const value_type*, value_type*>::type pointer ;
    typedef typename std::conditional<is_const, const value_type&, value_type&>::type reference ;
    typedef std::random_access_iterator_tag iterator_category;

    // a bunch of functions here
    ...
};

GCC 4.8.0为我尝试访问迭代器的每一行都给出了错误，比如

no type named 'type' in 'struct std::conditional<is_const, const int*, int*>'

将int替换为RingBuffer<T>已实例化的类型。我不明白。 is_const有一个默认值。为什么这不起作用？为什么GCC不会在错误消息中的false中替换，例如将int替换为value_type？

解决方案可能很明显，但世界上所有的Google搜索都没有让我感到满意。模板仍然让我感到困惑。

Answer 1

如果您希望Iterator也模仿bool is_const，则必须将其声明为：

template <typename T> class RingBuffer {
public:
    template <bool is_const = false>
    class Iterator;
    // actual RingBuffer implementation here
};    


template <typename T>
template <bool is_const> 
class RingBuffer<T>::Iterator {
public:
    typedef std::ptrdiff_t difference_type;
    typedef T value_type;
    typedef typename std::conditional<is_const, const value_type*, value_type*>::type pointer ;
    typedef typename std::conditional<is_const, const value_type&, value_type&>::type reference ;
    typedef std::random_access_iterator_tag iterator_category;

    // a bunch of functions here
    ...
};

说明：Iterator是类模板的成员，但在原始代码中，Iterator本身是非模板类。 RingBuffer有一个模板参数T; Iterator是一个非模板类;在is_const出现的任何地方都没有。如果我们暂时删除外层课程会更清楚：

class Foo;

template <bool b = false>
class Foo
{
  // something
};

我相信上述情况显而易见。

嵌套模板类中的std :: conditional

1 个答案: