library/cpp/containers/stack_array/range_ops.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

#pragma once 
 
#include <util/generic/typetraits.h> 
 
#include <new> 
 
namespace NRangeOps { 
    template <class T, bool isTrivial> 
    struct TRangeOpsBase { 
        static inline void DestroyRange(T* b, T* e) noexcept {
            while (e > b) { 
                (--e)->~T(); 
            } 
        } 
 
        static inline void InitializeRange(T* b, T* e) { 
            T* c = b; 
 
            try { 
                for (; c < e; ++c) { 
                    new (c) T(); 
                } 
            } catch (...) { 
                DestroyRange(b, c); 
 
                throw; 
            } 
        } 
    }; 
 
    template <class T> 
    struct TRangeOpsBase<T, true> { 
        static inline void DestroyRange(T*, T*) noexcept {
        } 
 
        static inline void InitializeRange(T*, T*) noexcept {
        } 
    }; 
 
    template <class T> 
    using TRangeOps = TRangeOpsBase<T, TTypeTraits<T>::IsPod>; 
 
    template <class T> 
    static inline void DestroyRange(T* b, T* e) noexcept {
        TRangeOps<T>::DestroyRange(b, e); 
    } 
 
    template <class T> 
    static inline void InitializeRange(T* b, T* e) { 
        TRangeOps<T>::InitializeRange(b, e); 
    } 
}