内部类的模板特化

Question

考虑以下代码：

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

这里我们将 Y 类专门用于 double 类型，并且代码工作正常。问题是，如果我将代码更改为：

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

编译器会报错：

'X::Y': 显式特化正在使用部分 特化语法，使用模板 代替！

有谁知道在这种情况下我如何专攻 Y 类？

Answer 1

如果没有明确地特化外部模板类，您就无法特化一个内部模板类。 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

Answer 2

简单的答案 - 您不能完全专门化模板化外部类的模板化内部类。但如果你真的想达到类似的效果，你可以尝试使用虚拟默认模板参数进行部分特化：

#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]