鑒于這些類型定義：type N interface{ ~int | ~float32 | ~float64 }type S[T any] struct { t T}type myInt inttype pSpMyInt[T myInt] *S[*T]type spMyInt[T *myInt,] S[T]type spMyInt2[T myInt] S[*T]type pSpMyInt我可以創建一個 varfunc createPS[T myInt]() pSpMyInt[T] { var i T s := S[*T]{t: &i} return &s}但我無法弄清楚如何創建spMyIntor的變量spMyInt2。這func createSP[T myInt]() spMyInt2[T] { var i T s := S[*T]{t: &i} return s}編譯失敗 cannot use s (variable of type S[*T]) as type spMyInt2[T] in return statement。
1 回答
瀟湘沐
TA貢獻1816條經驗 獲得超6個贊
首先，不要使用精確類型參數約束。它幾乎沒有意義。當您將函數聲明為 時createPS[T myInt]()，類型參數類型集的基數為 1，因此它只能有效地由實例化myInt。您可以像下面這樣重寫函數：
func createPS() pSpMyInt[myInt] {
var i myInt
s := S[*myInt]{t: &i}
return &s
}
有了這個：
類型S[*T] 與spMyInt2[T]. _ 但是，由于spMyInt2[T]的基礎類型是S[*T]，您可以簡單地轉換：
func createSP2[T myInt]() spMyInt2[T] {
var i T
s := S[*T]{t: &i}
return spMyInt2[T](s) // conversion
}
至于type spMyInt[T *myInt,] S[T]（逗號不是拼寫錯誤，而是避免解析歧義所必需的），事情并沒有那么簡單。
問題是類型參數不是它的類型約束。因此類型文字不能用于實例化不同的未命名類型文字。要明確：
// naive attempt that doesn't compile
func createSP1[T myInt]() spMyInt[*T] {
var i T
s := S[*T]{t: &i}
return spMyInt[*T](s)
}
你可能認為spMyInt[T *myInt]有一個類型參數被約束到*myInt并且函數T被基類型約束myInt，因此 *T應該滿足T *myInt。這是不正確的，因為類型文字*T不等同于*myInt. 所以實際上你不能為type spMyInt[T *myInt,] S[T].
但是你很幸運，因為類型約束的基數為 1。所以你可以刪除類型參數：
func createSP1() spMyInt[*myInt] {
var i myInt
s := S[*myInt]{t: &i}
return spMyInt[*myInt](s)
}
- 1 回答
- 0 關注
- 115 瀏覽
添加回答
舉報
0/150
提交
取消