third_party/immer/test/array_transient/gc.cpp


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

//
// immer: immutable data structures for C++
// Copyright (C) 2016, 2017, 2018 Juan Pedro Bolivar Puente
//
// This software is distributed under the Boost Software License, Version 1.0.
// See accompanying file LICENSE or copy at http://boost.org/LICENSE_1_0.txt
//

#include <immer/array.hpp>
#include <immer/array_transient.hpp>

#include <immer/heap/gc_heap.hpp>
#include <immer/refcount/no_refcount_policy.hpp>

using gc_memory = immer::memory_policy<immer::heap_policy<immer::gc_heap>,
                                       immer::no_refcount_policy,
                                       immer::gc_transience_policy,
                                       false>;

template <typename T>
using test_array_t = immer::array<T, gc_memory>;

template <typename T>
using test_array_transient_t = immer::array_transient<T, gc_memory>;

#define VECTOR_T test_array_t
#define VECTOR_TRANSIENT_T test_array_transient_t

#include "../vector_transient/generic.ipp"

TEST_CASE("array provides mutable data")
{
    auto arr = immer::array<int, gc_memory>(10, 0);
    CHECK(arr.size() == 10);
    auto tr = arr.transient();
    CHECK(tr.data() == arr.data());

    auto d = tr.data_mut();
    CHECK(tr.data_mut() != arr.data());
    CHECK(tr.data() == tr.data_mut());
    CHECK(arr.data() != tr.data_mut());

    arr = tr.persistent();
    CHECK(arr.data() == d);
    CHECK(arr.data() == tr.data());

    CHECK(tr.data_mut() != arr.data());
    CHECK(tr.data() == tr.data_mut());
    CHECK(arr.data() != tr.data_mut());
}