blob: 0743de3798d71527c1e15a0ab166bb085087d7c1 (
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
|
// file : cult/meta/polymorphic-p.hxx
// author : Boris Kolpackov <boris@kolpackov.net>
// copyright : Copyright (c) 2005-2010 Boris Kolpackov
// license : GNU GPL v2 + exceptions; see accompanying LICENSE file
#ifndef CULT_META_POLYMORPHIC_HXX
#define CULT_META_POLYMORPHIC_HXX
#include <cult/types/fundamental.hxx>
#include <cult/meta/class-p.hxx>
#include <cult/meta/remove-cv.hxx>
namespace Cult
{
namespace Meta
{
template <typename CVX>
class polymorphic_p
{
typedef typename remove_cv<CVX>::R X;
template <typename Y, Boolean c>
struct impl
{
static const Boolean r = false;
};
template <typename Y>
struct impl<Y, true>
{
//@@ private
struct S1 : Y
{
S1 ();
};
struct S2 : Y
{
S2 ();
virtual
~S2 () throw ();
};
static const Boolean r = sizeof (S1) == sizeof (S2);
};
public:
static const Boolean r = impl<X, class_p<X>::r>::r;
};
}
}
#endif // CULT_META_POLYMORPHIC_HXX
|