$extrastylesheet
Olena  User documentation 2.1
An Image Processing Platform
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
is.hh
1 // Copyright (C) 2007, 2008, 2009, 2012 EPITA Research and Development
2 // Laboratory (LRDE)
3 //
4 // This file is part of Olena.
5 //
6 // Olena is free software: you can redistribute it and/or modify it under
7 // the terms of the GNU General Public License as published by the Free
8 // Software Foundation, version 2 of the License.
9 //
10 // Olena is distributed in the hope that it will be useful,
11 // but WITHOUT ANY WARRANTY; without even the implied warranty of
12 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 // General Public License for more details.
14 //
15 // You should have received a copy of the GNU General Public License
16 // along with Olena. If not, see <http://www.gnu.org/licenses/>.
17 //
18 // As a special exception, you may use this file as part of a free
19 // software project without restriction. Specifically, if other files
20 // instantiate templates or use macros or inline functions from this
21 // file, or you compile this file and link it with other files to produce
22 // an executable, this file does not by itself cause the resulting
23 // executable to be covered by the GNU General Public License. This
24 // exception does not however invalidate any other reasons why the
25 // executable file might be covered by the GNU General Public License.
26 
27 #ifndef MLN_METAL_IS_HH
28 # define MLN_METAL_IS_HH
29 
33 
34 # include <mln/metal/is_a.hh>
35 
36 
37 # define mlc_is(T, U) mln::metal::is< T, U >
38 
39 
40 
41 namespace mln
42 {
43 
44  namespace metal
45  {
46 
47  namespace internal
48  {
49 
50  template <typename T, typename U>
51  struct helper_is_
52  {
53  static yes_ selector(U*const);
54  static no_ selector(...);
55  };
56 
57  } // end of namespace mln::metal::internal
58 
59 
60 
66  template <typename T, typename U>
67  struct is : bool_<( sizeof(internal::helper_is_<T, U>::selector(internal::make_<T>::ptr()))
68  ==
69  sizeof(internal::yes_) )>
70  {
71  };
72 
73  template <typename T, typename U>
74  struct is< const T, const U > : is<T, U>::eval
75  {};
76 
77  template <typename T, typename U>
78  struct is< T*, U* > : is<T, U>::eval
79  {};
80 
81  template <typename T, typename U>
82  struct is< T&, U& > : is<T, U>::eval
83  {};
84 
85  template <typename T, typename U>
86  struct is< T**, U** > : false_
87  {};
88 
89  } // end of namespace mln::metal
90 
91 } // end of namespace mln
92 
93 
94 #endif // ! MLN_METAL_IS_HH