Go: 메소드의 인수 유형이 수신자의 유형과 동일한 유형 제약 조건을 지정하는 방법

Go 언어에서는 유형 제약 조건을 사용하여 함수나 메소드의 매개변수 유형을 지정할 수 있습니다. 메소드의 매개변수 유형이 수신자 유형과 동일해지기를 원하는 경우 이를 어떻게 지정합니까? 우선, Go 언어에서는 매개변수 유형이 수신자 유형과 동일하다는 기능을 직접 지원하지 않는다는 점을 분명히 해야 합니다. 그러나 메소드 정의에서 포인터 유형을 사용하면 비슷한 효과를 얻을 수 있습니다. 다음으로 Go 언어의 수신자 유형과 동일하게 매개변수 유형을 지정하는 방법을 자세히 설명하겠습니다.

질문 내용

아래와 같이 유형 제약 조건을 지정하고 싶습니다.

으아악

하지만 구현 유형이 자신만의 구체적인 유형을 메소드에 전달하기를 원합니다 Compare 而不是接口 Comparer 中，如下所示（我知道以下没有实现 Comparer):

으아악

저는 다음과 같은 일반적인 인터페이스를 사용하려고 합니다:

으아악

그러나 이것이 메소드 Compare의 수신자도 T 유형이 되도록 강제하지는 않습니다.

메소드Compare의 수신자 유형과 매개변수 유형을 동일하게 하는 방법이 있나요?

해결 방법

제약 조건에 관해 이야기할 때 기본적으로 인터페이스 유형의 특정 사용을 유형 매개변수 세트에 대한 제한으로 언급하는 것입니다.

따라서 인터페이스를 다음과 같이 (올바르게) 정의하면:

으아악

당신은 이야기의 절반만 이야기합니다. 실제로 위의 내용은 제한 사항이 아닙니다. 그것은 단지 인터페이스 일뿐입니다.

진정한 유형 제약이 되려면 인터페이스 를 하나로 사용해야 합니다 .

으아악

유형 매개변수 목록 내에서만 해당 유형 매개변수로 제약조건을 인스턴스화하여 Compare(T) 的接收者为 T 자체를 시행할 수 있습니다.

제약 조건으로 사용되지 않는 경우 인터페이스는 구현할 수 있는 유형에 대한 제한이 없는 설계상 메서드 집합의 정의일 뿐입니다.

이제 유형 용어를 사용하여 특정 인터페이스를 구현해야 하는 유형을 지정할 수 있습니다. 그러나 유형 매개변수는 유형 용어로 직접 사용할 수 없습니다. T:

에 대한 포인터와 같이 이름이 지정되지 않은 유형을 사용해야 합니다. 으아악

이렇게 하면 포인터 수신기에서 메서드를 선언해야 합니다(예: *MyInt). 이는 이상적일 수도 있고 아닐 수도 있습니다.

그럼에도 불구하고, 제약 조건은 T Comparer[T] 因为无论 T가 무엇이든 상관없이 추가 수준의 포인터 간접 참조를 부과하기 때문에 자체 유형 매개변수를 사용하여 T Comparer[T]로 인스턴스화할 수 없습니다. 함수 매개변수는 결코 이를 만족하지 않습니다.

이 기능을 구현하는 비결은 다양한 유형 매개변수를 사용하여 인스턴스화Comparer하는 것입니다.

으아악

메서드를 다음과 같이 선언합니다.

으아악

인터페이스 제약 조건을 의도한 대로 사용하더라도 이 복잡한 해결 방법은 완전히 불필요해집니다.

놀이터https://www.php.cn/link/3ea816621e0d8ecd5e534ec28051d4d5

위 내용은 Go: 메소드의 인수 유형이 수신자의 유형과 동일한 유형 제약 조건을 지정하는 방법의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!