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脱衣机

AI Hentai Generator
免费生成ai无尽的。

热门文章

热工具

记事本++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. 查看编译结果,输出编译错误或成功消息。如果编译成功,将生成可执行文件。

在 Sublime Text 中运行 Python 代码的快捷键为:Windows 和 Linux: Ctrl + BMac: Cmd + B将光标放置在代码中。按下快捷键。代码将使用系统默认的 Python 解释器运行。

Java 中的 val 关键字用于声明不可变的局部变量,即一旦赋值后无法更改其值。特点有:不可变性:一旦初始化,val 变量不能重新赋值。局部作用域:val 变量仅在声明它们的代码块内可见。类型推断:Java 编译器会根据赋值的表达式推断 val 变量的类型。仅限局部变量:val 只能用于声明局部变量,不能用于类字段或方法参数。

const 修饰符表示常量,值不可修改;static 修饰符指示变量的生存期和作用域。const 修饰的数据成员在初始化后不可修改,static 修饰的变量在程序启动时初始化,在程序结束时销毁,即使没有活动对象也会存在,并且可以跨函数访问。const 修饰局部变量必须声明时初始化,static 修饰的局部变量可以稍后初始化。const 修饰类成员变量必须在构造函数或初始化列表中初始化,static 修饰的类成员变量可以在类外部初始化。

Java 编程语言中的 "=" 操作符用于给变量赋值,将表达式右侧的值存储在左侧变量中。用法:变量 = 表达式,其中变量是接收赋值的变量名称,表达式是计算或返回值的代码段。

为了在Java泛型方法中限制类型参数,需使用语法,其中Bound为类型或接口。如此,参数仅接受继承自Bound类型或实现Bound接口的类型。例如,限制T为可与自身比较的类型。

编译器区分重载函数的方法:通过签名,即每个函数参数的类型。即使函数名称和参数数量相同,只要参数类型不同,编译器就能区分开来。
