Почему MSVC составляет это? ⇐ C++

[Anonymous]

И Clang, и GCC отказываются скомпилировать это, но MSVC нет. < /p>

Код: Выделить всё

class Foo {
int name;
};

template 
concept HasName = requires { T::name; };

static_assert(HasName);
< /code>
MSVC только проверяет, существует ли имя, но оно не обеспечивает ограничения доступа (то есть частное < /code>), и допускает доступ к членам без экземпляра класса /объект. Но имя 

является нестатическим участником, так почему это разрешено называть его как t :: name внутри ?

Подробнее здесь: https://stackoverflow.com/questions/797 ... mpile-this