SFINAE未检测私有访问违规：Visual C++ 2022是否存在编译器Bug？

根据Stack Overflow文章《Can SFINAE detect private access violations?》的结论，SFINAE机制应当能够检测私有访问违规。但在Visual C++ 2022环境下，以下用于检测类是否包含指定成员的代码，即便目标成员被声明为私有不可访问，仍然判定检测通过：

#include <type_traits>

template<typename, typename = void>
struct has_member_foo : std::false_type{};

template<typename T>
struct has_member_foo<T, std::void_t<decltype(T::foo_)>> : std::true_type {};


class TestWithPrivateFooMember
{
private:
    int foo_;
};

int main()
{
    // 按照标准应该为false，但在Visual Studio 2022中结果为true且编译正常...
    static_assert(has_member_foo<TestWithPrivateFooMember>::value);
}

// 编译命令：
// cl.exe  /nologo /TP  /DWIN32 /D_WINDOWS /W3 /GR /EHsc /MDd /Zi /Ob0 /Od /RTC1 -std:c++20 /FS -c main.cpp

请问这是否是Visual C++的Bug？该静态断言本应触发编译错误。

这确实是Visual C++ 2022的一个不符合C++标准的行为（即编译器Bug）。

按照C++标准规定，当模板特化过程中尝试访问类的私有成员时，这种访问控制违规属于模板替换失败，应当触发SFINAE机制——也就是排除该特化版本，转而使用主模板（这里的主模板继承自std::false_type）。因此has_member_foo<TestWithPrivateFooMember>::value应该为false，静态断言理应触发编译错误。

而Visual C++ 2022在这里错误地绕过了访问控制检查，没有将私有成员的访问错误视为SFINAE替换失败，导致特化版本被选中，最终value被判定为true，这完全不符合C++标准的要求。

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