关于不完整类型的 SFINAE 的特殊规则

Question

最近在if-else depends on whether T is a complete type这里回答一个问题时，我意识到以下内容无法编译

#include <iostream>
#include <type_traits>

using namespace std;

class Incomplete;
class Complete {};

template <typename IncompleteType>
struct DetermineCompleteHelper : public IncompleteType {};

template <typename IncompleteType, typename = std::enable_if_t<true>>
struct DetermineComplete {
    static constexpr const bool value = false;
};

template <typename IncompleteType>
struct DetermineComplete<IncompleteType, std::enable_if_t<std::is_same<
        decltype(DetermineCompleteHelper<IncompleteType>{}),
        decltype(DetermineCompleteHelper<IncompleteType>{})>::value>> {
    static constexpr const bool value = true;
};

int main() {
    cout << DetermineComplete<Complete>::value << endl;
    cout << DetermineComplete<Incomplete>::value << endl;
    return 0;
}

但是将部分模板特化改为

template <typename IncompleteType>
struct DetermineComplete<IncompleteType, std::enable_if_t<std::is_same<
        std::integer_sequence<int, sizeof(IncompleteType)>,
        std::integer_sequence<int, sizeof(IncompleteType)>>::value>> {
    static constexpr const bool value = true;
};

使代码编译没有错误，为什么会出现这种不规则性？不应该将第一个表达式视为部分特化上下文中的错误，从而让 SFINAE 启动并使类的默认定义成为实例化的类吗？

Answer 1

尝试实例化DetermineCompleteHelper<IncompleteType> 的定义时发生错误（特别是，它尝试从不完整的基类派生）。这超出了直接上下文。