1// Copyright 2008-2022 Emil Dotchevski and Reverge Studios, Inc.
2
3// Distributed under the Boost Software License, Version 1.0. (See accompanying
4// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
5
6#ifdef BOOST_QVM_TEST_SINGLE_HEADER
7# include BOOST_QVM_TEST_SINGLE_HEADER
8#else
9# include <boost/qvm/deduce_quat.hpp>
10#endif
11
12template <class T,class U>
13struct same_type;
14
15template <class T>
16struct
17same_type<T,T>
18 {
19 };
20
21template <class A,class B,class Result>
22struct
23check
24 {
25 same_type<typename boost::qvm::deduce_quat2<A,B>::type,Result> a;
26 same_type<typename boost::qvm::deduce_quat2<B,A>::type,Result> b;
27 };
28
29template <class T> struct q1;
30template <class T> struct q2;
31
32namespace
33boost
34 {
35 namespace
36 qvm
37 {
38 template <class T>
39 struct
40 quat_traits< q1<T> >
41 {
42 typedef T scalar_type;
43 };
44
45 template <class T>
46 struct
47 quat_traits< q2<T> >
48 {
49 typedef T scalar_type;
50 };
51
52 template <class S,class Q2S>
53 struct
54 deduce_quat<q2<Q2S>,S>
55 {
56 typedef q2<S> type;
57 };
58
59 template <class S,class AS,class BS>
60 struct
61 deduce_quat2<q2<AS>,q2<BS>,S>
62 {
63 typedef q2<S> type;
64 };
65 }
66 }
67
68int
69main()
70 {
71 same_type< boost::qvm::deduce_quat< q1<int> >::type, q1<int> >();
72 check< q1<int>, q1<int>, q1<int> >();
73
74 same_type< boost::qvm::deduce_quat< q2<int> >::type, q2<int> >();
75 same_type< boost::qvm::deduce_quat< q2<int> >::type, q2<int> >();
76 check< q2<int>, q2<int>, q2<int> >();
77 check< q2<int>, q2<float>, q2<float> >();
78 }
79

source code of boost/libs/qvm/test/deduce_quat_test.cpp