summaryrefslogtreecommitdiff
path: root/src/third_party/variant-1.3.0/test/ctor.in_place.cpp
blob: 072f3d6a182d78221f7490a7a5558ce1a30108b9 (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
// MPark.Variant
//
// Copyright Michael Park, 2015-2017
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)

#include <mpark/variant.hpp>

#include <string>

#include <gtest/gtest.h>

TEST(Ctor_InPlace, IndexDirect) {
  mpark::variant<int, std::string> v(mpark::in_place_index_t<0>{}, 42);
  EXPECT_EQ(42, mpark::get<0>(v));

  /* constexpr */ {
    constexpr mpark::variant<int, const char *> cv(mpark::in_place_index_t<0>{},
                                                   42);
    static_assert(42 == mpark::get<0>(cv), "");
  }
}

TEST(Ctor_InPlace, IndexDirectDuplicate) {
  mpark::variant<int, int> v(mpark::in_place_index_t<0>{}, 42);
  EXPECT_EQ(42, mpark::get<0>(v));

  /* constexpr */ {
    constexpr mpark::variant<int, int> cv(mpark::in_place_index_t<0>{}, 42);
    static_assert(42 == mpark::get<0>(cv), "");
  }
}

TEST(Ctor_InPlace, IndexConversion) {
  mpark::variant<int, std::string> v(mpark::in_place_index_t<1>{}, "42");
  EXPECT_EQ("42", mpark::get<1>(v));

  /* constexpr */ {
    constexpr mpark::variant<int, const char *> cv(mpark::in_place_index_t<0>{},
                                                   1.1);
    static_assert(1 == mpark::get<0>(cv), "");
  }
}

TEST(Ctor_InPlace, IndexInitializerList) {
  mpark::variant<int, std::string> v(mpark::in_place_index_t<1>{}, {'4', '2'});
  EXPECT_EQ("42", mpark::get<1>(v));
}

TEST(Ctor_InPlace, TypeDirect) {
  mpark::variant<int, std::string> v(mpark::in_place_type_t<std::string>{},
                                     "42");
  EXPECT_EQ("42", mpark::get<std::string>(v));

  /* constexpr */ {
    constexpr mpark::variant<int, const char *> cv(
        mpark::in_place_type_t<int>{}, 42);
    static_assert(42 == mpark::get<int>(cv), "");
  }
}

TEST(Ctor_InPlace, TypeConversion) {
  mpark::variant<int, std::string> v(mpark::in_place_type_t<int>{}, 42.5);
  EXPECT_EQ(42, mpark::get<int>(v));

  /* constexpr */ {
    constexpr mpark::variant<int, const char *> cv(
        mpark::in_place_type_t<int>{}, 42.5);
    static_assert(42 == mpark::get<int>(cv), "");
  }
}

TEST(Ctor_InPlace, TypeInitializerList) {
  mpark::variant<int, std::string> v(mpark::in_place_type_t<std::string>{},
                                     {'4', '2'});
  EXPECT_EQ("42", mpark::get<std::string>(v));
}