使用Go函数创建泛型类型的新指针或实例
来源:stackoverflow
时间:2024-03-18 15:03:29 402浏览 收藏
在 Go 中,泛型函数无法直接返回指针或实例化泛型类型。因此,当函数接受泛型类型并需要返回一个始终返回指针的函数时,需要特殊处理。一种方法是使用反射来检查输入类型是否为指针,并根据需要返回指向该类型或基本类型的指针。但是,这种方法会影响性能,因此需要仔细权衡。另一种方法是使用条件类型来区分指针和非指针类型,并根据需要使用不同的工厂函数来创建指针或实例化该类型。不过,这种方法需要在工厂函数中使用类型断言,这可能会影响代码的可读性和维护性。
我有一个函数,它采用泛型类型,并且应该返回一个始终返回指针的函数。 ie。如果你传递给它一个非指针类型,它应该返回一个指向该类型的指针,如果你传递给它一个指针类型,它应该返回相同的类型。我不想使用 reflect.new
,因为它是一个性能关键型应用程序。
我不介意在返回工厂函数的函数中使用反射,但理想情况下甚至不在那里。
这就是我正在尝试做的事情:
package main import ( "fmt" "reflect" ) type Ptr[T any] interface { *T } func makeNewA[T Ptr[U], U any]() any { return new(U) } func makeNewB[T any]() any { return new(T) } func makeNew[T any](v T) func() any { if reflect.TypeOf(v).Kind() == reflect.Ptr { return makeNewA[T] // <-- error: T does not match *U } else { return makeNewB[T] } } type Foo struct{} func main() { make1 := makeNew(Foo{}) make2 := makeNew(&Foo{}) // should both return &Foo{} fmt.Println(make1()) fmt.Println(make2()) }
正确答案
这种条件类型不能用泛型很好地解决,因为当您使用 *foo
实例化 t any
时,您会丢失有关基本类型的信息。事实上,您的代码仍然使用反射和 any
(= interface{}
),并且 maken
函数的返回类型必须类型断言为 *foo
。
您可以使用当前代码得到的最接近的是:
func makenew[t any](v t) func() any { if typ := reflect.typeof(v); typ.kind() == reflect.ptr { elem := typ.elem() return func() any { return reflect.new(elem).interface() // must use reflect } } else { return func() any { return new(t) } // v is not ptr, alloc with new } }
然后两个生成器函数都会返回一个 any
,它包含一个非零 *foo
值:
fmt.Printf("%T, %v\n", make1(), make1()) // *main.Foo, &{} fmt.Printf("%T, %v\n", make2(), make2()) // *main.Foo, &{}
演示:https://gotipplay.golang.org/p/kVUM-qVLLHG
进一步考虑:
return makenewa[t]
在您的第一次尝试中不起作用,因为条件reflect.typeof(v).kind() == reflect.ptr
在运行时评估,而makenewa
的实例化发生在编译时。在编译时,t
仅受any
约束,并且any
(=interface{}
) 不实现ptr[u]
- 仅使用参数
v
无法捕获有关指针类型和基类型的信息。例如,当使用makenew(foo{})
和makenew[t ptr[u], u any](v u)
调用时,makenew[t ptr[u], u any](v t)
将不会编译。当使用*foo
调用时,将t
推断为**foo
以上就是本文的全部内容了,是否有顺利帮助你解决问题?若是能给你带来学习上的帮助,请大家多多支持golang学习网!更多关于Golang的相关知识,也可关注golang学习网公众号。
-
502 收藏
-
502 收藏
-
501 收藏
-
501 收藏
-
501 收藏
-
139 收藏
-
204 收藏
-
325 收藏
-
477 收藏
-
486 收藏
-
439 收藏
-
357 收藏
-
352 收藏
-
101 收藏
-
440 收藏
-
212 收藏
-
143 收藏
-
- 前端进阶之JavaScript设计模式
- 设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
- 立即学习 542次学习
-
- GO语言核心编程课程
- 本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
- 立即学习 508次学习
-
- 简单聊聊mysql8与网络通信
- 如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
- 立即学习 497次学习
-
- JavaScript正则表达式基础与实战
- 在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
- 立即学习 487次学习
-
- 从零制作响应式网站—Grid布局
- 本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
- 立即学习 484次学习