Use of __typeof__ in Solaris Studio 12.4

Question

Solaris Studio 12.3 had a __typeof__ operator similar to decltype in C++11.  This is available in a portable wrapper using the Boost macro BOOST_TYPEOF_TPL.  It looks like the Solaris Studio team contributed the modification to Boost which added this in ticket 5745.
Now Solaris Studio 12.4 has a C++11 mode which supports decltype.  However, is __typeof__ still supposed to work in Solaris Studio 12.4's C++03 mode?  It doesn't seem to work as well as it used to.
The following program deduces the return type of operator() using __typeof__:
#include <boost/typeof/typeof.hpp>
#include <boost/type_traits/remove_reference.hpp>
#include <iostream>
#include <typeinfo>
// Helper to deduce the result type from a member function pointer.
template<typename T>
struct member_function_result_type
template<typename T, typename R, typename A1>
struct member_function_result_type<R (T::*)(A1) const>
    typedef typename boost::remove_reference<R>::type type;
template<typename T>
struct function_result_type
    typedef BOOST_TYPEOF_TPL(&T::operator()) F;
    typedef typename member_function_result_type<F>::type type;
template<typename R, typename A>
struct function_result_type<R (*)(A)>
    typedef typename boost::remove_reference<R>::type type;
struct my_functor
    float operator()(float numerator) const
        return numerator / 2.0f;
int main(int, char **)
    typedef typename function_result_type<my_functor>::type my_type;
    my_functor f;
    my_type ret = f(5.0f);
    if (typeid(my_type) == typeid(float))
        std::cout << "As expected " << ret << std::endl;
    else
        std::cout << "Oh dear " << ret << std::endl;
    return 0;
If you build this with Solaris Studio 12.3 as follows:
CC -m64 -I/usr/local/include/boost-1_54 main.cc
then it compiles and running a.out shows the return type of float has been correctly deduced.
However, with Solaris Studio 12.4 the same command:
CC -m64 -I/usr/local/include/boost-1_54 main.cc
results in:
"main.cc", line 23: Error: Unexpected type name "F" encountered.
"main.cc", line 42: Warning: "typename" must be used within a template.
1 Error(s) and 1 Warning(s) detected.
Now, obviously Solaris Studio 12.4 has a C++11 mode and it is possible to get this program to work by changing BOOST_TYPEOF_TPL to decltype and building with:
CC -std=c++11 -m64 -I/usr/local/include/boost-1_54 main.cc
But Solaris Studio 12.4's C++11 mode has other problems, so is there any way to somehow get a working __typeof__ or equivalent in Solaris Studio 12.4's C++03 mode?
(In case it makes any difference this is on Solaris 10 x86.)

Answer 1

I couldn't see that any of the items listed in the "Enforcement of C++ rules" section of the documentation would affect this program.
Here's a cut down version of the test program that doesn't use Boost:
#include <iostream>
#include <typeinfo>
// Helper to deduce the result type from a member function pointer.
template<typename T>
struct member_function_result_type
template<typename T, typename R, typename A1>
struct member_function_result_type<R (T::*)(A1) const>
    typedef R type;
template<typename T>
struct function_result_type
    typedef __typeof__(&T::operator()) F;
    typedef typename member_function_result_type<F>::type type;
template<typename R, typename A>
struct function_result_type<R (*)(A)>
    typedef R type;
struct my_functor
    float operator()(float numerator) const
        return numerator / 2.0f;
int main(int, char **)
    typedef function_result_type<my_functor>::type my_type;
    my_functor f;
    my_type ret = f(5.0f);
    if (typeid(my_type) == typeid(float))
        std::cout << "As expected " << ret << std::endl;
    return 0;
Interestingly this doesn't compile with either Solaris Studio 12.3 or Solaris Studio 12.4, but each gives different errors:
Solaris Studio 12.3:
CC -m64 main.cc
>> Assertion:  unexpected type_builder::visit_unspec (../lnk/v2mangler.cc, line 1636)
    while processing main.cc at line 39.
Solaris Studio 12.4:
CC -m64 main.cc
"main.cc", line 20: Error: Unexpected type name "F" encountered.
1 Error(s) detected.
So Solaris Studio 12.4 is basically failing in the same way as the original test program that used the Boost wrappers.  Solaris Studio 12.3 is failing with an assertion error that doesn't occur when the Boost wrappers are used.
It turns out that __typeof__ was only used in one place in our codebase (wrapped by Boost), so I've just removed it and implemented that code in a different way.  So this isn't blocking upgrade of Solaris Studio, and we don't even have __typeof__ in our codebase any more, but I just thought you might be interested to have this program as a test case for future development.
It works fine with clang++ in C++03 mode on Mac OS X so I doubt the problem is caused by the source code not conforming to standard:
clang++ main.cc
./a.out
As expected 2.5
This case may be particularly tricky for a compiler to handle due to __typeof__ being applied to a pointer to a const member function.