A
На гитхабе github.com/cplusplus/papers/issues
поиск по 0593 дал 0 результатов
Size: a a a
2020 May 05
A
Запрещен не каст, а использование результатов этого каста для чтения/записи, так что с вызовом винапи функции (да и любой С функции, скажем, strlen), код которой заведомо недоступен C++ компилятору, все хорошо
я так понял, проблема не передать в С, а разобрать в С++ данные, которые функция заполнила
CD
я так понял, проблема не передать в С, а разобрать в С++ данные, которые функция заполнила
С++ компилятор обязан считать, что эта функция могла изменить данные как положено, так что проблем нет
ПК
Запрещен не каст, а использование результатов этого каста для чтения/записи, так что с вызовом винапи функции (да и любой С функции, скажем, strlen), код которой заведомо недоступен C++ компилятору, все хорошо
Ну вот я и говорю что либо эту функцию нельзя юзать в с++, либо (её все юзают) msvc не будет это ломать оптимизациям никогда.
CD
преобразование Nominal* -> Random* -> Nominal* через reinterpret_cast разрешено, так что компилятор никак не может предполагать, что если Random* передан как параметр в недоступный код, то исходный *(Nominal*) не изменялся
CD
Ну вот я и говорю что либо эту функцию нельзя юзать в с++, либо (её все юзают) msvc не будет это ломать оптимизациям никогда.
см. выше
ПК
см. выше
Дак каст произойдет в с++ коде, я не понимаю к чему сообщение выше
CD
Дак каст произойдет в с++ коде, я не понимаю к чему сообщение выше
ну напиши пример кода и почему по-твоему это убнет
CD
а я тебе построю корректную с точки зрения С++ реализацию GetTokenInformation
ПК
преобразование Nominal* -> Random* -> Nominal* через reinterpret_cast разрешено, так что компилятор никак не может предполагать, что если Random* передан как параметр в недоступный код, то исходный *(Nominal*) не изменялся
Вроде понял
CD
Дак каст произойдет в с++ коде, я не понимаю к чему сообщение выше
короче, принцип очень простой: extern "C" strlen грубо выходит за границы массива, это UB в C++ и не имеет никаких последствий до тех пор, пока С++ компилятор не знает код strlen
CD
при этом, увы, компилятор С++ попросту обязан предполагать совершенно любую возможную реализацию, так что extern "C" функция совершенно точно захватывает и отпускает мьютекс и записывает все переданные и глобальные переменные по их номинальному типу
CD
что характерно, это в точности то же самое, что происходит с виртуальными вызовами
ПК
преобразование Nominal* -> Random* -> Nominal* через reinterpret_cast разрешено, так что компилятор никак не может предполагать, что если Random* передан как параметр в недоступный код, то исходный *(Nominal*) не изменялся
Хмм, в случае GetTokenInformation у нас Nominal это не тип TOKEN_MY_INFO, а массив байт как раз. В этом и заключается особенность. Там не обычная структура, а с хвостом из данных
ПК
То есть тут как раз каст
char* -> char*(или void*, не помню) -> TOKEN_INFO*
char* -> char*(или void*, не помню) -> TOKEN_INFO*
ПК
Не уверен что это валидно
DF
Так чар не портит альясинг
DF
Его хоть реинтерпретом ебашь
ПК
Dollar Føølish
Так чар не портит альясинг
Есть мнение что каст char* -> T* некорректен
DF
А, вон что