CD
std::vector<char> buf;
DWORD size;
GetTokenInformation(nullptr, &size);
buf.resize(size);
GetTokenInformation(buf.data(), &size);
auto* info = (TOKEN_INFO*)buf.data(); // <- !!!UB!!!!
Во-первых каст это не UB
Size: a a a
2020 May 05
A
Там запрещен доступ через lvalue неправильного типа, а кастовать сами указатели можно
ну мы кастуем, чтобы разыменовать, а не для красоты же
ПК
Там запрещен доступ через lvalue неправильного типа, а кастовать сами указатели можно
Ну после каста подразумевается доступ
CD
ну мы кастуем, чтобы разыменовать, а не для красоты же
void GetTokenInfo(char* buf, size_t size) {
new(buf) TOKEN_INFO{};
}A
Во-первых каст это не UB
окей, разыменование info - UB. Я предполагаю, что оно дальше в коде есть, иначе это всё бессмысленные действия
A
void GetTokenInfo(char* buf, size_t size) {
new(buf) TOKEN_INFO{};
}и как это относится к теме обсуждения?
CD
и как это относится к теме обсуждения?
ну ваш код убает при такой реализации GetTokenInfo?
AT
Да, с++23
CD
реализация компилятору не видна, так что это не важно. И я думаю, что да, убает
ну тогда у вас std::vector убает
CD
спорно, вся реализация вектора компилятору видна. Но это интересный вопрос, я не знаю, как вектор из char* получает T*
я читаю по указателю info область памяти, в которой процветает лайфтайм TOKEN_INFO, в чем проблема-то
CD
и есть ли там вообще char*. Он может выделять new T[N]
я уклонюсь от вызова деструктора char-ов, если он обязателен
A
я читаю по указателю info область памяти, в которой процветает лайфтайм TOKEN_INFO, в чем проблема-то
нельзя кастить char* в TOKEN_INFO*, и точка. В правилах strict aliasing нет вординга про лайфтайм.
CD
нельзя кастить char* в TOKEN_INFO*, и точка. В правилах strict aliasing нет вординга про лайфтайм.
а можно цитату из правил пожалуйста?
CD
я не зря про доступ говорил, strict aliasing это правила чтения/записи памяти
A
а можно цитату из правил пожалуйста?
https://gist.github.com/shafik/848ae25ee209f698763cffee272a58f8
пункт "What the C++17 Draft Standard say"
пункт "What the C++17 Draft Standard say"
CD
https://gist.github.com/shafik/848ae25ee209f698763cffee272a58f8
пункт "What the C++17 Draft Standard say"
пункт "What the C++17 Draft Standard say"
If a program attempts to access the stored value of an object through a glvalue of other than one of the following types the behavior is undefined
a cv-qualified version of the dynamic type of the object,
a cv-qualified version of the dynamic type of the object,