Search:

Thank you for the help, I will give a look.

Oh, no, I did not mean that.

I mean there is a way do distinguish, in compile-time, a struct (or a typedef of a struct) against an int or any pre-built type.

The application I have in mind is a...

I mean I wish the compiler could differ X<int>::Y from X<short>::Y, even if Y does not take the template parameter into consideration.

I have been searching around and figured out a partial...

First of all, thanks for answering.

I see the types can collide because there is no bijection between the XT and Y types.

But what if the compiler forcefully instances a new Y type for every X....

I am currently having an issue with C++ metaprogramming system. To be more specific, the issue is about partial template specialisation.

Suppose I define a template as below:

template<typename...