在 Clang 中使用指向成员的指针时出错

Question

以下代码成功编译 gcc

template<typename T>
class F {
public:
template<typename V>
static void foo(V T::*) {
p<bool> = nullptr;
}
template<typename V>
static inline V T::* p;
};
struct A;
template class F<A>;
int main() {
}

并且 clang 编译失败，并显示

<source>:10:18: error: member pointer refers into non-class type 'bool'
static inline V T::* p;
^
<source>:6:3: note: in instantiation of static data member 'F::p' requested here
p<bool> = nullptr;
^

https://godbolt.org/z/NX7VmH

这是无效代码还是我不明白 Clang？

Answer 1

从纯语言的角度来看，代码是有效的。这是一个有效的变量模板，并且生成的变量本身是有效类型(指向成员的指针(。事实上，即使没有明确的实例化，Clang也会抱怨。

为了说明这一点，如果您将p<bool>表达式移出模板，Clang 对这个变量模板没有问题。这是 Clang 中的一个错误，导致它拒绝您的代码。