$extrastylesheet
Olena  User documentation 2.1
An Image Processing Platform
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
converts_to.cc
1 // Copyright (C) 2007, 2008, 2009, 2013 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 #include <mln/metal/converts_to.hh>
28 
29 #include <mln/accu/math/sum.hh>
30 
31 
32 struct from_1
33 {
34 };
35 
36 struct dest
37 {
38  dest(const from_1&) {}
39 };
40 
41 struct from_2
42 {
43  operator dest() const { dest* tmp = 0; return *tmp; }
44 };
45 
46 
47 struct base
48 {
49 };
50 
51 struct base_
52 {
53 protected:
54  base_(int) {}
55  base_(const base_&) {}
56 };
57 
58 struct derived : base, base_
59 {
60  derived() : base(), base_(0) {}
61 };
62 
63 
64 int main()
65 {
66  using namespace mln;
67 
68  metal::converts_to<int, float>::check();
69 
70  metal::converts_to<from_1, dest>::check();
71  metal::converts_to<from_2, dest>::check();
72 
73  metal::converts_to<derived*, base*>::check();
74  metal::converts_to<derived, base>::check();
75  metal::converts_to<derived, const base>::check();
76 
77  metal::converts_to<accu::math::sum<int, int>, int>::check();
78 
79 
80  metal::converts_to<from_1, float>::check_not();
81 
82  metal::converts_to<base, derived>::check_not();
83  metal::converts_to<base_, derived>::check_not();
84 
85  /* Unfortunately, we cannot perform the following checks, as they
86  trigger an error (*before* SFINAE comes into play) about base_'s
87  ctor(s) being protected:
88 
89  metal::converts_to<derived, base_>::check_not();
90  metal::converts_to<derived, const base_>::check_not();
91  */
92 }