summaryrefslogtreecommitdiff
path: root/libcult/cult/meta/polymorphic-p.hxx
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