为了账号安全,请及时绑定邮箱和手机立即绑定

能夠將變量的類型泛型約束化嗎?

extension Record{
    public static func <(lhs: Self, rhs: Self) -> Bool{
        return lhs.winningPercent() < rhs.winningPercent()
    }

    public static func ==(lhs: Self, rhs: Self) -> Bool{
        return lhs.winningPercent() == rhs.winningPercent()
    }
}

用上一視頻使用的例子,創建了三個遵守Record這個協議的結構體(BaseballRec, BasketballRec, FootballRec)

其三者的實例(baseTeamRec,basketTeamRec,footTeamRec)是可以兩兩互相比較的,也可以調用isPrizable()方法,但當帶入函數topPrizable時

func topPrizable<T: Record & Prizable>(list: [T]) -> T?

topPrizable(list: [baseTeamRec, basketTeamRec, footTeamRec] )

會提示類型不匹配的錯誤,要怎麼修正呢?

Cannot convert value of type '[Any]' to expected argument type '[_]'

且要將這些實例存成Record的Array也有錯誤,提示Record Protocol 要成爲類型得要用泛型約束,gameRecords的類型要如何定義呢?

let gameRecords: [Record] = [baseTeamRec, basketTeamRec, footTeamRec]

Protocol 'Record' can only be used as a generic constraint because it has Self or associated type requirements

正在回答

3 回答

漏了一个关键字,应该是这样:func topPrizable<T: protocol<Record, Prizable>>(list: [T]) -> T?

0 回复 有任何疑惑可以回复我~
#1

leavie 提问者

func aFunction<T : protocol<Pr1, Pr2>>是2.x的語法,協議聚合3.0是<T: Pr1 & Pr2>, 在Arrary容器要放不同結構體,原本可以用同一個協議來描述成為共同的類型,但如果這個協議繼承了Comparable就無法成為一個類型,Array裡的元素就因為沒有共同類型自動變成Any類型,要怎麽指定一個統一的類型給元素呢?
2016-09-23 回复 有任何疑惑可以回复我~

请 刘老师  出来 解答一下。。。。。。。。。。。。等待

0 回复 有任何疑惑可以回复我~

可以使用聚合协议来定义,就是这样子func topPrizable<T: <Record, Prizable>>(list: [T]) -> T?

0 回复 有任何疑惑可以回复我~

举报

0/150
提交
取消

能夠將變量的類型泛型約束化嗎?

我要回答 关注问题
意见反馈 帮助中心 APP下载
官方微信