CD
я читаю TOKEN_INFO& из области, в которой создан TOKEN_INFO
Size: a a a
2020 May 05
CD
может, я чего-то недопонял, но всё равно не верю, что так можно
у вас неправильное понимание, что UB создает сам по себе каст. UB возникает, когда вы неправильно показываете компилятору тип объекта, который читаете/пишете в памяти
A
я читаю TOKEN_INFO& из области, в которой создан TOKEN_INFO
думаю, что если компилятор С++ не видел, что там создан TOKEN_INFO, то это УБ. А он не видел, хотя бы потому, что не видел исходного кода порождающей функции.
CD
думаю, что если компилятор С++ не видел, что там создан TOKEN_INFO, то это УБ. А он не видел, хотя бы потому, что не видел исходного кода порождающей функции.
Это, конечно же, неверно. А если компилятор не видит, что там барьер памяти, что, можно и перед WriteFile в буфер не писать?
CD
думаю, что если компилятор С++ не видел, что там создан TOKEN_INFO, то это УБ. А он не видел, хотя бы потому, что не видел исходного кода порождающей функции.
А представьте, что будет, если ваш компилятор не увидит код printf и блокировки мьютекса и переставит вызовы местами
CD
какого мьютекса?
мой код
mydll_lock(mutex);
myddl_printf("Hello, world!");
mydll_unlock(mutex);
mydll_lock(mutex);
myddl_printf("Hello, world!");
mydll_unlock(mutex);
CD
а, понял
ну так он считает, что у printf неизвестные побочные эффекты, поэтому и не сделает так
ну так он считает, что у printf неизвестные побочные эффекты, поэтому и не сделает так
у функции GetTokenInformation есть неизвестные побочные эффекты, если вам так проще
CD
в частности, её вызов может изменять фактические типы размещенных в памяти объектов
ПК
А представьте, что будет, если ваш компилятор не увидит код printf и блокировки мьютекса и переставит вызовы местами
Я считаю что уб-ость не зависит от способностей компилятора видеть код. Если в следующей версии компилятор станет экстрасенсом и сможет увидеть код в dll, то что уб возникнет? Но уб возникает не от действий компилятора, а от нарушения стандарта
CD
Я считаю что уб-ость не зависит от способностей компилятора видеть код. Если в следующей версии компилятор станет экстрасенсом и сможет увидеть код в dll, то что уб возникнет? Но уб возникает не от действий компилятора, а от нарушения стандарта
> Если в следующей версии компилятор станет экстрасенсом и сможет увидеть код в dll, то что уб возникнет?
Да
Да
CD
Придется костылять все имеющиеся компиляторы
ПК
> Если в следующей версии компилятор станет экстрасенсом и сможет увидеть код в dll, то что уб возникнет?
Да
Да
Считаю, что это неверное понимание уб
CD
Считаю, что это неверное понимание уб
Считай :) Стандарт С++ не регламентирует экстрасенсорные способности и машинный код в dll (пока что)