Golang 제네릭의 정의와 적용

유형 독립적인 코드를 생성하기 위해 Go 1.18에 제네릭이 도입되었습니다. 제네릭은 대괄호 []를 사용하여 func Sort[T any](arr []T)와 같은 유형 매개변수를 정의합니다. Go 컴파일러는 func Swap[T](x, y T)와 같은 유형 매개변수를 추론할 수 있습니다. 제네릭은 이진 검색 트리 유형 Node[T any] struct { … }와 같은 데이터 구조를 구축하고 Node[T Comparable] struct { … } 유형과 같은 유형 제약 조건을 적용하는 데 사용할 수 있습니다. Go 제네릭은 새로운 유형을 생성하지 않고도 코드 유연성을 높입니다.

Go 제네릭의 정의와 적용

Go 1.18에서 Go 언어는 매우 기대되는 기능인 Generics을 소개합니다. 제네릭을 사용하면 특정 유형에 독립적인 데이터 구조와 알고리즘을 생성하여 코드를 더 재사용 가능하고 유연하게 만들 수 있습니다.

제네릭 정의

제네릭은 대괄호 []를 사용하여 정의되며 여기에는 다양한 유형 매개변수가 포함됩니다. [] 来定义，其中包含任意数量的类型参数：

func Sort[T any](arr []T)

在上面的示例中，T 是类型参数，代表可以是任何类型的项。

类型推断

如果函数的泛型类型参数可以在上下文中推断出来，则可以省略它们：

func Swap[T](x, y T)

此函数可以与任何类型的两个参数一起使用，Go 编译器会推断出 T 应该是 x 和 y 的类型。

实战案例：二叉查找树

让我们创建一个二叉查找树的泛型版本：

type Node[T any] struct {
    Value    T
    Left     *Node[T]
    Right    *Node[T]
}

func Insert[T comparable](n *Node[T], value T) *Node[T] {
    // ...
}

func Search[T comparable](n *Node[T], value T) *Node[T] {
    // ...
}

这个二叉查找树允许我们存储和搜索任何可比较类型的元素。

类型约束

有时，您需要对类型参数施加约束。例如，为了确保在二叉查找树中比较两个值是有效的，我们可以要求 T 实现了 comparable

type Node[T comparable] struct {
    // ...
}

위 예에서 T는 유형 매개변수가 나타냅니다. 모든 유형의 항목.

유형 추론

• 함수의 일반 유형 매개변수는 컨텍스트에서 추론할 수 있는 경우 생략할 수 있습니다.
rrreee
• 이 함수는 모든 유형의 두 매개변수와 함께 사용할 수 있으며 Go 컴파일러는 T를 추론합니다. >은 x 및 y 유형이어야 합니다.
• 실용 예: 이진 검색 트리

이진 검색 트리의 일반 버전을 만들어 보겠습니다.

rrreee

이 이진 검색 트리를 사용하면 비교 가능한 모든 유형의 요소를 저장하고 검색할 수 있습니다.

유형 제약 조건🎜🎜때로는 유형 매개변수에 제약 조건을 적용해야 할 때가 있습니다. 예를 들어 이진 검색 트리에서 두 값을 비교하는 것이 유효한지 확인하려면 T가 comparable 인터페이스를 구현하도록 요구할 수 있습니다. 🎜rrreee🎜Notes🎜🎜🎜 Go Generics는 유형 템플릿이 아니며 새로운 유형을 생성하지 않습니다. 🎜🎜일반 유형 매개변수는 인스턴스화할 수 없습니다. 🎜🎜유형 추론은 함수를 호출할 때만 적용되며 선언할 때는 적용되지 않습니다. 🎜🎜🎜결론🎜🎜Go 제네릭은 Go 언어에 강력한 새 기능을 제공합니다. 제네릭을 정의하고 사용하는 방법을 이해하는 것은 코드를 보다 유연하고 재사용 가능하게 만드는 데 중요합니다. 🎜

위 내용은 Golang 제네릭의 정의와 적용의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!