Boost C++ Libraries: Ticket #7317: [type_traits] remove_const not working on vc11

John Maddock — Sun, 02 Sep 2012 08:56:26 GMT

Eric I'm not sure what I can do here: I don't have that compiler (and won't until they decide to release the desktop express edition), but more particularly it looks like a clear compiler bug. That code has been unchanged since the beginning of time and always worked well too. Do you have VC11? If so you could try adding a:

template <typename T> struct cv_traits_imp<T*const*> {

BOOST_STATIC_CONSTANT(bool, is_const = true); BOOST_STATIC_CONSTANT(bool, is_volatile = false); typedef T* unqualified_type;

};

partial specialization to cv_traits_imp.hpp and see if that helps?

Eric Niebler — Mon, 03 Sep 2012 01:32:53 GMT

I don't have a copy of vc11 either. Could very well be a regression in the compiler. I suppose you could post a msg to the devel list and see if anybody is willing to try the fix for you. And once the compiler is publicly available, we can come up with a minimal repro and file a compiler bug. I'd think they'd want to fix this one if it's a regression that affects boost.

Eric Niebler — Mon, 24 Sep 2012 21:46:47 GMT

I downloaded the free version of msvc-11 and isolated the bug. It does appear to be a regression in the msvc compiler. I've reported it here:

https://connect.microsoft.com/VisualStudio/feedback/details/764446/regression-cannot-partially-specialize-class-on-ptr-to-funtion-when-function-type-is-deduced#details

I'll see if I can come up with a work-around. It'd be nice to get this fixed for 1.52.

Eric Niebler — Mon, 24 Sep 2012 22:40:04 GMT

I haven't added a test for this because it looks like you have a TT testing system that I haven't grokked. But here is a very simple test case that should expose the problem.

#include <boost/type_traits/remove_const.hpp>
struct S
{
    template<typename T>
    typename boost::remove_const<T>::type *operator=(T const &t) const { return 0; }
};
void bar() {}
int main()
{
    S s;
    s = bar;
}

With the patch, this compiles. Without it, it doesn't.

Eric Niebler — Mon, 24 Sep 2012 22:50:17 GMT

Oh wait. This introduces a couple of regressions I need to investigate. I'll get back to this.

attachment set

Eric Niebler — Tue, 25 Sep 2012 19:02:45 GMT

attachment → cv_traits_imp.patch

latest version of the patch

Eric Niebler — Tue, 25 Sep 2012 19:05:42 GMT

OK, the attached patch seems to do the trick and doesn't introduce regressions as far as I can tell. I think that a better fix would be to simply defer to std::remove_const and friends. But then, that could be done for all traits that have compatible C++11 implementations. That seemed like a bigger change. I'll leave that up to you.

status changed; resolution set

John Maddock — Tue, 22 Apr 2014 08:23:39 GMT

status new → closed
resolution → fixed

A little late in the day, but patches tested and applied to develop.