tipo di "Int -> Bool", "INT> Bool -> Int", "INT> String -> INT> Bool"

Question

C'è una func:

func (first: Int) -> Int -> Bool -> String { 

    return ? 
} 

Come scrivere il valore di ritorno? Sono così confuso riguardo al tipo di ritorno della funzione sopra riportata.

Answer 1

diciamo si definisce una chiusura

let closure: Int -> Bool 

una volta che il tipo di chiusura è nota (tipo di parametri e tipo di ritorno) , scrivendo è abbastanza semplice, si nomina la lista dei parametri, seguita dalla parola chiave in e poi il corpo della funzione (con un ritorno alla fine, se la funzione restituisce il tipo non è Void (a.k.un ())

// closure that returns if an integer is even 
closure = { integer in 
    return integer %2 == 0 
} 

Nel tuo caso, Int -> Int -> Bool -> String significa

• una funzione che prende un int come parametro e restituisce
  • una funzione che prende un int come parametro e restituisce
    • una funzione che accetta un Bool come parametro e restituisce
      • una stringa

Un modo di scrivere che in codice:

func prepareForSum(first: Int) -> Int -> Bool -> String { 
    return { secondInteger in 
     return { shouldSumIntegers in 

     var result: Int 
     // for the sake of example 
     // if boolean is true, we sum 
     if shouldSumIntegers { 
      result = first + secondInteger 
     } else { 
      // otherwise we take the max 
      result = max(first, secondInteger) 
     } 

     return String(result) 
    } 
} 

ora è possibile utilizzarlo come quella

let sumSixteen = prepareForSum(16) // type of sumSixteen is Int -> Bool -> String 

let result1 = sumSixteen(3)(true) // result1 == "19" 
let result2 = sumSixteen(26)(false) // result2 == "26" 

Answer 2

Leggere da destra verso sinistra quando si tratta di funzioni di parsing/chiusure di chiusura. Il più giusto è il tipo di ritorno, e puoi mettere il resto tra parentesi.

Così, il vostro dichiarazione di funzione è equivalente a

func (first: Int) -> ((Int) -> ((Bool) -> String)) 

e

func (first: Int)(_ second: Int)(_ third: Bool) -> String 

anche se questo modulo non sarà più supportato in Swift 3.0 (grazie @Andrea per il testa a testa).

Questo è noto come function currying. La funzione restituisce una funzione che accetta un argomento come Int e restituisce un'altra funzione che accetta un parametro Bool e restituisce un valore String. In questo modo è possibile collegare facilmente le chiamate alle funzioni .

Così il corpo del metodo deve restituire la prima funzione della lista, quella che ha la seguente firma:

func ((Int) -> ((Bool) -> String)) 

È quindi possibile chiamare in questo modo:

f(1)(2)(true)