MungGu Story

Generic Argument Clause swift 제네릭 문법 인자 항 swift 제네릭 인자 절은 제네릭 타입의 타입 인자들을 구체화합니다. 제네릭 인자 절은 꺽쇠 블럭 내에 감싸인 형태로 정의가 되는데, 그 형태의 예시는 아래와 같습니다. 꺽쇠 블럭 내에는 여러개의 제네릭 타입 인자, 제네릭 인자 리스트(Generic argument list) 형태로 정의할 수도 있는데 이때 각 제네릭 타입은 ',' 로 구분되어집니다. 이렇게 정의된 타입 인자에는 해당 타입의 제네릭 인자 절안에 들어가는 타입 인자들은 제네릭 인자 절 내에 정의된 타입에 맞는 구체적 형식의 타입입니다. 위 Dictionary 구조체 코드를 통해 Swift 표준 라이브러리의 제네릭 Dictinoary 자료구조 타입의 기본 버전을 볼..

Range Range는 제네릭 구조체로, 반개방 상태의 간격을 표현하는 제네릭 구조체입니다. Range는 최저값을 포함하고, 최대값을 포함하지 않는 간격(A..

Extensions with a Generic Where Clause Swift Extension에 Where 절 활용하기 개발자는 extension에 제네릭 where 절을 활용할 수도 있습니다. 아래의 예시 코드는 스위프트로 커스텀 정의한 Stack 구조에 대한 extension 사용 예시를 보여주는데요. 해당 Stack 타입에서는 isTop(_:) 메서드를 추가로 정의하고 있습니다. Stack타입에서 새롭게 정의된 isTop(_:) 메서드는 해당 타입이 비어있는지를 체크하는데 사용합니다. 컬렉션의 last 값이 존재하지 않는 다는 것은 비어있다는 것을 의미하게 됩니다. 이 때, 만약 제네릭 where 절을 활용하지 않는다면 문제가 발생할 수도 있습니다! isTop(_:) 메서드는 == 연산자를 사용..

Opaque Types 불투명 타입 Opaque 반환 타입을 가진 함수, 메서드는 자신의 반환타입 정보를 외부에 숨길 수 있습니다. 일반적인 반환타입 처럼 명확한 반환 타입을 외부에 제공하는 대신 말이지요. // OpaqueType 사용 예시, 반환타입은 Shape 프로토콜을 채택한 어떠한 타입이던 될 수 있습니다. // -> 즉, 말 그대로 불투명한 타입(Opaque Type)입니다. func flip(_ shape: T) -> some Shape { return FlippedShape(shape: shape) } 반환타입을 숨기는 것은 모듈로 호출되는 코드와 모듈 사이에서 유용하게 사용되어질 수 있습니다.그 이유는 반환타입에 의존하는 타입은 private으로 유지될 수도 있기 때문입니다. 반환할때 일..