类模板，allocator_traits

Question

using namespace std::rel_ops;

template <typename T, typename A = std::allocator<T> >
class my_vector {
    public:
        typedef A                                        allocator_type;
        typedef typename allocator_type::value_type      value_type;

        typedef typename allocator_type::size_type       size_type;
        typedef typename allocator_type::difference_type difference_type;

        typedef typename allocator_type::pointer         pointer;
        typedef typename allocator_type::const_pointer   const_pointer;

        typedef typename allocator_type::reference       reference;
        typedef typename allocator_type::const_reference const_reference;

        typedef typename allocator_type::pointer         iterator;
        typedef typename allocator_type::const_pointer   const_iterator;

    public:
        friend bool operator == (const my_vector& lhs, const my_vector& rhs) {
            return (lhs.size() == rhs.size()) && std::equal(lhs.begin(), lhs.end(), rhs.begin());}

        friend bool operator < (const my_vector& lhs, const my_vector& rhs) {
            return std::lexicographical_compare(lhs.begin(), lhs.end(), rhs.begin(), rhs.end());}

        friend void swap (my_vector& x, my_vector& y) {
            x.swap(y);}

    private:
        allocator_type _a;

        pointer _b;
        pointer _e; // size
        pointer _l; // capacity

    private:
        bool valid () const {
            return (!_b && !_e && !_l) || ((_b <= _e) && (_e <= _l));}

        my_vector (const my_vector& that, size_type c) :
                _a (that._a) {
            assert(c >= that.size());
            _b = _a.allocate(c);
            _e = _b + that.size();
            _l = _b + c;
            my_uninitialized_copy(_a, that.begin(), that.end(), begin());
            assert(valid());}

我正在浏览这段代码，有很多我不理解的东西，因为我是C ++的新手。

1. 在“bool valid () const”中，这条线“(!_b && !_e && !_l)”试图做什么？

它否定了指针，我不知道它的作用，以及它正在努力实现的目标。

1. 符合“my_vector (const my_vector& that, size_type c) :，”that'的类型是什么？它是对自己类的引用吗？

2. 在“my_vector (const my_vector& that, size_type c) :”中，这一行是做什么的，“_a (that._a) :”？ “_a”是一个Allocator对象吗？因为在这一行下面有“_a.allocate(c),”，“allocate”是Allocator的成员函数。

3. 同时拥有const_pointer和指针的目的是什么？还有，引用和const_reference，以及iterator和const_iterator？在my_vector类下的第一个公开？

Answer 1

  

1。声明!_x

...（其中x可以是b，e或l。）如果指针_x是0，{{1 }或NULL。

它否定了从指针到布尔值的强制转换结果的值。因此，如果没有设置任何指针，nullptr为(!_b && !_e && !_l)。

  

2）true ...

...是const my_vector& that的一个常量引用（实际上是当前类，所以这可能是一个构造函数，它通过my_vector传递的附加信息复制对象。

  

3）对象c ...

...声明为_a，其中allocator_type _a;是allocator_type的typedef，这是默认为A的模板参数。

看看：

std::allocator<T>

---

有问题的表达式（评论）是成员初始化列表（只有1个元素）

template <typename T, typename A = std::allocator<T>>
...
typedef A allocator_type;
...
allocator_type _a;
...

它基本上意味着“在这种情况下使用 my_vector (const my_vector& that, size_type c) : _a (that._a) { // ... } ”初始化_a，因为两者具有相同的类型，所以调用了that._a的复制构造函数。

---

此类typedef的目的是启用通用编程。

_a

仅当使用它的Container定义

时，代码才有效

• 类型（def）template<class Container> void insert_sorted (Container & object, typename Container::const_reference value) { typename Container::size_type const N = object.size(), find_index = find_sorted(object, value); if (find_index < N) object.insert(object.begin()+find_index, value); else object.push_back(value); }
• 类型（def）const_reference
• 采用迭代器和size_type
的方法insert()
• 采用const_reference
的方法push_back()