同时专门化外部类和嵌套类

Simultaneously specializing outer and nested class

本文关键字：嵌套 外部 专门化      更新时间：2023-10-16

下面的类模板Sequencer包含一个嵌套的类模板Process，带有两个模板参数。

template<typename P>
struct Sequencer
{   
    template<typename A , bool = A::CAN_BE_BUFFERED>
    struct Process;
};

我想将Sequencer专门化为自定义struct Foo，同时专门化其自己版本的Process以仅支持一个模板参数，如下所示

template<>
struct Sequencer<Bar>
{   
    template<typename A>
    struct Process;
};

由于实现时间太长，我已经在ideone上发布了整个列表。

在GCC 4.5.3上，我收到以下错误消息

prog.cpp:60:24: error: partial specialization ‘Sequencer<Bar>::Process<A>’ does not specialize any template arguments

在Visual Studio 2008上，我得到以下错误

prog.cpp(62) : error C2753: 'Sequencer<Bar>::Process<A>' : partial specialization cannot match argument list for primary template

Sequencer<Bar>::Process是一个完整的模板，它不是专门化的。它恰好是一个专业的成员。你不应该宣称它是一个专业化：

template<typename A>
struct Sequencer<Bar>::Process/*<A>*/
                               //^ remove this
{
};

模板应该被认为是"类生成器"。Sequencer<P>定义了从任意P生成类的方法，其中Sequencer<Bar>在实例化Sequencer<Bar>时给出了要生成的特定类。每个生成的类都是完全分离和不相关的（除了由同一个生成器创建之外）。在这种情况下，这意味着Sequencer<Bar>中的内部类与Sequencer<P>中的内部类没有关系。

相关文章：