Если старые исходники можно модифицировать, то можно просто знаковый счетчик

Question

Если старые исходники можно модифицировать, то можно просто знаковый счетчик

использовать

если нельзя, то что, у всего кода, включая заголовки сторонних библиотек, забирать гарантию стандарта на поведение при переполнении size_t?

#c++ #embedded #programming #russian

0

14.04.2022

14 ответов

23 просмотра

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

Kelbon
интересно как поведёт себя вектор при переполнении...

интересно, как вы будете доказывать, что вся ваша кодовая база не полагается на поведение при переполнении size_t

0

14.04.2022

Kelbon

Vlad
интересно, как вы будете доказывать, что вся ваша ...

почему вся то? Я не предлагаю изменить поведение size_t, а аттрибут или что то такое поставить

0

14.04.2022

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

Kelbon
почему вся то? Я не предлагаю изменить поведение s...

возвращаемся к первому вопросу: если вы можете модифициировать код, чтобы расставить атрибуты, почему вы не можете просто заменить беззнаковые счетчики на знаковые

0

14.04.2022

Kelbon

я поставлю у себя аттрибут а компилятор уже потом увидит что переполнение можно не учитывать и оптимизирует и стандартную библиотеку в том числе

0

14.04.2022

Stas Koynov

Kelbon
я поставлю у себя аттрибут а компилятор уже потом ...

что она должна делать в этом случае? ну у вас 32х битная система вы создали вектор (байтовый) на все адресное простратнство?

0

14.04.2022

Kelbon

Stas Koynov
что она должна делать в этом случае? ну у вас 32х ...

а что в этом случае произойдет сейчас?..

0

14.04.2022

Stas Koynov

Kelbon
а что в этом случае произойдет сейчас?..

у вас память кончиться раньше чем счетчик дойдет до максимума.

0

14.04.2022

Kelbon

Vlad
возвращаемся к первому вопросу: если вы можете мод...

я хочу гарантию >= 0, но также хочу гарантию не переполнения

0

14.04.2022

Stas Koynov

Kelbon
я хочу гарантию >= 0, но также хочу гарантию не пе...

ну напишите свой тип с нужными гарантиями. мне вот в микроконтроллере нужно что когда счетчик достиг максимума и я делают ++ я получаю 0.

0

14.04.2022

Kelbon

Stas Koynov
ну напишите свой тип с нужными гарантиями. мне вот...

как блин я сделаю свой тип с ТАКОЙ гарантией ДЛЯ КОМПИЛЯТОРА?

0

14.04.2022

Andrew Revvo

Kelbon
я хочу гарантию >= 0, но также хочу гарантию не пе...

Ручные гарантии гибче автоматических. Проверки вставлять можно где вам нужно, а где не нужно, все можно вычислять без проверок.

0

14.04.2022

Kelbon

Andrew Revvo
Ручные гарантии гибче автоматических. Проверки вст...

да каких блин проверок, компилятор не имеет гарантии что не переполнится

0

14.04.2022

Ofee Oficsu

Vlad
возвращаемся к первому вопросу: если вы можете мод...

Знаковые отличаются от беззаконных не только гарантиями при переполнении, но ещё и их семантикой. Поэтому кажется разумным отделить знаковость/беззнаковость от наличия/отсутствия гарантий. Почему эти два свойства должны непременно идти вместе, кроме мне непонятно (ну, корме того, что это историческое наследие)

0

14.04.2022

Kelbon · Accepted Answer

Kelbon

интересно как поведёт себя вектор при переполнении size _t..

0

14.04.2022

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

Если старые исходники можно модифицировать, то можно просто знаковый счетчик

14 ответов

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