Description Nathan Ridge 2012-01-11 22:36:44 EST

test.hpp:

template <typename T> 
struct remove_const_impl {};

template <typename T>
struct remove_const_impl<T*>
{
    typedef T type;
};

template <typename T>
struct remove_const_impl<const T*>
{
    typedef T type;
};

template <typename T>
struct remove_const
{
    typedef typename remove_const_impl<T*>::type type;
};


test.cpp:

#include "test.hpp"

template<typename Seq>
struct foo;

template <>
struct foo<int>
{
    typedef int type;
};

typedef foo<remove_const<const int>::type>::type t;  // ERROR HERE


The error at the indicated line is: "Type 'foo<remove_const<const int>::type>::type' could not be resolved"

The error goes away in the following cases:
  - contents of test.hpp are pasted into test.cpp
  - test.cpp calls remove_const<int> instead of remove_const<const int>
  - test.cpp calls remove_const_impl directly instead of through the remove_const wrapper
  - remove_const_impl is modified to specialize on T and const T, rather than T* and const T*