VO
какая разница, на член или на функцию-член? как будто класс можно по-кускам описывть
Size: a a a
2020 March 26
CD
какая разница, на член или на функцию-член? как будто класс можно по-кускам описывть
большая, они очень разные по структуре
VO
они оба описываются внутри класса, а начав описывать класс ты не можешь что-то оставить на потом
VO
я про синтаксический аспект
CD
struct A {
int x;
void foo();
};
static_assert(sizeof(&A::x) == sizeof(void*));
static_assert(sizeof(&A::foo) == 2*sizeof(void*));CD
они оба описываются внутри класса, а начав описывать класс ты не можешь что-то оставить на потом
так вопрос в доступе/вызове, а не инициализации
VO
struct A у тебя тут полный
VO
а вот напиши просто strcut A; и дальше я думаю у тебя ничего не сработает
MD
Коллеги, так подскажите по моему кейсу? Код то компилится, но не вызывает ли он UB?
CD
Коллеги, так подскажите по моему кейсу? Код то компилится, но не вызывает ли он UB?
так в нем нет никакого incomplete type
ПК
Коллеги, так подскажите по моему кейсу? Код то компилится, но не вызывает ли он UB?
У тебя в любом случае функции члены шаблонного класса скомпилируются в foo только (при использовании), а там типа все типы полные
MD
так в нем нет никакого incomplete type
Тогда вот так: https://godbolt.org/z/RsLvLw тип
control_block остаётся incompleteCD
Вот если заставить инстанцировать метод до тела control_block, очень сильно подозреваю IFNDR
ПК
Тогда вот так: https://godbolt.org/z/RsLvLw тип
control_block остаётся incompleteТо же самое
ПК
Шаблон не компилируется полноценно пока не будет заюзан
ПК
Там можно разную дичь писать в методах
CD
struct A;
void f(A* a, void (A::*f)()) {
(a->*f)(); //OK o_O
}
MD
То же самое
Позвольте,
control_block всё же incomplete в контексте fooMD
struct A;
void f(A* a, void (A::*f)()) {
(a->*f)(); //OK o_O
}
ну вот как бы да, это и смутило
ПК
Позвольте,
control_block всё же incomplete в контексте fooДа, не заметил