converts_to.cc 1.96 KB
Newer Older
1
// Copyright (C) 2007 EPITA Research and Development Laboratory (LRDE)
Thierry Geraud's avatar
Thierry Geraud committed
2
//
3
// This file is part of Olena.
Thierry Geraud's avatar
Thierry Geraud committed
4
//
5
6
7
8
9
// Olena 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, version 2 of the License.
//
// Olena is distributed in the hope that it will be useful,
Thierry Geraud's avatar
Thierry Geraud committed
10
11
12
13
14
// 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
15
// along with Olena.  If not, see <http://www.gnu.org/licenses/>.
Thierry Geraud's avatar
Thierry Geraud committed
16
17
//
// As a special exception, you may use this file as part of a free
18
// software project without restriction.  Specifically, if other files
Thierry Geraud's avatar
Thierry Geraud committed
19
// instantiate templates or use macros or inline functions from this
20
21
22
23
24
// file, or you compile this file and link it with other files to produce
// an executable, this file does not by itself cause the resulting
// executable to be covered by the GNU General Public License.  This
// exception does not however invalidate any other reasons why the
// executable file might be covered by the GNU General Public License.
Thierry Geraud's avatar
Thierry Geraud committed
25

Thierry Geraud's avatar
Thierry Geraud committed
26
#include <mln/metal/converts_to.hh>
Thierry Geraud's avatar
Thierry Geraud committed
27
28
29



Thierry Geraud's avatar
Thierry Geraud committed
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
struct from_1
{
};

struct dest
{
  dest(const from_1&) {}
};

struct from_2
{
  operator dest() const { dest* tmp; return *tmp; }
};


struct base
{
};

struct base_
{
protected:
  base_(int) {}
  base_(const base_&) {}
};

struct derived : base, base_
{
  derived() : base(), base_(0) {}
};


Thierry Geraud's avatar
Thierry Geraud committed
62
63
64
65
int main()
{
  using namespace mln;

Thierry Geraud's avatar
Thierry Geraud committed
66
67
68
69
70
71
72
73
  metal::converts_to<int, float>::check();

  metal::converts_to<from_1, dest>::check();
  metal::converts_to<from_2, dest>::check();

  metal::converts_to<derived*, base*>::check();
  metal::converts_to<derived, base>::check();
  metal::converts_to<derived, const base>::check();
Thierry Geraud's avatar
Thierry Geraud committed
74

Thierry Geraud's avatar
Thierry Geraud committed
75
76
//   metal::converts_to<derived, base_>::check_not();
//   metal::converts_to<derived, const base_>::check_not();
Thierry Geraud's avatar
Thierry Geraud committed
77
}