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
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
/*==============================================================================
Copyright (c) 2001-2010 Joel de Guzman
Copyright (c) 2010 Thomas Heller
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)
==============================================================================*/
#ifndef BOOST_PHOENIX_CORE_VALUE_HPP
#define BOOST_PHOENIX_CORE_VALUE_HPP
#include <boost/phoenix/core/limits.hpp>
#include <boost/phoenix/core/actor.hpp>
#include <boost/phoenix/core/as_actor.hpp>
#include <boost/phoenix/core/terminal.hpp>
#include <boost/utility/result_of.hpp>
namespace boost { namespace phoenix
{
////////////////////////////////////////////////////////////////////////////
//
// values
//
// function for evaluating values, e.g. val(123)
//
////////////////////////////////////////////////////////////////////////////
namespace expression
{
template <typename T>
struct value
: expression::terminal<T>
{};
}
template <typename T>
typename expression::value<T>::type const
inline val(T t)
{
return expression::value<T>::make(t);
}
// Call out actor for special handling
template<typename Expr>
struct is_custom_terminal<actor<Expr> >
: mpl::true_
{};
// Special handling for actor
template<typename Expr>
struct custom_terminal<actor<Expr> >
{
template <typename Sig>
struct result;
template <typename This, typename Actor, typename Context>
struct result<This(Actor, Context)>
: boost::remove_const<
typename boost::remove_reference<
typename evaluator::impl<Actor, Context, proto::empty_env>::result_type
>::type
>
{};
template <typename Context>
typename result<custom_terminal(actor<Expr> const &, Context &)>::type
operator()(actor<Expr> const & expr, Context & ctx) const
{
return boost::phoenix::eval(expr, ctx);
}
};
namespace meta
{
template<typename T>
struct const_ref
: add_reference<typename add_const<T>::type>
{};
template<typename T>
struct argument_type
: mpl::eval_if_c<
is_function<typename remove_pointer<T>::type>::value
, mpl::identity<T>
, const_ref<T>
>
{
typedef T type;
};
template <typename T>
struct decay
{
typedef T type;
};
template <typename T, int N>
struct decay<T[N]> : decay<T const *> {};
}
template <typename T>
struct as_actor<T, mpl::false_>
{
typedef typename expression::value<typename meta::decay<T>::type >::type type;
static type
convert(typename meta::argument_type<typename meta::decay<T>::type>::type t)
{
return expression::value<typename meta::decay<T>::type >::make(t);
}
};
}}
#endif
|
Swift