Golang 泛型 - 在傳遞函數指標時不能使用型別來取代相同型別
我是 golang 新手,我正在研究以下結構:
<code>type Flag[T any] struct { defaultValue interface{} } </code>
其中 T
可以是 int
或 bool
#我定義了以下函數:
<code>func (f Flag[T]) GetVariation(val interface{}, getFunc func(v T) T ) T { inputVal := f.defaultValue.(T) return getFunc(inputVal) } </code>
當我嘗試將上述函數用於各種資料類型(例如 bool)時,請使用以下內容:
<code>func (f Flag[bool]) GetBoolVariation(val bool) bool { return f.GetVariation(val, someFunc) } func someFunc(v bool) bool { return true } </code>
我收到以下錯誤訊息:
cannot use someFunc (value of type func(v bool) bool) as func(v bool) bool value in argument to f.GetVariation
該訊息非常令人困惑,因為它說我不能將“X”用作“X”。你能幫我弄清楚我在這裡做錯了什麼嗎?
正確答案
首先,很難在這裡衡量您的更大用例,但泛型可能不是最適合這裡,因為您要進行運行時類型檢查(例如f.defaultValue.(T)
)。
其次,您似乎正在使用 go 1.20
,這確實會產生一個令人困惑的錯誤:
https://www.php.cn/link/63e8e3643e7f7198858eef325b0600f9
cannot use someFunc (value of type func(v bool) bool) as func(v bool) bool value in argument to f.GetVariation
使用最新的 Playground 版本(截至撰寫本文時為 go 1.21
)會給出更詳細的編譯錯誤:
https://www.php.cn/link/2d1bcedd27b586d2a9562a0f8e076b41
./prog.go:14:29: cannot use someFunc (value of type func(v bool) bool) as func(v bool /* with bool declared at ./prog.go:13:14 */) bool /* with bool declared at ./prog.go:13:14 */ value in argument to f.GetVariation
指示類型 bool
被指定的位置 (./prog.go:13:14
) 源自於類型限制。
因此,僅僅因為此類型約束 bool
與非泛型函數簽章相符:
func someFunc(v bool) bool { return true }
並不意味著它是精確的編譯匹配。
您可以使用這個人為的範例「解決」編譯錯誤:
func someFuncFix[T any](v T) T { return v } func (f Flag[bool]) GetBoolVariation(val bool) bool { return f.GetVariation(val, someFuncFix[bool]) // FYI: `return f.GetVariation(val, someFuncFix)` also works as the bool constraint could be inferred }
但同樣,我認為泛型可能不是適合您特定用例的最佳解決方案。
以上是Golang 泛型 - 在傳遞函數指標時不能使用型別來取代相同型別的詳細內容。更多資訊請關注PHP中文網其他相關文章!

熱AI工具

Undresser.AI Undress
人工智慧驅動的應用程序,用於創建逼真的裸體照片

AI Clothes Remover
用於從照片中去除衣服的線上人工智慧工具。

Undress AI Tool
免費脫衣圖片

Clothoff.io
AI脫衣器

Video Face Swap
使用我們完全免費的人工智慧換臉工具,輕鬆在任何影片中換臉!

熱門文章

熱工具

記事本++7.3.1
好用且免費的程式碼編輯器

SublimeText3漢化版
中文版,非常好用

禪工作室 13.0.1
強大的PHP整合開發環境

Dreamweaver CS6
視覺化網頁開發工具

SublimeText3 Mac版
神級程式碼編輯軟體(SublimeText3)

在函數繼承中,使用「基底類別指標」和「衍生類別指標」來理解繼承機制:基底類別指標指向派生類別物件時,執行向上轉型,只存取基底類別成員。派生類別指標指向基底類別物件時,執行向下轉型(不安全),必須謹慎使用。

Notepad++ 本身無法執行 C 語言程序,需要一個外部編譯器來編譯和執行程式碼。為了使用外部編譯器,可以按以下步驟進行設定:1. 下載並安裝C 語言編譯器;2. 在Notepad++ 中建立自訂工具,將編譯器執行檔路徑和參數配置好;3. 建立C 語言程式並儲存為.c 檔案副檔名;4. 選擇C 語言程式文件,從「執行」功能表中選擇自訂工具進行編譯;5. 查看編譯結果,輸出編譯錯誤或成功訊息。如果編譯成功,將產生可執行檔。

Java 中的 val 關鍵字用於聲明不可變的局部變量,即一旦賦值後無法更改其值。特點有:不可變性:一旦初始化,val 變數就不能重新賦值。局部作用域:val 變數僅在宣告它們的程式碼區塊內可見。類型推斷:Java 編譯器會根據賦值的表達式推斷 val 變數的型別。僅限局部變數:val 只能用於宣告局部變量,不能用於類別欄位或方法參數。

在 Sublime Text 中執行 Python 程式碼的快速鍵為:Windows 和 Linux: Ctrl + BMac: Cmd + B將遊標放置在程式碼中。按下快捷鍵。程式碼將使用系統預設的 Python 解釋器運行。

const 修飾符表示常數,值不可修改;static 修飾符指示變數的生存期和作用域。 const 修飾的資料成員在初始化後不可修改,static 修飾的變數在程式啟動時初始化,在程式結束時銷毀,即使沒有活動物件也會存在,並且可以跨函數存取。 const 修飾局部變數必須宣告時初始化,static 修飾的局部變數可以稍後初始化。 const 修飾類別成員變數必須在建構函式或初始化清單中初始化,static 修飾的類別成員變數可以在類別外部初始化。

Java 程式語言中的 "=" 運算元用於為變數賦值,將表達式右側的值儲存在左側變數中。用法:變數 = 表達式,其中變數是接收賦值的變數名稱,而表達式是計算或傳回值的程式碼段。

Eclipse 中出現 "Error: Could not find or load main class" 錯誤的解決方法:檢查主類別是否存在並路徑正確。確認主類別位於正確的套件中,公共存取權限允許 Eclipse 存取。檢查類別路徑配置以確保 Eclipse 能夠找到主類別的類別檔案。編譯並修復導致無法載入主類別的錯誤。檢查堆疊追蹤以識別問題根源。使用 javac 命令從命令列編譯並檢查錯誤訊息。重新啟動 Eclipse 以解決潛在問題。

Eclipse 導覽列可透過下列方法顯示:透過選單:Window > Show View > Navigation快速鍵:Ctrl + 3 (Windows) 或Cmd + 3 (Mac)右鍵點選工作區> Show View > Navigation導覽列包含下列功能:專案資源瀏覽器:顯示資料夾和檔案包資源瀏覽器:顯示Java 包結構問題檢視:顯示編譯錯誤和警告任務檢視:顯示任務搜尋欄位:搜尋程式碼和檔案書籤檢視:標記程式碼行可供快速訪問
