답변

스위프트 5.5의 출시와 함께 언어에 ownership model과 move semantics 개념이 통합되어 데이터 소유에 대한 제어를 강화하고 컴파일러가 이동을 최적화하여 복사 수를 줄일 수 있게 되었습니다. 이는 고성능 시나리오에서 중요합니다.

Move semantics는 값을 전달할 때 (예: struct) 해당 값을 복사하지 않고 소유권을 "전달" 할 수 있음을 의미합니다. 이 경우 컴파일러는 원본 변수를 무효화할 수 있습니다 (C++의 move와 유사). 현재 ownership model과 move semantics는 더 실험적인 형태로 구현되어 있으며 (actor isolation, sendable types, @_move, consuming/self-consuming) 공용 API로 나올 것을 약속하고 있습니다.

ARC와의 주요 차이점은 move semantics가 value types에 적용되며, ARC는 참조 객체의 생명 주기를 관리합니다.

예시 (소유권 세멘틱, Swift 5.5+):

func consume<T>(_ x: __owned T) { /* ... */ }
struct LargeArray {
    var storage: [Int]
    mutating func clear() {
        storage.removeAll()
    }
    consuming func consumeSelf() {
        // 호출 후 self는 접근 불가
    }
}

소유권 관리는 큰 구조체와 작업할 때 예기치 않은 복사를 방지할 수 있습니다.

세부사항:

• Move semantics는 현재 모든 곳에서 명시적으로 사용할 수는 없지만, 개념적으로는 이미 컴파일러에 의해 사용되고 있습니다.
• Copy-on-write 컬렉션은 항상 "move"를 허용하지 않으며, 스레드 간에 전달될 때 복사가 발생합니다.
• 멀티스레드 시나리오에서는 소유권을 올바르게 설정하는 것이 중요합니다 (Sendable, actor isolation).

트릭 질문

스위프트에서 구조체 객체를 함수에 값으로, 참조로, 그리고 move semantics로 전달하는 것의 차이는 무엇입니까?

답변:

• 값으로 전달하기 (복사)는 객체의 복사본을 생성합니다.
• 참조로 전달하기는 inout을 통해 구현되며, 함수가 원본 변수를 변경할 수 있습니다.
• Move semantics (실험적/조만간 공개)는 객체에 대한 소유권을 전달하며, 원본 인스턴스를 무효화하고 복사를 제외합니다.

예시:

func foo(_ x: MyStruct) { /* 복사 */ }
func bar(_ x: inout MyStruct) { /* 참조 */ }
func baz(_ x: __owned MyStruct) { /* move semantics, 복사하지 않음 */ }

테마의 미세한 차이로 인한 실제 오류 사례

---

이야기

프로젝트에서 큰 구조체를 함수로 전달할 때마다 항상 암묵적 복사가 발생하여 메모리 비용이 증가했습니다. 실험적 move semantics와 더 정교한 소유권 관리가 도입된 후 부하를 깔끔하게 재분배하고 핵심 구역을 가속화할 수 있었습니다.

---

이야기

많은 개발자들이 inout을 잘못 사용하여 move를 이루는 것으로 생각했고, 값이 여전히 접근 가능하여 변수가 모호한 소유권을 가지게 되어 버그와 논리 오류가 발생했습니다.

---

이야기

스레드 간 데이터 관리 오류: 구조체에 Sendable 한정자가 없어 예기치 않은 복사 또는 큰 구조체를 actor 또는 Task를 통해 비동기적으로 작업할 때 소유권 오류가 발생했습니다.