В продолжение темы offsetof. Вообще моя цель перейти от указателя на

Question

В продолжение темы offsetof. Вообще моя цель перейти от указателя на

член структуры к указателю на саму структуру. При этом я бы хотел работать с произвольным типом T, не требуя от него standard layout.

template <class T>
struct S {
T t;
int foo; // other fields are standard layout

static S* get_struct(T*);
};

Будет ли работать подход заключающийся в использовании буфера char для хранения T?

template <class T>
struct S {
alignas(T) char t[sizeof(T)];
int foo; // other fields are standard layout

static S* get_struct(T* t) {
return reinterpret_cast<S*>(t);
}
};

Нужно ли в данном случае делать два каста T* -> char* -> S*?

#c++ #embedded #programming #russian

0

15.05.2022

8 ответов

31 просмотр

magras Автор вопроса

Не знаю как я это упустил, но это решается банальным наследованием S от T без всяких извращений.

0

15.05.2022

Dmitry Sokolov

magras
Не знаю как я это упустил, но это решается банальн...

Ну если только T не value type.

0

15.05.2022

magras Автор вопроса

Bulat Ziganshin
так вроде очевидно было что ты эмулируешь наследов...

Мне нужно добавить метаинформацию к инстансу и получать ее через указатель на оригинальный инстанс. Без дополнительных аллокаций.

0

15.05.2022

Bulat Ziganshin

magras
Мне нужно добавить метаинформацию к инстансу и пол...

в смысле на базовый класс?

0

15.05.2022

magras Автор вопроса

Dmitry Sokolov
Ну если только T не value type.

Да, хорошее замечание.

0

15.05.2022

magras Автор вопроса

Bulat Ziganshin
в смысле на базовый класс?

Метаинформацией в оригинальном примере был foo, типом к которому добавляется информация - T.

0

15.05.2022

Dmitry Sokolov

magras
Не знаю как я это упустил, но это решается банальн...

Чот вспомнились boost member hooks, там ещё интереснее извращения, извлечение offsetof из pointer to member: https://github.com/boostorg/intrusive/blob/c03b16b269e89db178223bfe35c5ea2084e12c96/include/boost/intrusive/detail/parent_from_member.hpp

0

15.05.2022

Bulat Ziganshin · Accepted Answer

Bulat Ziganshin

magras
Не знаю как я это упустил, но это решается банальн...

так вроде очевидно было что ты эмулируешь наследование. но например S в твоей модели был standard layout, а с наследованием не будет (поскольку поля объявляются и в S и в T): Has all non-static data members and bit-fields declared in the same class (either all in the derived or all in some base)

0

15.05.2022

170 похожих чатов

В продолжение темы offsetof. Вообще моя цель перейти от указателя на

8 ответов

Похожие вопросы