Qraizer: Конкретно тут если, то зачем ей наращиваться-то? Размер вектора от этого не изменится, а если изменится, то его снова надо брать от самого вектора.
А в целом, в коде всё есть, что может оказаться нужным: как получить общий тип, как обработать разную знаковость, как проконтролировать диапазон результата. На его основе накидать какой-нибудь template class Checked; можно несложно. И использовать потом Checked, например, вместо сырого int. В арифметических операциях можно либо заранее проверять диапазон результата для самого широкого типа, либо выполнять операции над более широким типом с последующим кастом. При смешении типов делать то же, но над common_type аргументов с учётом разной знаковости. Метакод выйдет несложный. С указателями и ссылками на Checked<> могут возникнуть сложности при смешении своего и стороннего кода, но и в Delphi возникли бы похожие сложности, если готовые модули брать.

https://forum.sources.ru/index.php?showtopic=420865&view=findpost&p=3842412