Я пытаюсь написать требование, чтобы проверить, что у структуры есть элемент с данным именем и что она на первом месте в структуре. Адрес первого элемента структуры (по крайней мере стандартной макеты) должен иметь тот же адрес, что и охватывающий структуру, без прокладки в начале. Но так как указатели обычно не являются постоянными временем компиляции, я ожидаю, что это не компилируется. Но все это компилируется, хотя требование, тогда неправильно проходит.
Код: Выделить всё
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