Dear all,
I am working in an application where I use Proto to evaluate an expression template like
_1 >> f >> g
to g(f(x)) once x is assigned to _1. (Please note that f and g are not necessarily functions -- they might be function objects too.) I am interested in putting a compile-time sanity check to ensure that the functions/function objects f and g do indeed return a double (or something convertible to it). For that, I wrote the following grammar which GCC 4.5.1 (Boost 1.42, MinGW32, WinXP, SP3) doesn't like, with the error messages being at the P.S. section:
struct EmtnRet2DblChk:
or_
<
terminal<_>,
and_
<
shift_right >,
if_
<
typename boost::is_convertible
<
typename boost::result_of<(_value(_right))(double)>::type,
double
>::type
>
>
>
{};
(The above code starts in my line 81 and ends in my line 98.) Any idea please?
TIA,--Hossein
P.S.
Compiling: main.cpp
main.cpp:98:2: error: a cast to a type other than an integral or enumeration type cannot appear in a constant-expression
main.cpp:98:2: error: template argument 1 is invalid
main.cpp:92:22: error: wrong number of template arguments (1, should be 2)
/boost/type_traits/is_convertible.hpp:418:1: error: provided for 'template struct boost::is_convertible'
main.cpp:90:21: error: template argument 1 is invalid
main.cpp:88:4: error: template argument 2 is invalid
85:3: error: template argument 2 is invalid
main.cpp:98:3: error: expected '{' before ';' token
