Стандарты, соответствующий способу записи массивных проверок в C или C ++, которые не могут быть оптимизированы? ⇐ C++

[Anonymous]

Есть ли соответствующий стандартам, который не может быть оптимизирован для написания границ проверки C или C ++? Поскольку компилятор может предположить, что поведение UB никогда не произойдет, это означает, что он может просто выбросить мой оператор IF, поскольку это никогда не произойдет во время определенного кода.const int array_size = 4;
int getAt(int ar[array_size], int index) {
if (index >= 0 && index < array_size) {
return ar[index];
} else {
return 0;
}
}
< /code>
Компилятор может оптимизировать проверку границ, потому что AR [индекс] является неопределенным поведением, если условие является ложным. Поскольку компилятор может предположить, что неопределенное поведение никогда не происходит, условие всегда должно быть истинным. < /P>
Таким образом, код эквивалентен следующему в соответствии со стандартом, я полагаю.const int array_size = 4;
int getAt(int ar[array_size], int index) {
return ar[index];
}
< /code>
Настоящие компиляторы могут помириться с нами и не подправлять наши попытки написать проверки безопасности, но мне интересно о стандартах. < /p>
Является ли мое понимание правильно? Если так, есть ли способ написать это, который по стандартам, проверка границ не может быть оптимизирована? Если нет пути, как стандартная библиотека C ++ реализует такие методы, как Vector :: с которыми имеют границ проверки в соответствии со спецификацией?

Подробнее здесь: https://stackoverflow.com/questions/797 ... cant-be-op