Эффективный способ проверки имущества из большого набора данных внутри цикла

Question

Пожалуйста, рассмотрите этот общий кусок кода:

for j = 0 to (Array.length myArray) - 1 do 
    if property.(id) then 
     (* do a bunch of stuff*) 
done 

Здесь property очень большой массив логических значений. В этом эксперименте мы имеем 2 случая:

• в 1-й, property.(id) всегда правда.

• Во втором, property.(id) может быть либо истинным или ложным.

Мы хотим, чтобы 2-й случай выиграл, так как он пропускает выполнение кода. Но этого не происходит из-за кондиционирования ветвей. Мы также пробовали разбивку property вместо инструкции if, но 1-й случай все еще выигрывает. (Это все предложения членов сообщества OCaml).

Наша проблема : мы можем обнаружить свойство, которое позволяет нам пропустить часть кода. Но использование большого логического массива для сохранения того элемента, который имеет это свойство, делает проверку самого свойства медленнее, чем сохраненное выполнение кода.

Таким образом, вопрос сейчас более общий: какой лучший способ реализации этой проблемы?

Мы действительно ценим любое предложение сообщества.

Answer 1

Прочитав подобный вопрос здесь Why is it faster to process a sorted array than an unsorted array?, лучшее решением для моего кода, чтобы написать безфилиальное состояние, как это было предложено в разделе Так что можно сделать? ответа.

Answer 2

На мой взгляд, есть два возможных решения вашей проблемы:

• Если вы все еще хотите использовать для цикла, то я предлагаю использовать исключение для выхода из для цикла

  exception YourExn of something 
  
  try 
      for j = 0 to (Array.length property) - 1 do 
      if property.(id) then 
       (* do a bunch of stuff*) 
      else raise (YourExn result) 
      done 
  with YourExn res -> (* do something *) 
  

  исключение YourExn чего-то

• Другим решением является просто написать рекурсивную функцию вместо того, чтобы использовать для цикла. Я предлагаю использовать это решение, так как использование рекурсивной функции является своего рода стандартом в функциональном программировании.

  let rec traverse property id = 
      if id > (Array.length property) then 
      (* exit *) 
      else if property.(id) then 
      (* do a bunch of stuff*) 
      traverse property (id + 1) 
      else 
      (* exit *) in 
  
  traverse property 0