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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
|
// -*- mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
// vi: set et ts=4 sw=4 sts=4:
/*
This file is part of the Open Porous Media project (OPM).
OPM is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 2 of the License, or
(at your option) any later version.
OPM is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with OPM. If not, see <http://www.gnu.org/licenses/>.
Consult the COPYING file in the top-level source directory of this
module for the precise wording of the license and the list of
copyright holders.
*/
/*!
* \file
*
* \brief This is a simple test that illustrates how to use the Opm::ConditionalStorage
* class.
*/
#include "config.h"
#include <opm/material/common/ConditionalStorage.hpp>
#include <stdexcept>
#include <string>
#include <cstdlib>
#include <type_traits>
template <bool foo>
class EnsureCompileTimeConstant
{};
class IAmAnIslandLeaveMeAlone
{
public:
IAmAnIslandLeaveMeAlone(int, int)
{}
IAmAnIslandLeaveMeAlone& operator=(const IAmAnIslandLeaveMeAlone&) = delete;
};
int main()
{
{
typedef Opm::ConditionalStorage<true, std::string> ConditionalTrueString;
ConditionalTrueString foo; // default constructor
ConditionalTrueString bar("hello"); // construct using arguments
ConditionalTrueString baz(bar); // copy constructor
[[maybe_unused]] EnsureCompileTimeConstant<ConditionalTrueString::condition> hello;
if (!std::is_same<typename ConditionalTrueString::type, std::string>::value)
// something went wrong with the exported type
std::abort();
if (ConditionalTrueString::condition != true)
// the condition is not exported correctly
std::abort();
if (*bar != "hello")
// value constructor did not work
std::abort();
if (*bar != *baz)
// copy constructor did not work
std::abort();
if (foo->size() != 0)
// default constructor did not work
std::abort();
// the assignment operator for the "wrapper" object should work
foo = baz;
if (*foo != *baz)
// assignment operator did not work
std::abort();
}
{
typedef Opm::ConditionalStorage<false, std::string> ConditionalFalseString;
ConditionalFalseString foo; // default constructor
ConditionalFalseString bar("hello"); // construct by value
[[maybe_unused]] ConditionalFalseString baz(bar); // copy constructor
[[maybe_unused]] EnsureCompileTimeConstant<ConditionalFalseString::condition> hello;
if (!std::is_same<typename ConditionalFalseString::type, std::string>::value)
// something went wrong with the exported type
std::abort();
if (ConditionalFalseString::condition != false)
// the condition is not exported correctly
std::abort();
// the assignment operator for the "wrapper" object should always work
baz = foo;
try {
*bar;
// this is supposed to throw an std::logic_error
std::abort();
}
catch (std::logic_error &) {}
try {
foo->size();
// this is supposed to throw an std::logic_error
std::abort();
}
catch (std::logic_error &) {}
}
{
typedef Opm::ConditionalStorage<true, IAmAnIslandLeaveMeAlone> ConditionalTrueIsland;
[[maybe_unused]] ConditionalTrueIsland foo(1, 2);
// ConditionalTrueIsland OPM_UNUSED bar; // compiler fails because of missing default ctor
}
{
typedef Opm::ConditionalStorage<false, IAmAnIslandLeaveMeAlone> ConditionalFalseIsland;
[[maybe_unused]] ConditionalFalseIsland foo(1, 2);
// ConditionalFalseIsland OPM_UNUSED bar; // compiler fails because of missing default ctor
}
return 0;
}
|
