deduce_quat.hpp
2.27 KB
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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
#ifndef BOOST_QVM_DEDUCE_QUAT_HPP_INCLUDED
#define BOOST_QVM_DEDUCE_QUAT_HPP_INCLUDED
// Copyright 2008-2022 Emil Dotchevski and Reverge Studios, Inc.
// Distributed under the Boost Software License, Version 1.0. (See accompanying
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
#include <boost/qvm/deduce_scalar.hpp>
#include <boost/qvm/quat_traits.hpp>
#include <boost/qvm/static_assert.hpp>
namespace boost { namespace qvm {
template <class T>
struct quat;
namespace
qvm_detail
{
template <class Q,class S,
class QS=typename quat_traits<Q>::scalar_type>
struct
deduce_q_default
{
BOOST_QVM_STATIC_ASSERT(is_quat<Q>::value);
typedef quat<typename quat_traits<Q>::scalar_type> type;
};
template <class Q,class S>
struct
deduce_q_default<Q,S,S>
{
BOOST_QVM_STATIC_ASSERT(is_quat<Q>::value);
typedef Q type;
};
}
template <class Q,class S=typename quat_traits<Q>::scalar_type>
struct
deduce_quat
{
BOOST_QVM_STATIC_ASSERT(is_quat<Q>::value);
typedef typename qvm_detail::deduce_q_default<Q,S>::type type;
};
namespace
qvm_detail
{
template <class A,class B,class S,
bool IsScalarA=is_scalar<A>::value,
bool IsScalarB=is_scalar<B>::value>
struct
deduce_q2_default
{
typedef quat<S> type;
};
template <class Q,class S>
struct
deduce_q2_default<Q,Q,S,false,false>
{
BOOST_QVM_STATIC_ASSERT(is_quat<Q>::value);
typedef Q type;
};
template <class A,class B,class S>
struct
deduce_q2_default<A,B,S,false,true>
{
BOOST_QVM_STATIC_ASSERT(is_quat<A>::value);
typedef typename deduce_quat<A,S>::type type;
};
template <class A,class B,class S>
struct
deduce_q2_default<A,B,S,true,false>
{
BOOST_QVM_STATIC_ASSERT(is_quat<B>::value);
typedef typename deduce_quat<B,S>::type type;
};
}
template <class A,class B,class S=typename deduce_scalar<typename scalar<A>::type,typename scalar<B>::type>::type>
struct
deduce_quat2
{
BOOST_QVM_STATIC_ASSERT(is_quat<A>::value || is_quat<B>::value);
typedef typename qvm_detail::deduce_q2_default<A,B,S>::type type;
};
} }
#endif