On 10/5/2010 9:13 AM, Sascha Ochsenknecht wrote:
Hello,
I got an error from the Sun Studio 12.2 (CC 5.11) when trying to compile
my sources.
The error comes out of the Boost.Proto library (actually I'm doing
something with Boost.Spirit and Boost.Spirit is using Boost.Proto ...,
but I don't think that the problem is in the client code, it seems to
come from the buggy compiler). I'm using Boost 1.43.
This is what I got from the compiler:
"...include/boost/proto/detail/decltype.hpp", line 343: Error: Partial
specialization parameter V is not used in the arguments.
Can you try replacing the definition of result_of_ in decltype.hpp with
the following:
template<typename T>
struct sun_workaround_helper
{
typedef T type;
};
template
struct result_of_2
: boost::tr1_result_of<typename T::type>
{};
template
struct result_of_2<
sun_workaround_helper
, typename enable_if_c::value>::type
>
{
BOOST_STATIC_CONSTANT(bool, is_V_a_smart_ptr = 2 ==
sizeof(test_V_is_a_U<U>(&lvalue(make<V>()))));
BOOST_STATIC_CONSTANT(bool, is_ptr_to_const = 2 ==
sizeof(test_ptr_to_const(BOOST_PROTO_GET_POINTER(U, make<V>()))));
// If V is not a U, then it is a (smart) pointer and we
can always return an lvalue.
// Otherwise, we can only return an lvalue if we are
given one.
typedef
typename mpl::eval_if_c<
(is_V_a_smart_ptr || is_reference<V>::value)
, mpl::eval_if_c<
is_ptr_to_const
, add_reference
, add_reference<T>
>
, mpl::identity<T>
>::type
type;
};
////////////////////////////////////////////////////////////////////////////////////////////
// result_of_ is a wrapper around boost::result_of that also
handles "invocations" of
// member object pointers.
template<typename T>
struct result_of_
: result_of_2
{};
Let me know how that works. Thanks,
--
Eric Niebler
BoostPro Computing
http://www.boostpro.com
