重載方法，其中只有差異是可選與非可選類型

Question

我的印象是，swift可能重載的方法僅在方法返回的對象類型上有所不同。我認爲我可以使用兩個具有相同簽名的funcs，但它們在返回類型上有所不同。

import Foundation 

// ambiguous use of 'IsTextEmpty(text:)' 
func IsTextEmpty(text : String?) -> Bool? { 
    return text?.isEmpty 
} 

func IsTextEmpty(text : String?) -> Bool { 
    guard let text = text else { 
    return true 
    } 

    return text.isEmpty 
} 

let text: String? = nil 

if let empty = IsTextEmpty(text:"text") { 
    print("Not Empty") 
} 

if IsTextEmpty(text: text) { 
    print("Empty") 
} 

在這裏，這兩個函數具有相同的輸入參數，但一個FUNC返回一個可選Bool?，另一個返回一個Bool。在這種情況下，我得到一個錯誤：

ambiguous use of 'IsTextEmpty(text:)' 

如果我改變了一個輸入參數的名字，我不再得到明確的錯誤：

// Works 
func IsTextEmpty(foo : String?) -> Bool? { 
    return foo?.isEmpty 
} 

func IsTextEmpty(text : String?) -> Bool { 
    guard let text = text else { 
    return true 
    } 

    return text.isEmpty 
} 

let text: String? = nil 

if let empty = IsTextEmpty(foo:"text") { 
    print("Not Empty") 
} 

if IsTextEmpty(text: text) { 
    print("Empty") 
} 

不應該編譯器檢測到它們是兩種截然不同的方法，即使它們的返回類型不同，因爲可選Bool?與非可選Bool是不同的類型？

Answer 1

編譯器需要一些上下文來決定調用哪個方法，例如，

let e1 = IsTextEmpty(text: text) as Bool 
let e2: Bool = IsTextEmpty(text: text) 

調用非可選的變體，或

let e3 = IsTextEmpty(text: text) as Bool? 
let e4: Bool? = IsTextEmpty(text: text) 

調用可選的變種。現在

if IsTextEmpty(text: text) { 
    print("Empty") 
} 

編譯沒有問題：if語句需要一個boolean表達式 ，所以這裏沒有歧義。

但顯然，編譯器是不夠聰明弄清楚， 在任選的結合在右手側的表達式的上下文必須一些可選 並自動推斷展開的類型。

你需要明確標註的empty類型：

if let empty: Bool = IsTextEmpty(text: text) { ... } 

或使返回類型明確：

if let empty = (IsTextEmpty(text: text) as Bool?) { ... }