왜 SwiftUI의 첫번째 구문에 var body: some View 인가 에 대해서 궁금했다.

공부를 하게 되었더니, Opaque타입이라는 게 있었다.

Opaque타입을 이해하면 some을 알수있다나 뭐라나.

아무튼 공부해보자!

opaque타입을 이해하기 위해서는 우선적으로 generic을 이해할 필요가 있다.

generic(지네릭)

지네릭은 함수를 호출할때 type을 type parameter를 통해서 정해주게 된다.

즉 지네릭은 함수를 호출할때, 호출자가 placeHolder의 해당 타입을 추론해서 정해주는 역할을 하게 된다.

• 여기서의 placeHolder란 <T> 로된것을 의미하며, 매개변수를 받는 것을 의미한다.
• 지네릭에서 중요한것은, 구현부에서는 타입을 숨기지만, 후출부 즉, 사용할때(선언시)에는 타입을 작성해서 알려준다는 것이다.

구현부 → 타입을 알수없다.

선언부 → 타입을 알수 있다.

Opaque타입

opaque타입은 reverse generic이라고 한다.

우선 opaque타입은 이렇게 사용된다.

• 함수(메소드)의 리턴타입
• stored property 타입
• computed property 타입