Item 31. 한정적 와일드카드를 사용해 API 유연성을 높이라 #87
Open
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
gwonii
approved these changes
Feb 5, 2021
| MAnySequence.make([1, 2, 3, 4, 5]).forEach { print($0) } | ||
| MAnySequence.make([1 ..< 4]).forEach { print($0) } | ||
| ``` | ||
|
|
There was a problem hiding this comment.
Type Erasure 로 직접 타입을 랩핑하는 경우 대신 Opaque 타입을 통해 컴파일 타임에 에러를 안나게 하는 방법도 있더군요..
그래서 Opaque 타입을 가지고 이것저것 해봤는데
일반 메소드의 return 타입이나 properyt에는 사용할 수 있는데
매개변수나 clousure의 return 값으로는 사용할 수가 없네요.
혹시 Opapue type에 대해서는 어떻게 생각하시는지요~~~~?
ehgud0670
approved these changes
May 2, 2021
| func put<C: Car>(in garage: Garage<C>) { ... } | ||
|
|
||
| put(in: Garage<Car>()) | ||
| put(in: Garage<PoliceCar>()) // 가능 |
There was a problem hiding this comment.
이 부분은 제네릭을 메소드에 적용했기 때문에 컴파일 통과한거고, 결국엔 자바의 한정적 와일드 카드의 역할은 못하는거군요?!
이렇게 작성하면 컴파일에러가 뜨더라고요.
class Stack<E: Car> {
func push(_ e: Garage<E>) { }
}
abc.push(Garage<Car>())
abc.push(Garage<PoliceCar>()) // 컴파일 에러! Cannot convert value of type 'Garage<PoliceCar>' to expected argument type 'Garage<Car>'
There was a problem hiding this comment.
오 그렇네요 type constraint도 메서드 범위 내에서만 적용 가능한가봅니다
delmaSong
approved these changes
May 30, 2021
| func put<C: Car>(in garage: Garage<C>) { ... } | ||
|
|
||
| put(in: Garage<Car>()) | ||
| put(in: Garage<PoliceCar>()) // 가능 |
There was a problem hiding this comment.
오 그렇네요 type constraint도 메서드 범위 내에서만 적용 가능한가봅니다
dev-Lena
approved these changes
May 31, 2021
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
자바 제네릭 불공변으로 인한 API 제약을 해결하는 한정적 와일드카드 타입에 대해 요약하고, Objective-C에서의
__covariant와__contravariant를 소개하였습니다.스위프트에서의 공변/불공변에 대해 정리하고 한정적 와일드카드 타입과 유사한 기능을 구현할 수 있는 방식과 그 한계에 대한 내용, 그리고 스위프트에서 공변인 경우에 대한 설명을 추가하였습니다.
Closes #67