Swift 2.0: невозможно передать общий параметр в качестве параметра

Question

Почему это не работает (даже если контейнер соответствует уникальному протоколу.) И как будет выглядеть наилучшее обходное решение?

protocol Unique { 
    var uniqueId: String {get} 
} 

struct Container <T>: Unique { 
    typealias UnderlyingObject = T 
    var object: UnderlyingObject 
    var uniqueId: String 
} 

func myFunc(protocolClosure: (Unique, Unique) -> Unique) { 
    print("...") 
} 

func problemStartsHere<T,S,U>(paramClosure: (Container<T>, Container<S>) -> Container<U>) { 
    myFunc(paramClosure) 
} 

Answer 1

Компилятор показывает это предупреждение по какой-либо причине: myFunc ожидает закрытия, которое работает для любого вида Unique не только Container<T>.

Вы должны использовать общую версию функции вместо:

func myFunc<A: Unique, B: Unique, C: Unique>(protocolClosure: (A, B) -> C) { 
    print("...") 
} 

EDIT: Предположим, вы хотите назвать вашу функцию problemStartsHere так:

problemStartsHere { (c1: Container<Int>, c2: Container<Int>) -> Container<Int> in 
    print(c1.object, c2.object) 
    return c1 
} 

Обратите внимание, что функция использует Container - специфическое свойство object. Не так, как именно компилятор должен создать закрытие, которое работает на любом Unique? Он не может работать так, потому что это не имеет смысла, такая функция не может работать ни на одном Unique.

Answer 2

Проблема здесь одна из дисперсии, хотя и не совсем дисперсия вы ищете. Поскольку вы проходите закрытие, вы действительно пытаетесь совместить подпись метода, а не значение, переданное или возвращаемое из самого метода. Это может вызвать проблемы, если, скажем, myFunc попытался вызвать замыкание с использованием параметра типа, отличного от Container<T>, - и поскольку он ожидает, что любой Unique будет приемлемым для этого вызова, он будет скомпилировать только штраф.

Answer 3

Проблема - это возвращаемое значение. В то время как вы можете передать любой параметр Container<...> в Unique, возвращаемое значение типа Unique не может быть отнесено к Container<...>. Вот почему тип замыкания (Container<...>, Container<...>) -> Container<...> не может быть отлит до (Unique, Unique) -> Unique.