[스위프트(Swift) 프로그래밍] - 왜 Swift의 클래스(Class)에는 멤버와이즈 초기화(Memberwise Init)가 없을까?

🧐 왜 struct만 자동 생성 초기화(Memberwise Init)가 존재하고 class에는 이 편한 기능을 넣어주지 않았을까?

• struct를 사용하다보면 memberwise init이라는 편리한 기능을 자주 활용하게 됩니다. 그런데 이 편리한 기능을 왜 class는 넣어주지 않아서 항상 init을 생성하게 하는지에 대한 의문이 들었습니다. 저와 비슷한 의문을 가진 분들이 있어서 그분들의 글을 참고해 설명해보겠습니다.

📂 우선 아래의 글을 살펴보겠습니다.

The logic behind it could be because a struct is not subclassable, making it obvious that a complete initializer would be required, and as such it was made implicit by the language.

On the other hand, a class is subclassable, and as such you may want to design it so that it can only be initialized from subclasses, and as such an implicit initializer was not provided by the language.

Ref: 출처

(해석)struct는 상속이 불가능하기 때문에 해당 struct에서 init을 꼭 필요로합니다. 그래서 Swift 자체에서 자동화된 기능을 제공합니다. 하지만 class의 경우 상속이 가능하므로, 설계상 해당 클래스가 서브클래스에서만 초기화되야할 필요성이 있을 수 있습니다. 즉, 상속 가능성에서 차이가 발생합니다.

📂 이를 좀 더 구체적으로 설명한 글이 있습니다.

...

The main reason is that classes have inheritance, which would make memberwise initializers difficult to work with. Think about it: if I built a class that you inherited from, then added some properties to my class later on, your code would break – all those places you relied on my memberwise initializer would suddenly no longer work.

So, Swift has a simple solution: rather than automatically generating a memberwise initializer, authors of classes must write their own initializer by hand. This way, you can add properties as much as you want without affecting the initializer for your class, and affecting others who inherit from your class. And when you do decide to change your initializer, you’re doing yourself, and are therefore fully aware of the implications for any inheriting classes.

Ref: 출처

정리해보면 위에서 언급한대로 class에 memberwise가 없는 이유는 간단히 말해서는 '상속'이고, 조금 더 정확히 얘기하면 '자동화된 초기화가 존재할 경우 상속의 상황에서 발생할 수 있는 오류를 개발자가 직접 변경하는 작업이 더 번거롭기 때문에'라고 정의할 수 있습니다.

🙋 예시로 이해해보기

위의 상황을 조금더 직관적으로 이해해보기 위해 예시를 만들어보겠습니다.

class Car {
    var name: String
    init(name: String) {
        self.name = name
    }
}

class Lambo: Car {
    var engine: String 
    init(engineName: String) {
        self.engine = engineName
        super.init(name: "Lambo")
    }
}

let myCar = Lambo(engine: "V10")
print(myCar.name)
print(myCar.engine)

위의 예시는 코드상 문제될 것이 없는 코드입니다. 자동차라는 객체가 존재하고, 이것을 상속받아 Lambo라는 객체가 생성됩니다. 이것을 귀류법(?)으로 생각하여 만약 class에 memberwise init 기능이 존재한다면? 이라는 생각을 해보겠습니다.

우선 클래스 Car는 init이 명시되지 않아도 되기 때문에 name이라는 프로퍼티만 가져도 상관이 없습니다. Memberwise Init이 name을 정의해줄 것이기 때문이죠! 그리고 아래 Lambo에서는 마찬가지로 Car의 이름으로 Lambo를 정의할 것입니다. 만약 이 상황에서 Car에 modelName이라는 프로퍼티가 추가되면 어떻게 될까요? Lambo는 즉시 에러를 발생시킬 것입니다. 물론, 위의 예시처럼 간단한 구조의 경우 즉시 수정 가능할 수 있습니다. 하지만 위의 구조가 100개가 생기고, 추가적으로 매우 복잡한 아키텍쳐로 구성되어있다면 어떨까요? 수정 작업 자체가 매우 힘들어질 수 있습니다. 안그래도 힘든 수정작업에, 묵시적으로 선언 되어있는 init을 수정하는 것은 훨씬 더 번거로운 작업이 될 수 있습니다.

👏 최종 정리

class에서 Memberwise Init 기능을 구현해주었다면 기능상에 큰 문제를 일으킬까요? 이것에 대한 대답은 "해결할 수 있는 문제일 가능성이 크다"라고 할 수 있습니다. 그럼 왜 기능이 없는 걸까요? 여기에 대한 대답은 "자동화된 기능이 문제를 일으킬 여지가 있기 때문에 직접 구현하게 만드는 것이 오히려 작업을 편하게 만들어 줄 수 있다" 라고 정리할 수 있습니다.