swift - 为什么函数不被视为命名类型？

Question

这直接来自 Swift 开发人员指南。

In Swift, there are two kinds of types: named types and compound types. A named type is a type that can be given a particular name when it is defined. Named types include classes, structures, enumerations, and protocols. For example, instances of a user-defined class named MyClass have the type MyClass. In addition to user-defined named types, the Swift standard library defines many commonly used named types, including those that represent arrays, dictionaries, and optional values. .... A compound type is a type without a name, defined in the Swift language itself. There are two compound types: function types and tuple types.

函数也有名字，为什么函数被认为是复合类型而不是命名类型？

Answer 1

函数既有名称又有类型。函数的名称单独表示该函数的名称；它不表示该函数的类型。

其实函数的名称和类型是相互独立的:

• 允许多个同名的函数有不同的类型，并且
• 允许具有相同类型的多个函数具有不同的名称。

下面是两个具有相同名称和不同类型的函数的示例:

func one(x: Double, y: Double) -> Bool {
    return true
}
func one(x: Double) -> Bool {
    return true
}

第一个函数的复合类型one是“一个接受 Double 和 Double 并返回 Bool 的函数”，而第二个函数的类型是 one是“接受 Double 并返回 Bool 的函数”。

下面是两个相同类型但名称不同的函数的示例:

func one(x: Double) -> Bool {
    return true
}
func two(x: Double) -> Bool {
    return false
}

这两个函数的复合类型是“一个接受 Double 并返回 Bool 的函数”。两种功能 one和 two是该复合类型的实例。