目录
正确答案
首页 后端开发 Golang Golang 泛型 - 在传递函数指针时不能使用类型代替相同类型

Golang 泛型 - 在传递函数指针时不能使用类型代替相同类型

Feb 06, 2024 am 10:33 AM
编译错误

Golang 泛型 - 在传递函数指针时不能使用类型代替相同类型

问题内容

我是 golang 新手,我正在研究以下结构:

<code>type Flag[T any] struct {
    defaultValue interface{}
}
</code>
登录后复制

其中 T 可以是 intbool

我定义了以下函数:

<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中文网其他相关文章!

本站声明
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热AI工具

Undresser.AI Undress

Undresser.AI Undress

人工智能驱动的应用程序,用于创建逼真的裸体照片

AI Clothes Remover

AI Clothes Remover

用于从照片中去除衣服的在线人工智能工具。

Undress AI Tool

Undress AI Tool

免费脱衣服图片

Clothoff.io

Clothoff.io

AI脱衣机

AI Hentai Generator

AI Hentai Generator

免费生成ai无尽的。

热门文章

R.E.P.O.能量晶体解释及其做什么(黄色晶体)
3 周前 By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O.最佳图形设置
3 周前 By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O.如果您听不到任何人,如何修复音频
3 周前 By 尊渡假赌尊渡假赌尊渡假赌

热工具

记事本++7.3.1

记事本++7.3.1

好用且免费的代码编辑器

SublimeText3汉化版

SublimeText3汉化版

中文版,非常好用

禅工作室 13.0.1

禅工作室 13.0.1

功能强大的PHP集成开发环境

Dreamweaver CS6

Dreamweaver CS6

视觉化网页开发工具

SublimeText3 Mac版

SublimeText3 Mac版

神级代码编辑软件(SublimeText3)

C++ 函数继承详解:如何在继承中使用'基类指针”和'派生类指针”? C++ 函数继承详解:如何在继承中使用'基类指针”和'派生类指针”? May 01, 2024 pm 10:27 PM

在函数继承中,使用“基类指针”和“派生类指针”来理解继承机制:基类指针指向派生类对象时,执行向上转型,只访问基类成员。派生类指针指向基类对象时,执行向下转型(不安全),必须谨慎使用。

notepad++如何运行C语言 notepad++如何运行C语言 Apr 08, 2024 am 10:06 AM

Notepad++ 本身不能运行 C 语言程序,需要一个外部编译器来编译和执行代码。为了使用外部编译器,可以按以下步骤进行设置:1. 下载并安装 C 语言编译器;2. 在 Notepad++ 中创建自定义工具,将编译器可执行文件路径和参数配置好;3. 创建 C 语言程序并保存为 .c 文件扩展名;4. 选择 C 语言程序文件,从“运行”菜单中选择自定义工具进行编译;5. 查看编译结果,输出编译错误或成功消息。如果编译成功,将生成可执行文件。

sublime运行python代码按哪个键 sublime运行python代码按哪个键 Apr 03, 2024 pm 03:54 PM

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

java中val是什么意思 java中val是什么意思 Apr 25, 2024 pm 10:06 PM

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

c++中const和static的区别 c++中const和static的区别 May 01, 2024 am 10:54 AM

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

java中=是什么意思 java中=是什么意思 Apr 26, 2024 pm 11:30 PM

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

如何在 Java 泛型方法中限制类型参数? 如何在 Java 泛型方法中限制类型参数? Apr 30, 2024 pm 01:30 PM

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

Java 函数重载机制中编译器如何区分具有相同样式但类型不同的参数? Java 函数重载机制中编译器如何区分具有相同样式但类型不同的参数? Apr 25, 2024 am 10:03 AM

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

See all articles