Dlaczego usunięcie usunięcia daje mi błąd: oczekiwano "()", ale znalazłem

Question

Piszę szybką funkcję is_prime w rdzę, i byłem pod wrażeniem, po prostu pisanie true było odpowiednikiem return true;. Ale to nie jest przypadek w mojej funkcji:

fn is_prime(number: i64) -> bool { 
    for i in range(2i64, number) { 
     if number % i == 0 && i != number { 
      false 
     } 
    } 
    true 
} 

to jednak da mi błąd:

"Error mismatched types: expected `()` but found `bool` (expected() but found bool) 

zastępując true i false z return true;/return false; działa, ale dlaczego przy użyciu poprzedniego nie skompilować ?

Answer 1

Rdza jest zorientowana na ekspresję. W dowolnym bloku ostatnie wyrażenie w środku jest wartością bloku. Tak więc dla funkcji ostatnia wartość w bloku jest traktowana jako wartość zwracana.

W innych blokach jednak tak nie jest - ostatnia wartość jest mimo wszystko traktowana jako wartość bloku, a nie jako wartość zwracana dla funkcji.

Take fragment w izolacji z tylko trochę dodana dla jasności:

let has_factor = if number % i == 0 && i != number { 
    false 
} 

Oznacza to, że wynik z rachunku if jako całość jest false jeśli klauzula jest prawdą, a ta wartość jest następnie należycie wstawiony do zmiennej has_factor. Jeśli klauzula jest nie prawdziwa, wówczas zostanie oceniona klauzula else. Biorąc pod uwagę, że nie ma innej klauzuli, jest tak, jakby napisano else { }, co jest równoważne z else {() }. Ten inny blok ma wartość (), typ jednostki. Teraz mamy niedopasowanie: jest blok if (a więc zmienna has_factor) typu bool, jak wymaga blok if, lub (), ponieważ blok [brak] else wymaga? Tutaj pojawia się błąd.

Podsumowanie: nie można po prostu pominąć słowa kluczowego return, ponieważ nie jest to określenie orientacji wyrażenia. Pod koniec funkcji ,, sprowadzają się do tej samej rzeczy, a forma sans-return powinna być preferowana, ale w innych lokalizacjach nie są one równoważne i return muszą być wyraźne.

kod końcowy:

fn is_prime(number: i64) -> bool { 
    for i in range(2, number) { 
     if number % i == 0 && i != number { 
      return false; 
     } 
    } 
    true 
}