C++概念能否检查私有非静态数据成员？MSVC编译结果疑问

我编写了一个用于检查数据成员类型的Concept，代码如下：

#include <concepts>
#include <iostream>

template < typename DataType >
struct StaticA
{
private:
    static DataType value;
};

template < typename DataType >
struct NonStaticA
{
private:
    DataType value;
};

template < typename DataType >
struct B
{
    DataType value;
};

template < typename Class >
concept Concept = std::same_as < decltype(Class::value), int >;

int main()
{
    std::cout << Concept < StaticA < int > > << "\n"; // Prints 0
    std::cout << Concept < NonStaticA < int > > << "\n"; // Prints 0 or 1, depending on the compiler.
    std::cout << Concept < B < int > > << "\n"; // Prints 1

    return 0;
}

测试发现GCC下第二个输出为0，但MSVC结果可能不同。请问MSVC的第二个输出是否也应为0？我依据相关技术结论认为应该如此。

结论与分析 #

MSVC的第二个输出确实应该为0，核心依据如下：

• 按照C++标准规范，直接通过Class::value访问类的私有非静态成员属于双重违规：一是违反私有成员的访问权限控制，二是非静态成员必须通过类的实例进行访问，不能直接通过类名调用。因此decltype(NonStaticA<int>::value)的写法本身就是非法的，Concept的约束条件无法满足，结果必然为0。
• 若MSVC输出1，说明其编译器实现未严格遵循标准，属于非合规行为。
• 补充说明其他输出的合理性：
  • StaticA<int>的value是私有静态成员，因访问权限限制，Concept检查不通过，输出0，符合标准。
  • B<int>的value是公有非静态成员，虽然Class::value访问非静态成员的写法存在语法瑕疵，但编译器通常会将其推断为获取成员的类型（即int），因此Concept检查通过，输出1。

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