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

Answer 1

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::Vector3 == X.

Simple example:

MyMatrix { typedef Vector3 int; };
MyMatrix { typedef Vector3 int; };

stringToTypeImpl // Help, what is "T"?