为什么 SFINAE 不能跨多重继承工作？

Question

代码如下：

#include <utility>
#include <type_traits>

template <class T>
class ClassWithDisabledFoo
{
public:
    template <class U = T, std::enable_if_t<std::is_integral<U>::value, int> = 0>
    void foo(){}
};

class ClassWithFoo
{
public:
    void foo(){}
};

class Derived: public ClassWithFoo, public ClassWithDisabledFoo<double>
{

};

void test()
{
    Derived d;
    d.foo();
}

在调用 d.foo() 时，clang 和 gcc 都表示对 foo 的调用不明确，尽管 ClassWithDisabledFoo::foo 已被 enable_if 禁用。如果我将 foo 定义从 ClassWithFoo 移动到 Derived，代码将编译。

为什么这不起作用，我怎样才能让它起作用？

Answer 1

您的示例中没有发生重载解析，因此 SFINAE 无关紧要。

这里的关键是 名称查找 发生在重载解析之前。名称查找找到一个重载集，然后对找到的集执行重载解析。

名称必须映射到单个对象类型中的单个集合。在您的情况下，相同的名称映射到两个不同子对象的成员，因此名称查找是不明确的。一个直接的解决方案是添加 using 声明：

class Derived: public ClassWithFoo, public ClassWithDisabledFoo<double>
{
    using ClassWithFoo::foo;
    using ClassWithDisabledFoo::foo;
};

这将名称引入 Derived，现在可以明确地发现声明指向由我们引入的成员组成的重载集。

为什么 SFINAE 不能跨多重继承工作？

Why doesn't SFINAE work across multiple inheritance?

c++

templates

sfinae