type-bounds

1열

1답변

스칼라 컴파일러가 형식 매개 변수의 수퍼 형식으로 와일드 카드 형식 선언을 금지하는 이유

종속 형식 _ >: a.type과 관련된 형식 별칭을 만들려고했습니다. 는 스칼라 컴파일러 내가 이해하지 못했다 오류보고 : scala> def foo[A](a: A) = { | type F = Function1[_ >: a.type, Unit] | } <console>:12: error: type mismatch; found : a.

1열

0답변

스칼라 다형성 - 공변량과 타입 바운드

스칼라 사용 ... 바운드와 공분산을 혼합하는 방식으로 다형성을 사용하는 방법을 알아낼 수 없습니다. 는 간단히 말해서, 나는 내가 이런 종류의 서명 뭔가를해야한다고 생각 ...하지만 당신이 내 더미 예와 함께 따르는 경우에 내가 여기까지 왜, 당신은 볼 ... 그리고 어쩌면 내가 틀렸다. def func[+T <: U](func: Seq[T] => T)(

0열

1답변

프로토콜 유형을 일반 기능에 전달하는 방법은 무엇입니까?

유형 (URL의 일부분, 알고 있어야하는 경우)에 따라 문자열을 만들고 싶습니다. 이 전형적인 코드 고려해이 합리적으로 좋은 것 같다 을 import Foundation protocol TestP { var p: Int { get } } protocol TestQ: TestP { var q: Int { get } } struc

3열

1답변

하나의 제네릭 형식이 녹의 다른 제네릭 형식을 구현하는 제약 조건을 추가하는 방법은 무엇입니까?

어떻게이 작품과 같이 할 수 있습니다 : 나는 S이 특성해야 컴파일러에게 몇 가지 유형의 마커를 검색 struct FooStruct<A, B> where A : B, B : ?Sized {...} 는,이 패턴의 몇 가지 예를 들어 녹 문서를 검색을, 그리고 수 같은 문제가있는 다른 사람들을 찾으십시오. --> src/lib.rs:15:57 |

0열

3답변

다음 함수의 파라미터

공통 하부 경계를 정의 스칼라 컴파일러/IF 다른 표현에 사용되는 값의 최소 공통 수퍼 복귀 타입을 정의 할 수있다 계층 : class X class A extends X class B extends X 함수 위 cond 형 X의 값을 반환하는 것으로 정의된다. A 및 B 유형 파라미터는 cond 함수의 정의에 있다면 그러나, 그 반환형 Any이다

1열

1답변

스칼라에서의 %의 의미와 추상 클래스 정의에 사용

스칼라에서 < %의 의미는 무엇입니까? 내가 보는 문맥은 내가 확장하려고 시도하고있는 추상 클래스 선언이다. abstract class Index[Res <% Result[Res]] { def results (term: String) : List[Res] ... 이 결과 형질의 헤더입니다 : trait Result[T] extends Any {

0열

2답변

Subtyping은 Any : Bug in compiler 또는 내 코드와 관련이 있습니까?

유형 경계로 매달려있는 상황에서 직면 한 문제에 대해 직접 설명하겠습니다. 이의 다음을 생각 해보자 ... 은 내가 res0: (String, Int) = (Mars,2400) 같은 결과를 얻을 foo("Mars",2400) 처럼, 나는 스칼라 워크 시트의 foo는 호출이 def foo[A,B](x:A,y:B):(A,B)=(x,y) 같은 함수 '

4열

1답변

스칼라에서 수퍼 유형

경계를 "제외"하는 하한을 적용하여 스칼라의 유형 (예 : 인수 유형)을보다 세부적으로 제어 할 수 있습니다. 예를 들어 는 def foo[ S <: String ](arg: S): S = ... 상기는 기능이 하위 인은 상기 상부의 설정을 할 수 있으며 그 S 있도록 하한 def bar[ S >: A <: B ](arg: S): S = ... 또한

0열

1답변

스칼라 typebounds 추상 클래스와 함께 작동하지 않지만 특성을 사용하여

나는 implicits 및 형식 경계를 사용하여 작동하도록 일반 mSort 함수를 확장하려고합니다. 일반적인 특성을 사용하여 Ordered를 확장 할 때 잘 동작하지만 추상 클래스는 확장하지 않습니다. 너 도와 줄 수있어? object MergeSort extends App { // With Abstract Class abstract c

4열

1답변

두 유형 매개 변수 범위의 순서를 변경하면 Java 런타임 오류가 발생합니다.

런타임에 다음 코드가 충돌하지만 Model & Serializable이 Serializable & Model이되도록 한 행을 변경하면 정상적으로 실행됩니다. 아무도 무슨 일이 일어나고 있는지 설명 할 수 있습니까? 이것은 Java의 버그입니까? 유형 범위의 순서가 중요해야하는 것처럼 보이지 않습니다. import java.io.Serializable;