История изменений
Исправление
mashina,
(текущая версия)
:
А как оно должно увидеть «выход за границу»? Это же нужно знать контракт класса std::vector, вывести который из кода вряд ли представляется возможным.
можно же понять что это именно std::vector и взять «контракты» из своей базы. Не обязательно валидировать и саму реализацию стандартных компонент. Компилятор, конечно, не обязан выходить за рамки формальной проверки, а статик чекер вполне себе может, это же как раз его работа.
Исходная версия
mashina,
:
А как оно должно увидеть «выход за границу»? Это же нужно знать контракт класса std::vector, вывести который из кода вряд ли представляется возможным.
можно же понять что это именно std::vector и взять «контракты» из своей базы. Не обязательно валидировать и саму реализацию стандартных компонент.