Как использовать протокол с typealias как параметр func?

Question

Следующий код:

protocol ProtocolA { 
} 

protocol ProtocolB { 
    typealias T: ProtocolA 
    var value : Array<T> { get set } 
} 

class ProtocolC { 
    func method<T: ProtocolA>(value: ProtocolB<T>) 
    { 

    } 
} 

Урожайность эти ошибки:

error: cannot specialize non-generic type 'ProtocolB' 
func method<T: ProtocolA>(value: ProtocolB<T>) 

error: generic parameter 'T' is not used in function signature 
func method<T: ProtocolA>(value: ProtocolB<T>) 

error: protocol 'ProtocolB' can only be used as a generic constraint because it has Self or associated type requirements 
func method<T: ProtocolA>(value: ProtocolB<T>) 

Может кто-нибудь объяснить мне, почему это не возможно? Это ошибка или умышленное?

Answer 1

Вы не можете специализироваться общий протокол с <>.

Вместо этого, вы можете:

func method<B: ProtocolB where B.T: ProtocolA>(value: B) { 
} 

Это говорит, method принимает B где B соответствует ProtocolB и его T соответствует ProtocolA.

И в этом случае вам не нужно where B.T: ProtocolA, потому что это очевидно.

func method<B: ProtocolB>(value: B) { 
    ... 
} 

Answer 2

Удалить <T> после аргумента B в определении method. Вам также не нужен <T: ProtocolA> в сигнатуре метода.

protocol ProtocolA { 
} 

typealias T = ProtocolA 

protocol ProtocolB { 
    var value : [T] { get set } 
} 

class ProtocolC { 
    func method(value: ProtocolB) 
    { 

    } 
}