Go 함수가 제한된 유형 매개변수가 있는 유형을 반환할 수 없는 이유는 무엇입니까?

Go 함수는 왜 제한된 유형 매개변수가 있는 유형을 반환할 수 없나요? 이것은 종종 혼란을 야기하는 질문입니다. Go 언어에서 함수의 반환 유형은 제한된 유형 매개변수가 있는 유형일 수 없습니다. 이는 주로 Go 언어의 제네릭 지원이 제한되어 있기 때문입니다. Go 언어에는 Java 또는 C#과 유사한 제네릭 메커니즘이 없으며 제한된 유형 매개변수를 지원하는 구문도 없습니다. 따라서 함수의 반환 유형은 특정 유형만 가능하며, 제한된 유형의 매개변수는 사용할 수 없습니다. 즉, 매개변수 유형이 제한된 유형인 함수에서는 반환 유형을 정의할 수 없습니다. 이러한 제한은 특정 시나리오에서 코드 작성을 좀 더 번거롭게 만들 수 있지만 이는 Go 언어 설계의 일부이기도 합니다.

질문 내용

Go에서 컴파일 시간에 유효한 상태 전환을 적용하려고 시도하는 동안 여기 문제에 설명된 대로 함수가 비구체 유형 매개변수를 사용하여 일반 유형을 반환할 수 없다는 제한 사항에 직면했습니다. mre를 만들 수 없습니다(놀이터 링크로 이동):

으아악

컴파일러가 오류를 반환합니다 cannot use mystruct[int]{…} (value of type mystruct[int]) as mystruct[t] value in return statements.

링크된 질문은 다음과 같은 추론을 제공합니다.

으아악

여기에는 유형 어설션을 포함한 여러 가지 해결 방법이 설명되어 있지만 왜 이 제한 사항이 존재하는지 궁금합니다. 순진하게도 제 예에서는 returnconstrainedgeneric() 返回 mystruct[int] 类型的值是有效的，因为 int 满足 any 的类型约束。我希望 returnconstrainedgeneric() 的调用者不知道返回值的类型为 mystruct[int]，它只知道它是 mystruct[t]，其中 t 满足 any 을 제한하고 싶습니다. 내 추론에 무엇이 빠졌습니까? 이것은 go가 제네릭/유형 제약 조건을 구현하는 방법에 대한 근본적인 문제입니까, 아니면 go 컴파일러의 현재 구현에 관련된 문제입니까, 아니면 다른 것입니까?

해결 방법

구문이

을 의미하므로 유효하지 않습니다. 으아악

하지만 당신은 돌아오려고 mystruct[int]합니다.

추론의 결함은 인스턴스화할 때 함수의 반환 유형을 지정한다는 것입니다. 이 함수는 any 约束的类型，它返回实例化的类型。换句话说，实例化函数的 t 必须与 mystruct[t] 中的 t를 만족하는 동일한 값을 반환할 수 없습니다.

항상 돌아오는 경우 mystruct[int] 다음과 같이 선언하세요.

으아악

또는 기능이 전혀 사용되지 않는 경우 t:

으아악

위 내용은 Go 함수가 제한된 유형 매개변수가 있는 유형을 반환할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!