SFINAE 中未继承类型以进行多重继承？

Question

我正在使用 SFINAE 机制来推断类型。如果 class T 不包含 yes 并且被推导，则 Resolve::type 被推导为 T如果包含 yes，则为 MyClass。

class MyClass {};

template<typename>
struct void_ { typedef void check; };

template<typename T, typename = void>
struct Resolve { typedef T type; };

template<typename T>
struct Resolve <T, typename void_<typename T::yes>::check> {
    typedef MyClass type;
};

现在，我有简单的测试类，

struct B1 { typedef int yes; }; // 1
struct B2 { typedef int yes; }; // 2
struct D1 {};  // 3
struct D2 : B1 {};  // 4
struct D3 : B1, B2 {}; // 5 <----

根据以下逻辑，上述测试的结果应该是：

1. Resove::type = MyClass
2. Resove::type = MyClass
3. 解析::type = D1
4. 解析::type = MyClass
5. 解决::type = MyClass或编译器错误（由于B1、B2之间的歧义）

奇怪的是，在测试用例（5）中它并没有发生。结果是，

Resolve<D3>::type = D3;

任何人都可以解释一下，多重继承有什么魔力吗？没有得到编译器错误是标准合规行为吗？这是演示。

Answer 1

为什么会出现编译器错误？您知道 SFINAE 代表替换失败不是错误吗？

当您用 D3 替换 T 时，表达式变得不明确。由于 SFINAE，这种失败不会被视为错误，您的专业化将被简单地从候选人中删除。这一切都是为了不得到编译器错误。