Как проверить/предикат типа функции в Swift?

Question

Например:

 
func f(x: Int) -> Int { 
    return x 
} 


func h(f: @escaping (Int) -> Any) { 
    if (f is (Int) -> Int) { 
     print(f(1)) 
    } else { 
     print("invalid") 
    } 
} 


h(f: f) 

Я ожидаю, что это распечатать 1, но это на самом деле печатает invalid.

Answer 1

Там обходной путь с помощью дженериков:

func intF(x: Int) -> Int { 
    return x 
} 

func stringF(x: Int) -> String { 
    return "\(x)" 
} 

func h<T>(f: (Int) -> T) { 
    if (T.self == Int.self) { 
     print(f(1)) 
    } else { 
     print("invalid") 
    } 
} 

h(f: intF) // prints: 1 
h(f: stringF) // prints: invalid 

Answer 2

Использование Any почти всегда признак кода запаха, вы должны попытаться полагаться как можно больше о безопасности типа, что Swift обеспечивает. Вы можете добиться этого, сделав h общий, таким образом проверяемый во время компиляции.

// the overload that does the actual stuff 
func h(f: @escaping (Int) -> Int) { 
    print(f(1)) 
} 

// this maps to all other types 
func h<T>(f: @escaping (Int) -> T) { 
    print("invalid") 
} 

h { _ in return "15" } // Invalid 
h { 2 * $0 }   // 2 

Heck, вы можете даже отказаться от родовой перегрузки, таким образом, вы будете иметь для свободных проверок компиляции вместо сбоев во время выполнения (много, много надежных и прогнозирующих)

Answer 3

Вы можете переписать h в общий функция:

func h<T>(f: @escaping (Int) -> T) {   
    if T.self == Int.self { 
     print(f(1)) 
    } else { 
     print("invalid") 
    } 
} 

Но лучший способ писать перегруженные типа специфичные для h и общий улов-все для отдыха (если вам это нужно вообще).