C ++ 20 Концепции Проверка требования к адресу указателя с компиляцией ⇐ C++

[Anonymous]

Я пытаюсь написать требование, чтобы проверить, что у структуры есть элемент с данным именем и что она на первом месте в структуре. Адрес первого элемента структуры (по крайней мере стандартной макеты) должен иметь тот же адрес, что и охватывающий структуру, без прокладки в начале. Но так как указатели обычно не являются постоянными временем компиляции, я ожидаю, что это не компилируется. Но все это компилируется, хотя требование, тогда неправильно проходит.

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

template
concept has_first_member = requires(T &s) {
(static_cast(&s) == static_cast(&s.next));
};
< /code>
Итак, данный < /p>
struct mystruct{
int first;
int second;
int next;
};

Требование неправильно примет это как действительное.
может кто -нибудь объяснить поведение?

Подробнее здесь: https://stackoverflow.com/questions/794 ... ment-check