partial specialization with dependent name (typename)

Question

I have the following simple strinToTypeImpl function which converts any kind of string into the template type. The problem I am concerned about is the fact that the compiler tells me for the partial specialization for typename MyMatrix<T>::Vector3 :

template parameter T not used in partial specialization

Can't I use dependent names in the specialization?

namespace details
{

    template<typename T>
    struct stringToTypeImpl{
        bool operator()(T& t, const std::string& s)
        {
          std::istringstream iss(s);
          return !(iss >> t).fail();
        }
    };


    template<typename T>
    struct stringToTypeImpl< typename MyMatrix<T>::Vector3  >{ 

        // Replacing typename MyMatrix<T>::Vector3  by 
        // Eigen::Matrix<T,3,1> WORKS but why?

        bool operator()(typename MyMatrix<PREC>::Vector3 & t, const std::string& s)
        {
          stringToVector3<PREC>(t,s);
        }
    };
}

score 6 · Answer 1 · answered Sep 16 '13 at 08:34

6

This is just another form of the problem that has been discussed many times: There's no one-to-one mapping from types X to types T such that MyMatrix<T>::Vector3 == X.

Simple example:

MyMatrix<double> { typedef Vector3 int; };
MyMatrix<float> { typedef Vector3 int; };

stringToTypeImpl<int> // Help, what is "T"?

answered Sep 16 '13 at 08:34

Kerrek SB

464,522
92
875
1,084

ok thanks a lot, it even can not deduce it even if Vector3 is a completely different type for double and float ? – Gabriel Sep 16 '13 at 09:02
1

@Gabriel No, there is no database of member types called `Vector3`. But that's not how the compiler even sees it; a template argument list before `::` is an example of a *non-deduced context*, and T must appear somewhere that isn't one. – Potatoswatter Sep 16 '13 at 09:13

Potatoswatter · Answer 2 · 2013-09-16T09:22:40.607

Kerreck's answer and my comment there explain the problem. There is no way for the type system to map a member to a parent-of-member, so the :: operator stops the deduction process which needs to match T.

The simple way to a solution would be to bring Vector3 outside and specialize it on the matrix type, then make the member MyMatrix< T >::Vector3 a typedef.

template< typename Matrix >
struct Vector3 {
    typename Matrix::ValueType x, y, z;
};

template< typename T >
struct MyMatrix {
    typedef Vector3< MyMatrix > Vector3;
};

The partial specialization of StringToTypeImpl needs to be on the final template type, not the typedef. Partial specialization cannot match across a set of typedefs, although specialization can match type to the type aliased by a single typedef name.

partial specialization with dependent name (typename)

2 Answers2

Linked