以下代码：
protocol SomeProtocol {
typealias SomeType = Int // used typealias-assignment
func someFunc(someVar: SomeType)
}
class SomeClass: SomeProtocol {
func someFunc(someVar: SomeType) {
print(someVar)
}
}
给出编译时错误：
使用未声明的类型“SomeType”
将typealias SomeType = Double 添加到SomeClass 可以解决错误。
问题是，协议关联类型声明的 typealias-assignment 部分（顺便说一句是可选的）有什么意义？
【问题讨论】：
在这种情况下，将Int 分配给typealias 等于没有分配，因为它会被您的符合类型覆盖：
// this declaration is equal since you HAVE TO provide the type for SomeType
protocol SomeProtocol {
typealias SomeType
func someFunc(someVar: SomeType)
}
这样的赋值为SomeType 提供了一个默认类型，它会被SomeClass 中的实现覆盖，但它对于协议扩展特别有用：
protocol Returnable {
typealias T = Int // T is by default of type Int
func returnValue(value: T) -> T
}
extension Returnable {
func returnValue(value: T) -> T {
return value
}
}
struct AStruct: Returnable {}
AStruct().returnValue(3) // default signature: Int -> Int
只有遵守协议，不指定T的类型，才能免费获得该功能。如果您想设置自己的类型，请在结构体中写入typealias T = String // or any other type。
关于提供的代码示例的一些附加说明
您解决了问题，因为您明确说明了参数的类型。 Swift 还会推断您使用的类型：
class SomeClass: SomeProtocol {
func someFunc(someVar: Double) {
print(someVar)
}
}
所以协议的SomeType被推断为Double。
另一个例子，你可以看到类声明中的SomeType 没有引用协议：
class SomeClass: SomeProtocol {
typealias Some = Int
func someFunc(someVar: Some) {
print(someVar)
}
}
// check the type of SomeType of the protocol
// dynamicType returns the current type and SomeType is a property of it
SomeClass().dynamicType.SomeType.self // Int.Type
// SomeType gets inferred form the function signature
但是，如果你这样做：
protocol SomeProtocol {
typealias SomeType: SomeProtocol
func someFunc(someVar: SomeType)
}
SomeType 必须是 SomeProtocol 类型，它可以用于更明确的抽象和更多的静态代码，而这个：
protocol SomeProtocol {
func someFunc(someVar: SomeProtocol)
}
将被动态调度。
【讨论】：
typealias SomeType = Int 等于typealias SomeType）
协议中有关“associated types”的文档中有一些重要信息。
它们在整个标准库中的使用非常丰富，例如参考SequenceType 协议，它为Generator 声明了一个typealias（并指定它符合GeneratorType）。这允许协议声明引用该别名类型。
在您使用 typealias SomeType = Int 的情况下，您的意思可能是“我希望 SomeType 被限制为类似整数的行为，因为我的协议方法将依赖于该约束” - 在在这种情况下，您可能希望在您的协议中使用typealias SomeType: IntegerType，然后在您的课程中继续为符合IntegerType 的别名分配一个类型。
更新
在向 Apple 提出了一个错误并围绕它进行了广泛的讨论后，我已经了解了这个问题的核心问题：
当遵守协议时，您不能直接引用仅在该协议中声明的关联类型
（但是请注意，当扩展协议时，相关类型可用，正如您所期望的那样）
所以在你的初始代码示例中：
protocol SomeProtocol {
typealias SomeType = Int
func someFunc(someVar: SomeType)
}
class SomeClass: SomeProtocol {
func someFunc(someVar: SomeType) { // use of undeclared type "SomeType"
print(someVar)
}
}
...错误回复：“使用未声明的类型”是正确的，您的类SomeClass 没有声明类型SomeType
但是，SomeProtocol 的扩展可以访问关联的类型，并且可以在提供实现时引用它：
（请注意，这需要使用where 子句来定义对关联类型的要求）
protocol SomeProtocol {
typealias SomeType = Int
func someFunc(someVar: SomeType)
}
extension SomeProtocol where SomeType == Int {
func someFunc(someVar: SomeType) {
print("1 + \(someVar) = \(1 + someVar)")
}
}
class SomeClass: SomeProtocol {}
SomeClass().someFunc(3) // => "1 + 3 = 4"
【讨论】：
great article 实际上可以回答您的问题。我建议每个人都阅读它以了解类型别名和使用它时出现的一些更高级的内容。
来自网站的引用：
从概念上讲，Swift 中没有通用协议。但是通过使用 typealias 我们可以为另一个类型声明一个必需的别名。
【讨论】：