type-members

3열

1답변

클래스 값 매개 변수에 바인딩 된 형식 멤버의 사용이 "형식 불일치"오류를 생성하는 이유는 무엇입니까? 예를 들어 : scala> class A { type t } defined class A scala> class B(val a: A) defined class B scala> val aInt = new A { type t = Int } aIn

3열

2답변

operator << C++의 템플릿 클래스에있는 멤버 유형에 대한 오버로드

아래 코드에서 멤버 유형 (struct 요소)이있는 템플릿 클래스가 있습니다. 그 회원 유형에 대해 < < 연산자를 오버로드하고 싶습니다. 그러나 코드는 컴파일되지 않습니다. 누군가 내가 잘못 가고있는 것을 지적 할 수 있으면 감사하겠습니다. include <iostream> using namespace std; // fwd decl template

0열

2답변

스칼라 유형 멤버를 인스턴스화하면 오류가 발생합니다.

형식 멤버를 인스턴스화 할 수없는 이유에 대한 간단한 질문은 무엇입니까? 이는 예를 들어 예를 취 abstract class SimpleApplicationLoader { type MyComponents <: BuiltInComponentsFromContext def load(context: Context) = { new MyC

4열

1답변

타입 멤버가있는 객체 : 스칼라의 객체 대 모듈 시스템은 무엇입니까? (경로 종속 유형에 대한 2014 년 Odersky 논문을 이해하려고 시도 함)

나는 Foundations of path dependent types을 읽습니다. 첫 번째 페이지에서 오른쪽 열에에이 기록됩니다 Our motivation is twofold. First, we believe objects with type members are not fully understood. It is not clear what causes the

4열

1답변

타입 멤버에 대한 액세스 한정자는 언제 사용해야합니까?

class EG { private[this] type TypeMember = A private[this] var field: Int = 0 } 필드와 마찬가지로 유형 멤버에 대한 액세스 한정자를 지정할 수 있습니다. OOP의 경우 필드의 encapsulation이 의도하지 않은 상태 공유를 방지하고 상태 수정을 제한하는 이점을 제공한

1열

2답변

같은 기본 클래스를 가진 클래스의 형식 멤버를 재정의하는 방법은 무엇입니까?

혼란스러운 제목 죄송합니다. 유효성 검사 및 구문 분석을 위해 Request 및 Response 클래스를 작성하려고합니다. 나는 컴파일 타임에 타입에 대한 보장을하고 싶지만, 여전히 런타임 다형성 (polymorphism)을 가지고있다. 올바른 유형으로, 인스턴스 A JSON 응답을, I 형 _ <: Request의 인스턴스가있는 경우 abstract cl

3열

2답변

수퍼 유형에서 암시 적 매개 변수 해결

수퍼 유형 A에 암시 적으로 정의 된 경우 유형 B에 대한 암시 적 매개 변수를 해결할 수 있습니까? sealed trait Season case object Winter extends Season case object Spring extends Season case object Summer extends Season case object Fall

1열

1답변

추상 멤버 유형의 평등에 대한 요구 사항은 무엇입니까?

내 특성 Outer에는 두 개의 추상 멤버 유형 Inner1 및 Inner2이 있어야합니다. Inner2에 추상 회원 유형 Inner1 (을)를 갖고 싶습니다. Outer#Inner1이 Inner2#Inner1과 같아야한다는 요구 사항을 지정하고 싶습니다. 이것을하는 가장 설득력있는 방법은 무엇입니까? 지금까지 내가 가지고있다 trait HaveInner1