typename 参数的模板特化是特定模板的任何实例化

Question

我有一个类模板Z，当传递一个特定模板N 的任何实例化类型时，我想对其进行专门化：

struct L {
    template <typename S> void foo(S &) {/*...*/}
};

template <class T>
struct M {
    template <typename S> void foo(S &) {/*...*/}
};

template <class T>
struct N {
    template <typename S> void foo(S &) {/*...*/}
};

// I'd like to specialize this for TY==N<anything>
template <typename TX, typename TY>
struct Z {
    void bar(TX &tx) { /*...*/ ty->foo(tx); /*...*/ }
    TY *ty;
};

由于Z<int, L> 和Z<int, N<int>> 和Z<int, M<int>> 都是有效的用例，我无法将Z 转换为模板模板，并且@ 可以显着降低复杂性987654328@ 当TY 是从N 构建的类时。有没有办法做到这一点？

Answer 1

这应该会影响你想要的专业化：

template <typename TX, typename ANY>
struct Z< TX, N<ANY> > {
    // ...
};

Z 在第一个参数是TX，第二个参数是N<ANY> 时被特化。一个简单的例子：

template <typename A> struct N { A a; };

template <typename TX, typename TY>
struct Z { Z () { std::cout << "not special" << std::endl; } };

template <typename TX, typename ANY>
struct Z< TX, N<ANY> > { Z () { std::cout << "special" << std::endl; } };

int main ()
{
    Z<int, int> z1;
    Z<int, N<int> > z2;
}

输出结果：

not special
special