试图了解模板和名称查找

我正在尝试了解以下代码片段

片段1

template <typename T>
struct A
{
    static constexpr int VB = T::VD;
};

struct B : A<B>
{
};

gcc9和clang9都不会在此处引发错误。

问：为什么要编译此代码？A<B>从B继承时，我们不是实例化吗？B中没有VD，因此编译器不应该在这里抛出错误吗？

片段2

template <typename T>
struct A
{
    static constexpr auto AB = T::AD; // <- No member named AD in B
};

struct B : A<B>
{
    static constexpr auto AD = 0xD;
};

在这种情况下，gcc9可以正常编译，但是clang9会引发错误，提示“ B中没有名为AD的成员”。

问：为什么用gcc9编译/为什么不用clang9编译？

片段3

template <typename T>
struct A
{
    using TB = typename T::TD;
};

struct B : A<B>
{
    using TD = int;
};

在这里，clang9和gcc9都会引发错误。gcc9说“无效使用了不完整类型'struct B'”。

问：如果这里的结构B不完整，那么为什么在代码段2中它不完整？

使用的编译器标志：-std=c++17 -O3 -Wall -Werror。提前致谢！！！

我相信这些本质上可以归结为[temp.inst] / 2（强调我的观点）：

类模板专业化的隐式实例引起声明的隐式实例，但没有定义，默认参数，或noexcept-符 的类成员函数，成员类，作用域成员枚举，静态数据成员，成员模板，和朋友 […]

和[temp.inst] / 9

除非需要这样的实例化，否则实现不应隐式实例化[…]类模板[…]的静态数据成员。

标准中有关隐式模板实例化的措辞使许多细节有待解释。通常，在我看来，除非规范明确说明，否则您根本无法依赖未实例化的模板部分。从而：

片段1

问：为什么要编译此代码？从B继承时，我们不是实例化A吗？B中没有VD，因此编译器不应该在这里抛出错误吗？

您正在实例化A<B>。但是实例化A<B>仅实例化声明，而不是其静态数据成员的定义。VB绝不会以需要定义存在的方式使用。编译器应接受此代码。

片段2

问：为什么用gcc9编译/为什么不用clang9编译？

正如Jarod42指出的那样，的声明AB包含一个占位符类型。在我看来，该标准的措词在这里应该发生的事情上并不清楚。包含占位符类型的静态数据成员的声明的实例化是否触发占位符类型推导，从而构成需要定义静态数据成员的使用？我找不到标准中明确表示是或否的措辞。因此，我想说这两种解释在这里都同样有效，因此，GCC和clang都是正确的……

片段3

问：如果这里的结构B不完整，那么为什么在代码段2中它不完整？

其中到达封闭的类型是只在该点处完成}所述的类说明符 [class.mem] / 6。因此，在所有代码段B的隐式实例化期间，都是不完整的A<B>。只是这与代码段1无关。在代码片段2中，铛确实给您一个错误No member named AD in B。与代码片段2的情况类似，我找不到确切实例化成员别名声明的措辞。但是，与静态数据成员的定义不同，没有措辞可以明确地防止在类模板的隐式实例化过程中成员别名声明的实例化。因此，我想说，在这种情况下，GCC和clang的行为都是对该标准的有效解释。