将指向base成员的指针转换为指向派生

一个简化的例子 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) . 海合会和克朗都拒绝宣布 x 标记 (2)

gcc和clang的错误消息都表明他们知道这一点 作为\u d 是指向的成员的指针 B . 叮当声:

<source>:9:3 :错误:抱歉,指向成员类型的指针的非类型模板参数 void (D::*)() 指的是会员 B::f

合同通用条款:

<source>:9:7 :错误: void (D::*)(){((void (D::*)())B::f), 0} 不是类型的有效模板参数

谁是对的?如果是gcc/clang,我们违反的规则是什么?看起来确实是这样 作为\u d 是类型的转换常量表达式 无效(D::*)()