Swift（4） - 泛型函數可以針對init（）產生「空」對象的類型進行專門化嗎？

Question

是否可以將泛型函數限制爲只有init（）產生空對象的類型？例如：如果我使用C.init()代替

error: numbers.playground:3:12: error: non-nominal type 'C' does not support explicit initialization 
    return C() 
      ^~~ 

和類似的錯誤：

error: numbers.playground:3:12: error: type 'C' has no member 'init' 
    return C.init() 
     ^~~~~ 

似乎有一些協議

public func constructDefaultObject<C>() -> C where C: SomeProtocol { 
    return C() 
} 

沒有where條款，這將產生錯誤提供無參數init - 例如，RangeReplaceableCollection和SetAlgebra都具有產生空的inits集合。但是似乎沒有一個協議涵蓋了所有集合類型的「無參數構造函數創建集合的空實例」的概念。

Answer 1

是的，這是可能的，但它沒多大用處：

// This is a shitty protocol that doesn't do much. Don't use it. 
public protocol DefaultConstructible { 
    init() 
} 

public func constructDefaultObject<C>() -> C where C: DefaultConstructible { 
    return C() 
}