История изменений
Исправление provaton, (текущая версия) :
а о том что в конечном бинаре уже всего этого быть не должно
В конечном бинаре не будет проверок типов, проверок лайфтаймов, и прочего. Но проверка корректности индекса массива будет, так как на этапе компиляции размер массива не известен. :) Можно запросить элемент массива без проверки, но это ансейф уже https://doc.rust-lang.org/std/primitive.slice.html#method.get_unchecked
В частности поэтому проверка регуляркой может быть быстрее, чем проверка через contains. Регулярки в расте очень отимизированны, в том числе и через SIMD. Конечно, такие оптимизации это ансейф.
Исходная версия provaton, :
а о том что в конечном бинаре уже всего этого быть не должно
В конечном бинаре не будет проверок типов, проверок лайфтаймов, и прочего. Но проверка корректности индекса массива будет, так как на этапе компиляции размер массива не известен. :) Можно запросить элемент массива без проверки, но это ансейф уже https://doc.rust-lang.org/std/primitive.slice.html#method.get_unchecked