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

Question

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

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

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

#c++ #embedded #programming #russian

0

14.04.2022

14 ответов

9 просмотров

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 ответов

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