テンプレート特殊は

Question

は、次のコードを考えてみます。

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

ここでは、double型のためのYクラスを特化していると、コードが正常に動作します。いずれかが、私はこのケースでは、クラスYを特化することができます方法を知っている

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

用量：

は

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

は、コンパイラがエラーを報告します。問題は、私はこれにコードを変更した場合ということですか？

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.

回避策：X内側に詳細名前空間にTとAの両方をとる外部クラスを作成し、別名：

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