Avatar
omochimetaru 8/29/2018 3:51 AM
contract convertible(_ To, f From) { To(f) } func FormatUnsigned(type T convertible(uint64, T))(v T) string { return strconv.FormatUint(uint64(v), 10) }
3:51 AM
これ、Generic Trait 相当じゃないですか?
3:52 AM
あ〜わかってきたかも
3:52 AM
Goのcontractは型パラメータに対する追加的な制約だけど
3:52 AM
あくまで型パラメータに対するものであって
3:52 AM
ある具象型がcontractを満たすかどうかを自身で宣言するわけではないのかも