型制約のある汎用関数の型を使用して戻り値の型をオーバーロードする

Question

戻り値の型で関数をオーバーロードしようとしています。戻り値の型は、別の汎用関数の型制約からのソースです。

私は、プロトコルの制約により、すべてのケース（Int、String）を提供できると考えました。遊び場で動く小さなテストケースです。使用されるべき候補機能を推測するように、コンパイラのための十分な情報が

protocol Gettable {} 
extension Int: Gettable {} 
extension String: Gettable {} 

struct Test { 
    static func get() -> Int { 
    return 1 
    } 
    static func get() -> String { 
    return "1" 
    } 
} 

func getOne<T: Gettable>(_: T.Type) { 
    let value: T = Test.get() 
} 

getOne(Int.self) 
getOne(String.self) 

これは、次のエラー

error: test.playground:11:23: error: no 'get' candidates produce the expected contextual result type 'T' 
    let value: T = Test.get() 
        ^

test.playground:11:23: note: overloads for 'get' exist with these result types: Int, String 
    let value: T = Test.get() 
        ^

生成ありませんか？

Answer 1

問題は、オーバーロードを伴うGettableのすべてのケースに対処したことをコンパイラが認識していないことです。

ここでコンパイラが必要とする分析の種類は実行できません。 Swiftは実行時に新しい型をレイアウトすることができます。これは特にジェネリックで使用されます。つまり、内部プロトコルとプライベートプロトコルを使用しても、コンパイル時の適合性の徹底的なテストは不可能です。

つまり、何らかのプロトコルに準拠するすべてのタイプに対して正しいタイプを返すオーバーロードがあることを確認できる制約を作成することはできません。