anonymous — Sat, 20 Aug 2011 16:19:02 GMT

I don't see an easy fix for this - it looks like a compiler bug - and std::is_rvalue_reference is implemented in exactly the same way as our trait, and has the same issue :-(

BTW we do have a test case for this (tricky_rvalue_test.cpp), and the issue has been reported to the VC++ team.

Sat, 20 Aug 2011 17:41:34 GMT

Partial specilizations help solve the problem.

For example, the following additional header works well.

is_rvalue_reference_patch.hpp (please place this file in the include paths)

#ifndef BOOST_PP_IS_ITERATING
    #ifndef IS_RVALUE_REFERENCE_PATCH_HPP
    #define IS_RVALUE_REFERENCE_PATCH_HPP
    #include <boost/mpl/bool.hpp>
    #include <boost/preprocessor/iteration/iterate.hpp>
    #include <boost/preprocessor/punctuation/comma_if.hpp>
    #include <boost/preprocessor/repetition/enum_params.hpp>
    #include <boost/preprocessor/repetition/enum_trailing_params.hpp>
    #include <boost/type_traits/is_rvalue_reference.hpp>
    namespace boost {
        #define BOOST_PP_ITERATION_PARAMS_1 (3, (0, 25, "is_rvalue_reference_patch.hpp"))
        #include BOOST_PP_ITERATE()
    } // namespace boost
    #endif // IS_RVALUE_REFERENCE_PATCH_HPP
#else
    #define n BOOST_PP_ITERATION()
        template <class R BOOST_PP_ENUM_TRAILING_PARAMS(n, class A)>
        struct is_rvalue_reference<R (&&)(BOOST_PP_ENUM_PARAMS(n, A))>
          : boost::mpl::true_
        {};
        template <class R BOOST_PP_ENUM_TRAILING_PARAMS(n, class A)>
        struct is_rvalue_reference<R (&&)(BOOST_PP_ENUM_PARAMS(n, A) BOOST_PP_COMMA_IF(n) ...)>
          : boost::mpl::true_
        {};
    #undef n
#endif

test.cpp

#include <boost/static_assert.hpp>
#include <boost/type_traits/is_rvalue_reference.hpp>
#include "./is_rvalue_reference_patch.hpp"
BOOST_STATIC_ASSERT((boost::is_rvalue_reference<int (&&)(int)>::value));
BOOST_STATIC_ASSERT((boost::is_rvalue_reference<int (&&)(int, ...)>::value));

John Maddock — Thu, 02 Aug 2018 10:53:05 GMT

Moved to https://github.com/boostorg/type_traits/issues/78

status changed; resolution set

John Maddock — Thu, 02 Aug 2018 11:39:47 GMT

status new → closed
resolution → duplicate

Boost C++ Libraries: Ticket #5795: is_rvalue_reference returns wrong result when rvalue reference to a function is passed

status changed; resolution set