成员检测惯用法地址歧义：为何代码返回1而非预期的0？

运行以下代码时，DetectZ<Z>::value返回1，但预期应返回0。提问者认为&U::x的地址获取无歧义，应匹配返回char的test重载；而将SFINAE中的int (U::*)改为int (Fallback::*)后代码正常工作，具体原因如下：

问题代码 #

struct Z {
private:
    int y;
};

template<typename T>
struct DetectZ {
    struct Fallback { int x; };
    struct Derived :Fallback, T {};
    template<typename U, int (U::*)> struct SFINAE {};
    template<typename U> static char test(SFINAE<U,&U::x>*);
    template<typename U> static int test(...);
    static bool const value = sizeof(test<Derived>(0)) == sizeof(int);
};

int main() {
    cout << DetectZ<Z>::value << endl;
    return 0;
}

原因拆解 #

• &Derived::x的类型不匹配SFINAE参数要求
  当U实例化为Derived时，x是基类Fallback的成员，所以&Derived::x的实际类型是int (Fallback::*)，而非int (Derived::*)。SFINAE的第二个模板参数要求是int (U::*)（指向U自身成员的指针），两者类型不匹配，导致返回char的test重载被SFINAE规则淘汰，编译器只能选择test(...)重载，最终sizeof(test<Derived>(0))等于sizeof(int)，value因此为1。

• 修改为int (Fallback::*)后匹配成功的逻辑
  把SFINAE的第二个参数改为int (Fallback::*)后，&Derived::x可以隐式转换为int (Fallback::*)（因为Derived继承自Fallback），此时SFINAE参数完全匹配，返回char的test重载生效，sizeof(char)不等于sizeof(int)，所以value为0，符合预期。

• 对“无歧义”的误区澄清
  虽然在普通代码中&Derived::x确实明确指向Fallback::x，但在模板非类型参数的推导场景中，编译器严格检查类型匹配——基类成员指针无法直接匹配派生类成员指针的参数要求，这才是导致重载被排除的核心原因，和名称查找的歧义性无关。

内容的提问来源于stack exchange，提问作者nvn