шаблон специализации для внутреннего класса

Question

рассмотрит следующий код:

struct X 
{ 
    template <typename T> 
    class Y 
    {}; 
}; 
template<> 
class X::Y<double>{ 
}; 

здесь мы специализирующиеся класс Y для типа двойными и код работает отлично. проблема заключается в том, что если я изменить код для этого:

template<typename A> 
struct X 
{ 
    template <typename T> 
    class Y 
    {}; 
}; 
template<typename A> 
class X<A>::Y<double>{ 
}; 

компилятор выдаст сообщение об ошибке:

'X::Y': explicit specialization is using partial specialization syntax, use template <> instead!

дозу любой знает, как я могу специализироваться класса Y в этом случае?

Answer 1

Простой ответ - вы не можете полностью специализировать шаблонный внутренний класс шаблонного внешнего класса. Но если вы действительно хотите, чтобы добиться подобного эффекта можно попробовать частичную специализацию с фиктивным дефолтом параметром шаблона:

#include <iostream> 

template<typename A> 
struct X 
{ 
    template <typename T, T* =nullptr> 
    class Y{}; 
}; 

template<typename A> 
template<double *Ptr> 
class X<A>::Y<double, Ptr> { 
public: 
    static constexpr int value = 1; 
}; 

int main() { 
    std::cout << X<int>::Y<double>::value << std::endl; 
} 

[live demo]

Answer 2

Вы не можете специализировать внутренний класс шаблонов, не явно специализируя внешний. See this question for more details and a quote from the standard.

Обход: создать внешний класс, который принимает как T и A в подробном пространстве имен, и псевдоним он внутри X:

namespace impl 
{ 
    template <typename A, typename T> 
    struct Y { }; 
} 

template<typename A> 
struct X 
{ 
    template <typename T> 
    using Y = impl::Y<A, T>; 
}; 

---

Если вы хорошо с явно специализирующимися как внутренними и вы можете использовать следующий синтаксис:

template <> 
template <> 
class X<int>::Y<double> 
{ 
    // ... 
}; 

Example on wandbox