php小编小新为您带来关于泛型的介绍。泛型是一种嵌入在接口中的约束和结构，它可以让我们在编写代码时更加灵活和高效。通过使用泛型，我们可以在编译时发现并解决类型错误，提高代码的可读性和可维护性。泛型还可以帮助我们设计更加通用的数据结构和算法，提升代码的重用性。在这篇文章中，我们将深入探讨泛型的概念、用法和实际应用，帮助您更好地理解和运用泛型编程。
问题内容
以下代码无法编译，并报告 ./main.go:35:7: test does not meet constraint (test missing in main.structwithname)
package main
import "fmt"
type Test struct {
Name string
}
func (t Test) String() string {
return fmt.Sprintf("Name: %v", t.Name)
}
type StructWithName struct {
Name string
}
type Constraint interface {
StructWithName
// ~struct {
// Name string
// }
String() string
}
func Print[T Constraint](x T) {
//s := T{}
fmt.Printf("Hello %v", x)
}
func main() {
t := Test{
Name: "Test",
}
Print(t)
}但是，如果我注释掉 structwithname 并取消注释 ~struct 块，那么它可以正常编译。我无法理解两者之间的语义差异。
我试图做的是拥有一个可以以通用方式处理结构的通用方法；即 x := s{} 然后将其传递给外部库。在本例中，它适用于 terraform 提供程序，资源中的代码非常相似，我对现有提供程序中看到的重复量感到有点困扰；就我而言，资源非常相似，有些资源在默认结构之上只有一两个字段）。我希望能够编写一组通用方法来完成所有相似的事情，并且只有其他地方的特殊性（废话！）。
我还处于 go 之旅的早期阶段，我无法理解编译器错误。
解决方法
如果我理解正确的话，你真正想要的东西是不可能的。 go 泛型不支持访问结构体字段子集。
- 查看相关内容：设置用作映射值的不同结构的字段的通用函数
就所涉及的错误而言......
类型的名称指定类型的标识，并且具有不同名称（彼此不是别名）的两个类型始终是不同的，因此 test 和 structwithname 是两个不同的类型。它们唯一的共同点是它们的底层类型。
type constraint 接口 { structwithname } 接口是一个仅包含一种类型的类型集，即 structwithname，并且由于 test 不是该类型集的成员，这意味着不可能使用 test 类型来满足该约束。
type struct { name string } 是一个无名类型，任何无名类型的底层类型都是该类型本身，即 struct 的底层类型 { name string } is struct { name string }。
约束中类型前面的波形符，即 ~t，表示任何类型，其底层类型与 t 相同。或者，更准确地说，
~t 形式的项的类型集是基础类型为 t 的所有类型的集合。
所以当你这样做时
type Constraint interface { ~struct { Name string } }那么约束的类型集将包含任何以 struct { name string } 作为其基础类型的类型。
以上就是泛型：嵌入在接口中的约束和结构的详细内容，更多请关注编程网其它相关文章！
