Почему "возврат -1;" не является частью условного утверждения в вызове алгоритма двоичного поиска Академии Хана?

Question

Я работаю над проблемой алгоритма бинарного поиска в Академии Хана и провела поиск на этом сайте по вопросам, связанным с этой задачей, но не нашла ничего похожего на мою.

Мой вопрос, почему return -1; выражение не является частью условного оператора, так что результат -1 возвращается только в том случае, если искомое простое число отсутствует в массиве?

Мне удалось решить задачу самостоятельно, но это потому, что эта часть функции уже предоставлена ​​задачей. Так что я не понимаю, почему в функции ниже, return -1; приходит в конце после while цикл и, кажется, применяется в любых условиях. Это может показаться мне результатом -1 или нет targetValue находится в массиве (хотя на самом деле это не так, и функция работает как надо).

/* Returns either the index of the location in the array,
  or -1 if the array did not contain the targetValue */
var doSearch = function(array, targetValue) {
    var min = 0;
    var max = array.length - 1;
    var guess;
    while(min <= max) {
        guess = Math.floor((max + min)/2);
        if(array[guess]===targetValue) {
            return guess;
        }
        else if(array[guess] < targetValue) {
            min = guess + 1;
        }
        else {
            max = guess - 1;
        }
        println(guess);
    }
    return -1;
};
var primes = [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 
        41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97];

var result = doSearch(primes, 73);
println("Found prime at index " + result);

Answer 1

Если число найдено, оператор return внутри цикла while передаст управление программой вызывающей функции. Другими словами, это выйдет из функции.

Если min > max, это означает, что данное число не может быть найдено, и оно выйдет из цикла while и вернет -1.