blob: 21ff74d7ef69604ab52d814676cc54967e84d2da (
plain) (
blame)
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
|
//
// 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
//
#ifndef ATOM_T
#error "define the box template to use in ATOM_T"
#endif
#include <catch.hpp>
template <typename T>
using BOX_T = typename ATOM_T<T>::box_type;
TEST_CASE("construction") { ATOM_T<int> x; }
TEST_CASE("store, load, exchange")
{
ATOM_T<int> x;
CHECK(x.load() == BOX_T<int>{0});
x.store(42);
CHECK(x.load() == BOX_T<int>{42});
auto old = x.exchange(12);
CHECK(old == 42);
CHECK(x.load() == BOX_T<int>{12});
}
TEST_CASE("box conversion")
{
ATOM_T<int> x;
auto v1 = BOX_T<int>{42};
x = v1;
auto v2 = BOX_T<int>{x};
CHECK(v1 == v2);
}
TEST_CASE("value conversion")
{
ATOM_T<int> x;
x = 42;
auto v = int{x};
CHECK(v == 42);
}
TEST_CASE("update")
{
ATOM_T<int> x{42};
x.update([](auto x) { return x + 2; });
CHECK(x.load() == 44);
}
|
