File: constructors.cpp

package info (click to toggle)
gringo 5.8.0-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 32,128 kB
  • sloc: cpp: 210,867; ansic: 37,507; python: 11,271; yacc: 825; javascript: 627; sh: 368; xml: 364; makefile: 102
file content (62 lines) | stat: -rw-r--r-- 1,071 bytes parent folder | download | duplicates (3)
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
#include <catch2/catch.hpp>
#include <tl/optional.hpp>
#include <vector>

struct foo {
  foo() = default;
  foo(foo&) = delete;
  foo(foo&&) {};
};

TEST_CASE("Constructors", "[constructors]") {
  tl::optional<int> o1;
  REQUIRE(!o1);

  tl::optional<int> o2 = tl::nullopt;
  REQUIRE(!o2);

  tl::optional<int> o3 = 42;
  REQUIRE(*o3 == 42);

  tl::optional<int> o4 = o3;
  REQUIRE(*o4 == 42);

  tl::optional<int> o5 = o1;
  REQUIRE(!o5);

  tl::optional<int> o6 = std::move(o3);
  REQUIRE(*o6 == 42);

  tl::optional<short> o7 = 42;
  REQUIRE(*o7 == 42);

  tl::optional<int> o8 = o7;
  REQUIRE(*o8 == 42);

  tl::optional<int> o9 = std::move(o7);
  REQUIRE(*o9 == 42);

  {
    tl::optional<int &> o;
    REQUIRE(!o);

    tl::optional<int &> oo = o;
    REQUIRE(!oo);
  }

  {
    auto i = 42;
    tl::optional<int &> o = i;
    REQUIRE(o);
    REQUIRE(*o == 42);

    tl::optional<int &> oo = o;
    REQUIRE(oo);
    REQUIRE(*oo == 42);
  }

  std::vector<foo> v;
  v.emplace_back();
  tl::optional<std::vector<foo>> ov = std::move(v);
  REQUIRE(ov->size() == 1);
}