Почему требуется экспрессия ведут себя по-разному в шаблоне и не образец для проверки доступа к частному члену? ⇐ C++

[Anonymous]

В следующем классе кода A имеет частную функцию F . Я хочу написать статическое утверждение, которое проверит, доступна ли эта функция из текущего контекста (как было предложено в комментарии к этому вопросу).
Существует 3 аналогичных случая, на основе требуется -expression:

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

class A { void f(); };

// #1: accepted by all
static_assert( ![](auto x){ return requires(decltype(x) a){ a.f(); }; }(A{}) );

// #2: rejected by Clang:
static_assert( ![](auto){ return requires(A a){ a.f(); }; }(nullptr) );

// #3: rejected by all
static_assert( !requires(A a){ a.f(); } );
< /code>
case #3 (и #2 в Clang) отклоняется с ошибкой: < /p>
error: 'f' is a private member of 'A'

demo: https://gcc.godbolt.org/z/3z5tdhrcp написан>

Подробнее здесь: https://stackoverflow.com/questions/707 ... mplate-for