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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
// PR c++/49107
// { dg-do compile { target c++11 } }
namespace std
{
template<typename _Tp> _Tp&& declval() noexcept;
struct true_type { static const bool value = true; };
struct false_type { static const bool value = false; };
template<typename _Tp, typename _Arg>
struct __is_direct_constructible_impl
{
template<typename _Tp2, typename _Arg2, typename
= decltype(::new _Tp2(declval<_Arg2>()))>
static true_type __test(int);
template<typename, typename>
static false_type __test(...);
typedef decltype(__test<_Tp, _Arg>(0)) type;
};
template<typename _Tp, typename _Arg>
struct __is_direct_constructible_new_safe
: public __is_direct_constructible_impl<_Tp, _Arg>::type
{ };
template<class _T1, class _T2>
struct pair
{
pair() = default;
constexpr pair(const pair&) = default;
pair(pair&& __p)
noexcept(__is_direct_constructible_new_safe<_T2,_T2&&>::value);
};
}
template <class R_>
struct Vector3
{
typedef typename R_::Ray_3 Ray_3;
Vector3() {}
explicit Vector3(const Ray_3& r);
};
template < class R_ > class LineC3
{
typedef typename R_::Vector_3 Vector_3;
std::pair<int, Vector_3> x;
};
template < class R_ > class RayH3
{
typedef typename R_::Vector_3 Vector_3;
std::pair<int, Vector_3> x;
};
template <typename Kernel >
struct Homogeneous_base
{
typedef LineC3<Kernel> Line_3;
typedef RayH3<Kernel> Ray_3;
};
template < typename RT_>
struct Simple_homogeneous
: public Homogeneous_base< Simple_homogeneous<RT_> >
{
typedef Vector3<Simple_homogeneous<RT_> > Vector_3;
};
int main()
{
typedef Simple_homogeneous<double> R;
R::Line_3 l3;
}
|
