MSVC2019的vector标准库实现源码分析

好记性不如烂博客；stl源码剖析那本书不想看，没事（有事懒得做）看看微软的vector实现。

专注于为中小企业提供成都做网站、成都网站建设服务,电脑端+手机端+微信端的三站合一,更高效的管理,为中小企业兖州免费做网站提供优质的服务。我们立足成都，凝聚了一批互联网行业人才，有力地推动了超过千家企业的稳健成长，帮助中小企业通过网站建设实现规模扩充和转变。

以vector 为例

template <class _Ty, class _Alloc = allocator<_Ty>>
class vector { // varying size array of values
private:
    template<class>
    friendclass _Vb_val;//？？？？
    friend _Tidy_guard;

using _Alty        = _Rebind_alloc_t<_Alloc, _Ty>;//会区分是不是默认分配器_Default_allocator_traits或自定义allocator，是默认的话，就是本身allocator,否则。。。模板嵌套太多了。。
using _Alty_traits = allocator_traits<_Alty>;

public:
    static_assert(!_ENFORCE_MATCHING_ALLOCATORS || is_same_v<_Ty, typename _Alloc::value_type>,
        _MISMATCHED_ALLOCATOR_MESSAGE("vector", "T"));

using value_type      = _Ty;//int
using allocator_type  = _Alloc;//
using pointer         = typename _Alty_traits::pointer;
using const_pointer   = typename _Alty_traits::const_pointer;
using reference       = _Ty&;
using const_reference = const _Ty&;
using size_type       = typename _Alty_traits::size_type;
using difference_type = typename _Alty_traits::difference_type;

private:
//template  // tests if allocator has simple addressing

　　//_INLINE_VAR constexpr bool _Is_simple_alloc_v = is_same_v::size_type, size_t>&&
　　//is_same_v::difference_type, ptrdiff_t>&&
　　//is_same_v::pointer, typename _Alloc::value_type*>&&
　　//is_same_v::const_pointer, const typename _Alloc::value_type*>;

using _Scary_val = _Vector_val, _Simple_types<_Ty>,
        _Vec_iter_types<_Ty, size_type, difference_type, pointer, const_pointer, _Ty&, const _Ty&>>>;//是否是simple类型，选择不同的types,
　　　　　　只要不是自定义类型，应该都是选择第一个，其实第二个无非也是用自定义的类型。

public:
using iterator               = _Vector_iterator<_Scary_val>;
using const_iterator         = _Vector_const_iterator<_Scary_val>;
using reverse_iterator       = _STD reverse_iterator;
using const_reverse_iterator = _STD reverse_iterator;

　　//两个构造函数同理，区分自定义分配器类型  #define _GET_PROXY_ALLOCATOR(_Alty, _Al) static_cast<_Rebind_alloc_t<_Alty, _Container_proxy>>(_Al) 这种写法第一次见，参数没有实际作用，构造一个新对象
    _CONSTEXPR20_CONTAINER vector() noexcept(is_nothrow_default_constructible_v<_Alty>)
        : _Mypair(_Zero_then_variadic_args_t{}) {
        _Mypair._Myval2._Alloc_proxy(_GET_PROXY_ALLOCATOR(_Alty, _Getal()));//_GET_PROXY_ALLOCATOR(_Alty, _Getal()),构造一个allocator<_Container_proxy>
}

_CONSTEXPR20_CONTAINERexplicit vector(const _Alloc& _Al) noexcept : _Mypair(_One_then_variadic_args_t{}, _Al) { _Mypair._Myval2._Alloc_proxy(_GET_PROXY_ALLOCATOR(_Alty, _Getal())); }

　　_Compressed_pair<_Alty, _Scary_val> _Mypair;//仅有的成员变量，实际继承第一个模板参数，负责分配数据内存，并持有一个_Scary_val的变量，负责管理数据
　　......
　　......

}