swift - 使用和不使用默认参数声明的调用函数会导致不同的结果？

Question

我在 Playground 上出于测试(学习)目的编写了这段代码:

import Cocoa
func DoIt(a: Int, b: Int, c :Int = 0) -> Int {
    return a + b + c;
}
func DoIt(a: Int, b: Int, c :NSObject) -> Int {
    return a * b * c.description.lengthOfBytesUsingEncoding(NSUTF8StringEncoding);
}

当我使用它时，我得到了这个:

DoIt(4, 5, 6);            // result: 20
var obj = NSObject();     // result: NSObject
DoIt(4, 5, obj);          // result: 520

我希望在执行 DoIt(4, 5, 6); 时调用第一个函数 DoIt(Int, Int, Int) 但显然正在调用另一个函数。 6 去哪儿了？看起来 6 被隐式转换为 NSObject，在 objective-c 中至少会发出警告。
这是为什么？

奇怪的是，如果我使最后一个 c: Int 成为必需的(通过删除 = 0)，那么它会按预期工作。

DoIt(4, 5, 6);            // result: 15
var obj = NSObject();     // result: NSObject
DoIt(4, 5, obj);          // result: 520

---

Edit1:添加了 IR
如果这有助于理解发生了什么，我发出了以下命令，结果在要点链接中:https://gist.github.com/nacho4d/94fdb72d8a3fee0c09e5

$ swiftc \
   -emit-ir /Users/nacho4d/Desktop/function2/function2/main.swift \
   -sdk Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.10.sdk 

Answer 1

来自 "Functions"在 Swift 文档中(添加了重点):

External Names for Parameters with Default Values

In most cases, it is useful to provide (and therefore require) an external name for any parameter with a default value. This ensures that the argument for that parameter is clear in purpose if a value is provided when the function is called.

To make this process easier, Swift provides an automatic external name for any parameter that has a default value. The automatic external name is the same as the local name, as if you had written a hash symbol before the local name in your code.

所以你的第一个函数声明

func DoIt(a: Int, b: Int, c : Int = 0) -> Int

被编译器视为

func DoIt(a: Int, b: Int, c c : Int = 0) -> Int

第三个参数的外部参数名称为“c”。这个功能必须被称为

DoIt(4, 5, c: 6)   // result: 15

但是电话

DoIt(4, 5, 6)

不匹配第一个函数的声明，只匹配另一个函数的声明

func DoIt(a: Int, b: Int, c :NSObject) -> Int

(第三个参数自动桥接到NSNumber，它是一个子类NSObject)。这就是您获得“意外”输出的原因。

如果将第一个函数的声明改为

func DoIt(a: Int, b: Int, _ c : Int = 0) -> Int

(其中 _ 代表“无外部参数名称”)然后你会得到预期的输出:

DoIt(4, 5, 6)   // result: 15