O
struct Foo { int x; };
Foo foo;
auto xPtr = &Foo::x;
if (xPtr) {
std::cout << "here" << std::endl;
}Size: a a a
2021 March 26
d
Имеет ли смысл проверять указатель на член на нулл, т.е. имеет ли смысл такой код?
Тут это не имеет никакого смысла, со включённой оптимизацией компилятор проверку вообще выкинет
O
Тут это не имеет никакого смысла, со включённой оптимизацией компилятор проверку вообще выкинет
Хотел было спросить "а если вместо xPtr будет нул", но решил проверить на годболте и сам все понял
BU
Видимо потому, что "указатель на член" это вовсе не указатель а целочисленное смещение
AE
Boris Usievich
Видимо потому, что "указатель на член" это вовсе не указатель а целочисленное смещение
а вы поняли, почему -1? наверное, с таким же успехом можно было 1 битик инвертировать в ст.разряде, а не все :)
BU
-1 потому что это не может быть валидным смещением поля
DF
Boris Usievich
Видимо потому, что "указатель на член" это вовсе не указатель а целочисленное смещение
+++
DF
member pointers are not pointersDF
всем заинтересованным могу посоветовать книжку
C++ object model липмана ,либо Itanium ABIAE
Boris Usievich
-1 потому что это не может быть валидным смещением поля
а 0x80000000, стало быть, может? :)
АК
Alexander E.
а вы поняли, почему -1? наверное, с таким же успехом можно было 1 битик инвертировать в ст.разряде, а не все :)
старший битик пришлось бы постоянно убирать
BU
Alexander E.
а 0x80000000, стало быть, может? :)
А почему бы и нет :)
d
Похоже в случае указателей на члены для
nullptr используется -1, а не 0Только зачем оно тебе не понятно...
O
Только зачем оно тебе не понятно...
Что именно? Детали реализации или указатель на член?
d
Что именно? Детали реализации или указатель на член?
И то и другое
O
И то и другое
Первое - из любопытства.
Второе - я сейчас пишу что-то вроде интерпретатора для своего ЯП, который будет работать с типами и объектами на C++, для этого такие типы мне нужно зарегистрировать в самописной RTTI. У каждого типа может быть набор "проперти", каждая "проперти" - это либо пара методов геттер/сеттер, либо поле.
Второе - я сейчас пишу что-то вроде интерпретатора для своего ЯП, который будет работать с типами и объектами на C++, для этого такие типы мне нужно зарегистрировать в самописной RTTI. У каждого типа может быть набор "проперти", каждая "проперти" - это либо пара методов геттер/сеттер, либо поле.