c++ - 什么是模板上下文中的成员枚举？

Question

C++20 标准 (N4892) 指出:

The declaration in a template-declaration (if any) shall[...](2.2) — define [...] a member enumeration, [...]

(13.1.2)

在此上下文中，成员枚举是什么意思？我查看了标准，但找不到该术语的定义，只能找到它的用法。在 13.9.2.3.(1/2) 中提到了范围内和非范围内的成员枚举。所以我假设枚举就是它的意思。但是，我无法在 MSVC 中创建成员枚举模板:

struct S
{
    template<typename T>
    enum class e
    {
        i = 0,
    };
};

C3113 : “枚举”不能是模板

我也从未在野外见过枚举模板，所以我认为这是不可能的。那么模板上下文中的“成员枚举”是什么意思？

Answer 1

However, I was unable to create a member enum template in MSVC:

因为这不是故意的。现在存在的 C++ 标准中没有枚举模板。考虑而不是类模板的前向声明范围成员枚举:

template <typename T>
class Foo { enum class bar; };

template <typename T>
enum class Foo<T>::bar { baz };

这是模板声明中的声明，它是枚举的定义，是[temp.pre] 2.2涵盖的用例示例.