methods - programming - swift method

La aplicación parcial del método de protocolo no está permitida

Question

¿Alguien puede explicar este error y por qué esto funciona con el cierre?

Si cambia ''Prueba'' a ''A'' dentro de la clase ''B'', todo funciona en ambos casos.

beta 7

protocol Test {
func someFunc() -> String
var someClosure: () -> Int { get }
}
class A: Test {
func someFunc() -> String {
return "A String"
}
var someClosure: () -> Int {
return {
return 2
}
}
}
class B {
let a: Test
let aString: () -> String
let aInt: () -> Int
init(a: Test){
self.a = a
aString = a.someFunc // Error: Partial application of protocol method is not allowed
aInt = a.someClosure // Works fine
}
}

ACTUALIZAR

También aquí está mi extraña colección de fallas de segmentación https://gist.github.com/aleksgapp/795a2d428008bdfa4823

No dude en comentar si tiene alguna idea sobre alguna.

Answer 1

Por lo tanto, no puedo hablar de por qué se comporta así, pero encontré una solución alternativa. Prueba esto:

aString = { return a.someFunc() }

Answer 2

ACTUALIZACIÓN (gracias a Laszlo Korte)

Desde Xcode 7 Beta 2 con Swift 2.0 Notas de la versión: Los métodos no mutantes de estructuras, enumeraciones y protocolos ahora se pueden aplicar parcialmente a su parámetro "propio".

Por ejemplo:

let a: Set<Int> = [1, 2]
let b: [Set<Int>] = [[1], [3]]
b.map(a.union) // [[1, 2], [1, 2, 3]]

RESPUESTA ORIGINAL (correcta para Xcode 6 con Swift 1.2)

El protocolo puede ser adoptado por clase, estructura o enumeración . En los dos últimos casos no se permite la aplicación parcial de la estructura o el método de enumeración y se obtiene "La aplicación parcial del método de protocolo no está permitida" porque a: Test puede ser de estructura o enumeración.

El método o función parcialmente aplicado es, en otras palabras, curried method or function . Entonces, cuando escribes a.someFunc intentas aplicar este método parcialmente, es decir, obtener referencia al cierre que implícitamente contiene referencia a a . Pero las estructuras y las enumeraciones no son tipos de referencia, son tipos de valores y no hay referencia a a .