Go에서 유형 제약 조건이 있는 인터페이스가 금지되는 이유는 무엇입니까?

인터페이스 유형 제약 조건: "유형 제약 조건" 오류 이해 및 방지

Go에서 인터페이스는 다음과 같은 메서드 집합을 정의하는 강력한 구성 요소입니다. 유형이 구현되어야 합니다. 그러나 모든 인터페이스가 동일하게 생성되는 것은 아닙니다. 유형 제약 조건이 포함된 인터페이스는 사용법에 추가 제한을 적용합니다.

다음 유형 정의를 고려하세요.

type Number interface {
    int | int64 | float64
}

이 인터페이스는 int, int64 또는 float64를 나타낼 수 있는 Number 유형을 정의합니다. 그러나 Go 언어 사양에서는 유형 매개변수 제약 조건 이외의 모든 컨텍스트에서 유형 요소와 함께 이러한 인터페이스를 사용하는 것을 명시적으로 금지합니다.

다음과 함께 인터페이스를 사용하려고 하면 컴파일러에서 "인터페이스에 유형 제약 조건이 포함되어 있습니다"라는 오류가 발생합니다. 다른 시나리오의 요소를 입력하세요. 예를 들어 다음 코드 조각은 컴파일에 실패합니다.

type NumberSlice []Number // interface contains type constraints

func main() {
    a := []Number{Number(1), Number(2), Number(3), Number(4)} // cannot use interface Number in conversion
}

이 오류는 Number가 유형 제약 조건이 있는 인터페이스이므로 슬라이스의 요소 유형으로 사용할 수 없기 때문에 발생합니다.

유형 요소가 있는 인터페이스와 유사하게, 유사하거나 기본이 아닌 인터페이스를 포함하는 인터페이스도 기본이 아닙니다. 이러한 오류를 방지하려면 인터페이스에 메서드만 포함하거나 기본 인터페이스를 포함해야 합니다.

기본 및 비기본 인터페이스의 예:

• 기본: 메서드만

  type A1 interface {
    GetName() string
  }

  로그인 후 복사

• 기본: 메서드 및 기본 인터페이스 포함

  type B1 interface {
    A1
    SetValue(v int)
  }

  로그인 후 복사

• 비기본: 비교 가능한 포함

  type Message interface {
    comparable
    Content() string
  }

  로그인 후 복사

• Non-Basic: 유형 요소 있음(union)

  type Number interface {
    int | int64 | float64
  }

  로그인 후 복사

• Non-Basic: 기본이 아닌 인터페이스 포함

  type SpecialNumber interface {
    Number
    IsSpecial() bool
  }

  로그인 후 복사

유형 제약 조건이 있는 인터페이스의 올바른 사용

유형 제약 조건이 있는 인터페이스는 유형 매개 변수 제약 조건으로만 사용할 수 있습니다. 예:

type Coordinates[T Number] struct {
    x, y T
}

func sum[T Number](a, b T) T {
    return a + b
}

이 시나리오에서는 인터페이스를 사용하여 일반 유형 및 함수에 허용되는 유형을 제한합니다.

위 내용은 Go에서 유형 제약 조건이 있는 인터페이스가 금지되는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!