blob: 15d27f4b2b89150de73886ebeb12813e7392bf44 (
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
|
// **************************************************************************
// * This file is part of the FreeFileSync project. It is distributed under *
// * GNU General Public License: http://www.gnu.org/licenses/gpl.html *
// * Copyright (C) Zenju (zenju AT gmx DOT de) - All Rights Reserved *
// **************************************************************************
#ifndef OPTIONAL_H_2857428578342203589
#define OPTIONAL_H_2857428578342203589
#include <cassert>
namespace zen
{
/*
Optional return value without heap memory allocation!
-> interface like a pointer, performance like a value
Usage:
------
Opt<MyEnum> someFunction();
{
if (allIsWell)
return enumVal;
else
return NoValue();
}
Opt<MyEnum> optValue = someFunction();
if (optValue)
... use *optValue ...
*/
struct NoValue {};
template <class T>
class Opt
{
public:
Opt() : value() , valid(false) {}
Opt(NoValue) : value() , valid(false) {}
Opt(const T& val) : value(val), valid(true ) {}
Opt(const Opt& tmp) : value(tmp.valid ? tmp.value : T()), valid(tmp.valid) {}
Opt& operator=(const Opt& tmp)
{
if (tmp.valid)
value = tmp.value;
valid = tmp.valid;
return *this;
}
////rvalue optimization: only basic exception safety:
// Opt(Opt&& tmp) : value(std::move(tmp.value)), valid(tmp.valid) {}
explicit operator bool() const { return valid; } //thank you C++11!!!
const T& operator*() const { assert(valid); return value; }
/**/ T& operator*() { assert(valid); return value; }
const T* operator->() const { assert(valid); return &value; }
/**/ T* operator->() { assert(valid); return &value; }
void reset() { valid = false; }
private:
T value;
bool valid;
};
}
#endif //OPTIONAL_H_2857428578342203589
|
