summaryrefslogtreecommitdiff
path: root/test/example/small_vector.cpp
blob: a1e394e235abf1fa4565320a771197f9e2f66374 (plain)
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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
#include <cassert>
#include <iostream>

#include "support/small_vector.h"

using namespace wasm;

template<typename T> void test(size_t N) {
  {
    T t;
    // build up
    assert(t.empty());
    assert(t.size() == 0);
    t.push_back(1);
    assert(!t.empty());
    assert(t.size() == 1);
    t.push_back(2);
    assert(!t.empty());
    assert(t.size() == 2);
    t.push_back(3);
    assert(!t.empty());
    // unwind
    assert(t.size() == 3);
    assert(t.back() == 3);
    t.pop_back();
    assert(t.size() == 2);
    assert(t.back() == 2);
    t.pop_back();
    assert(t.size() == 1);
    assert(t.back() == 1);
    t.pop_back();
    assert(t.size() == 0);
    assert(t.empty());
  }
  {
    T t;
    // build up
    t.push_back(1);
    t.push_back(2);
    t.push_back(3);
    // unwind
    t.clear();
    assert(t.size() == 0);
    assert(t.empty());
  }
  {
    T t, u;
    assert(t == u);
    t.push_back(1);
    assert(t != u);
    u.push_back(1);
    assert(t == u);
    u.pop_back();
    assert(t != u);
    u.push_back(2);
    assert(t != u);
  }
  {
    // Test reserve/capacity.
    T t;

    // Capacity begins at the size of the fixed storage.
    assert(t.capacity() == N);

    // Reserving more increases the capacity (but how much is impl-defined).
    t.reserve(t.capacity() + 100);
    assert(t.capacity() >= N + 100);
  }
  {
    // Test resizing.
    T t;

    assert(t.empty());
    t.resize(1);
    assert(t.size() == 1);
    t.resize(2);
    assert(t.size() == 2);
    t.resize(3);
    assert(t.size() == 3);
    t.resize(6);
    assert(t.size() == 6);

    // Now go in reverse.
    t.resize(6);
    assert(t.size() == 6);
    t.resize(3);
    assert(t.size() == 3);
    t.resize(2);
    assert(t.size() == 2);
    t.resize(1);
    assert(t.size() == 1);

    // Test a big leap from nothing (rather than gradual increase as before).
    t.clear();
    assert(t.empty());
    t.resize(6);
    assert(t.size() == 6);
    t.resize(2);
    assert(t.size() == 2);
    t.clear();
    assert(t.empty());
  }
}

int main() {
  test<SmallVector<int, 0>>(0);
  test<SmallVector<int, 1>>(1);
  test<SmallVector<int, 2>>(2);
  test<SmallVector<int, 3>>(3);
  test<SmallVector<int, 10>>(10);
  std::cout << "ok.\n";
}