c++ - 将指向基成员的指针转换为指向派生成员的指针

Question

来自 a recent blog post 的简化示例:

struct B { void f(); };
struct D : B { };

constexpr auto as_d = static_cast<void(D::*)()>(&D::f); // (1)

template <void (D::*)()>
struct X { };

X<as_d> x; // (2)

gcc、clang 和 MSVC 都接受 as_d 的声明标记为 (1) . gcc和clang都拒绝x的声明标记为 (2) ，但 MSVC 接受它。

gcc 和 clang 的错误消息都表明他们知道 as_d是指向 B 成员的指针. clang :

<source>:9:3: error: sorry, non-type template argument of pointer-to-member type void (D::*)() that refers to member B::f of a different class is not supported yet

gcc:

<source>:9:7: error: void (D::*)(){((void (D::*)())B::f), 0} is not a valid template argument for type void (D::*)()

谁是对的？如果 gcc/clang，我们违反的规则是什么？确实看起来像 as_d是 void (D::*)() 类型的转换常量表达式对我来说……

Answer 1

嗯，这最终变得非常有趣。就语言而言，程序是有效的 - as_d 确实满足成为有效的非类型模板参数的要求(它是正确类型的转换常量表达式)。

但是，Itanium C++ ABI显然 does not specify a mangling对于这种情况(即，有一个非类型模板参数，其类型是指向成员的指针，但其值是指向成员的指针)。因此，针对该 ABI 的编译器(即 clang 和 gcc)不能接受此代码。这就解释了为什么 clang 的错误是“sorry, not yet”而不是“no, bad!”

另一方面，其他 ABI 没有这样的修改问题，因此 MSVC 和 ICC 都能够很好地编译程序。