copy_traits.hpp
Go to the documentation of this file.
1 //
2 // Copyright (C) 2014, 2015 Ableton AG, Berlin. All rights reserved.
3 //
4 // Permission is hereby granted, free of charge, to any person obtaining a
5 // copy of this software and associated documentation files (the "Software"),
6 // to deal in the Software without restriction, including without limitation
7 // the rights to use, copy, modify, merge, publish, distribute, sublicense,
8 // and/or sell copies of the Software, and to permit persons to whom the
9 // Software is furnished to do so, subject to the following conditions:
10 //
11 // The above copyright notice and this permission notice shall be included in
12 // all copies or substantial portions of the Software.
13 //
14 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
15 // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
16 // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
17 // THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
18 // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
19 // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
20 // DEALINGS IN THE SOFTWARE.
21 //
22 
27 #pragma once
28 
30 #include <atria/meta/eval.hpp>
31 
32 namespace atria {
33 namespace meta {
34 
41 template <template<typename> class TraitCheckMF,
42  template<typename> class TraitAddMf,
43  typename OrigT,
44  typename DestT>
45 struct copy_trait
46  : std::conditional<
47  TraitCheckMF<OrigT>{},
48  typename TraitAddMf<DestT>::type,
49  DestT>
50 {};
51 
52 #define ABL_DEFINE_COPY_STD_TRAIT(name__) \
53  template <typename OrigT, typename DestT> \
54  struct copy_ ## name__ \
55  : copy_trait<::std::is_ ## name__, \
56  ::std::add_ ## name__, \
57  OrigT, \
58  DestT> \
59  {}; \
60  ABL_METAFUNCTION_T(copy_ ## name__); \
61 
62 
63 ABL_DEFINE_COPY_STD_TRAIT(lvalue_reference);
64 ABL_DEFINE_COPY_STD_TRAIT(rvalue_reference);
65 ABL_DEFINE_COPY_STD_TRAIT(volatile);
66 ABL_DEFINE_COPY_STD_TRAIT(const);
67 
68 template <typename OrigT, typename DestT>
69 struct copy_cv
70  : copy_const<OrigT, copy_volatile_t<OrigT, DestT> >
71 {};
73 
74 template <typename OrigT, typename DestT>
76  : copy_lvalue_reference<OrigT, copy_rvalue_reference_t<OrigT, DestT> >
77 {};
79 
86 template <typename OrigT, typename DestT>
87 struct copy_decay
88  : copy_reference<OrigT, copy_cv_t<estd::remove_reference_t<OrigT>, DestT> >
89 {};
91 
92 } // namespace atria
93 } // namespace atria
#define ABL_METAFUNCTION_T(name__)
Macro to define an evaluated version of a metafunction with _t suffix, in the style of the C++14 stan...
Definition: eval.hpp:42
Adds reference and cv-qualifications from OrigT to DestT.
Definition: copy_traits.hpp:87
C++ amazing templates and reusable implementations awesomeness.
Definition: _doc.hpp:35
Metafunction that given a metafunction TraitCheckMf to check whether a type has a trait...
Definition: copy_traits.hpp:45
Fork me on GitHub