c++ - 在派生类中执行成员模板类的部分类内特化是否合法

Question

它是this的延续问题。如果像这样成员类的部分特化，我特别感兴趣:

struct FooParent {
    template <class>
    struct Bar{ };
};

struct Foo: FooParent {
    template <class T>
    struct Bar<T*> {};
};

我知道这可以在命名空间范围内完成:

template <class T>
struct Foo::Bar<T*>{ };

但我也对派生类级别的类内部分特化特别感兴趣。

当遇到前者时，clang 和 gcc 都会提示:

clang 指出有一个显式的模板专门化，但显然不会发生:

error: explicit specialization of 'Bar' in class scope

gcc 在这里没有那么冗长，它说成员模板的特化必须在命名空间范围内执行，这显然不是非派生类的情况。

error: specialization of 'template struct FooParent::Bar' must appear at namespace scope

gcc 就在他的错误信息中吗？

Answer 1

我正在按照 OP 的要求总结我在问题评论中所说的内容。

---

我猜 [temp.class.spec]/5足以回答问题。
特别是:

A class template partial specialization may be declared or redeclared in any namespace scope in which the corresponding primary template may be defined [...].

在这种情况下，实际决定的是可以定义主模板的位置。
在该示例中，您尝试声明(并根据上下文定义，但首先是声明)派生类中的部分特化。

简短的回答是:您不能在派生类中定义主模板，因此您也不能在该类中声明部分特化。

如果可能的话，下面的事情也是可能的:

struct FooParent {
    template <class>
    struct Bar;
};

struct Foo: FooParent {
    template <class T>
    struct FooParent::Bar<T*> {};
};

如果您愿意，也可以选择这个:

struct Foo: FooParent {
    template <class T>
    struct Bar<T*> {};
};

不幸的是(？)它们是不允许的，这足以告诉您您对类模板进行特殊化的尝试也是无效的。

总之，让我们再考虑一下吧。
主模板是 Foo 的成员规范的一部分(有关详细信息，请参阅 here)。
因此，问题 - 我可以在哪里定义这样一个模板？，很快就会变成 - 我可以在哪里定义类的任何其他成员？。
同样，答案是 - 不在派生类的范围内。

---

我很确定语言律师会给你更直接和直接的解释。
我也很确定同一个语言律师会因为我提到了标准的错误部分而诅咒我。
不管怎样，我希望上面的几个例子能给你一个开始的基点。