Qt가 시그널과 슬롯에 Moc을 사용하는 이유는 무엇인가?

템플릿은 C++에 내장된 메커니즘으로, 컴파일러가 전달된 인자의 유형에 따라 코드를 즉석에서 생성할 수 있게 해줍니다. 따라서 템플릿은 프레임워크 개발자들에게 매우 흥미로운 주제이며, Qt에서도 여러 곳에서 고급 템플릿을 사용하고 있습니다. 하지만 다음과 같은 한계가 있습니다: 템플릿으로 쉽게 표현할 수 있는 것도 있는 반면, 템플릿으로는 표현할 수 없는 것도 있습니다. 포인터 유형에 대한 부분 전문화를 적용하더라도 제네릭 벡터 컨테이너 클래스는 쉽게 표현할 수 있지만, 문자열로 주어진 XML 설명을 기반으로 그래픽 사용자 인터페이스를 설정하는 함수는 템플릿으로 표현할 수 없습니다. 그리고 그 중간에는 회색 지대가 존재합니다. 코드 크기, 가독성, 이식성, 사용성, 확장성, 견고성, 그리고 궁극적으로는 설계의 아름다움을 희생하는 대가로 템플릿을 이용해 어설프게 해결할 수 있는 것들입니다. 템플릿과 C 전처리기 모두를 극한까지 활용하면 믿기 힘들 정도로 영리하고 놀라운 일을 해낼 수 있습니다. 하지만 그런 일이 가능하다고 해서, 반드시 그렇게 하는 것이 올바른 설계 선택이라고 할 수는 없습니다. 안타깝게도 코드는 책에 실리기 위한 것이 아니라, 실제 운영 체제에서 실제 컴파일러로 컴파일되어 실행되도록 만들어진 것입니다.

Qt가 moc을 사용하는 몇 가지 이유는 다음과 같습니다:

구문의 중요성

구문은 단순한 장식(sugar)이 아닙니다. 알고리즘을 표현하는 데 사용하는 구문은 코드의 가독성과 유지 관리성에 상당한 영향을 미칠 수 있습니다. Qt의 시그널과 슬롯에 사용된 구문은 실제 적용에서 매우 성공적인 것으로 입증되었습니다. 이 구문은 직관적이고, 사용하기 쉬우며, 읽기 쉽습니다. Qt를 배우는 사람들은 이 구문이 신호와 슬롯이라는 개념이 매우 추상적이고 일반적임에도 불구하고, 이를 이해하고 활용하는 데 도움이 된다고 느낍니다. 이는 프로그래머들이 디자인 패턴에 대해 따로 고민할 필요 없이 처음부터 올바른 설계를 할 수 있도록 돕습니다.

코드 생성기는 유용하다

moc Qt XML의 Meta-Object Compiler( moc, MOC)는 컴파일 언어의 기본 기능을 뛰어넘는 깔끔한 방법을 제공합니다. 이는 표준 C++ 컴파일러로 컴파일할 수 있는 추가 C++ 코드를 생성함으로써 이루어집니다. moc 는 C++ 소스 파일을 읽습니다. 만약 ` Q_OBJECT ` 매크로를 포함하는 하나 이상의 클래스 선언을 발견하면, 해당 클래스에 대한 메타 객체 코드가 포함된 또 다른 C++ 소스 파일을 생성합니다. ` `에 의해 생성된 C++ 소스 파일은 컴파일되어 해당 클래스의 구현체와 링크되어야 합니다(또는 ` #included `를 통해 클래스 소스 파일에 삽입될 수도 있습니다). 일반적으로 ` moc `는 수동으로 호출되지 않고 빌드 시스템에 의해 자동으로 호출되므로, 프로그래머가 별도의 작업을 할 필요가 없습니다.

moc 는 Qt가 사용하는 유일한 코드 생성기가 아닙니다. 또 다른 대표적인 예로는 uic (User Interface Compiler)가 있습니다. 이 도구는 XML 형식의 사용자 인터페이스 설명을 입력으로 받아 폼을 설정하는 C++ 코드를 생성합니다. Qt 외부에서도 코드 생성기는 흔히 사용됩니다. 예를 들어, rpc 및 idl 는 프로그램이나 객체가 프로세스나 시스템 경계를 넘어 통신할 수 있도록 해줍니다. 또는 lex 와 yacc 가 가장 잘 알려진 수많은 스캐너 및 파서 생성기들이 있습니다. 이들은 문법 사양을 입력으로 받아 상태 머신을 구현하는 코드를 생성합니다. 코드 생성기의 대안으로는 해킹된 컴파일러, 독점 언어, 또는 컴파일 시점이 아닌 설계 시점에 난해한 코드를 생성하는 일방향 대화 상자나 마법사를 갖춘 그래픽 프로그래밍 도구가 있습니다. 저희는 고객을 독점적인 C++ 컴파일러나 특정 통합 개발 환경(IDE)에 묶어두기보다는, 고객이 선호하는 어떤 도구든 사용할 수 있도록 지원합니다. 프로그래머들에게 생성된 코드를 소스 저장소에 강제로 추가하도록 요구하는 대신, 저희 도구를 빌드 시스템에 통합하도록 권장합니다. 이는 더 깔끔하고 안전하며 UNIX의 정신에 더 부합하는 방식입니다.

GUI는 동적입니다

C++은 표준화되고 강력하며 정교한 범용 언어입니다. 운영 체제 전체, 데이터베이스 서버, 고성능 그래픽 애플리케이션부터 일반적인 데스크톱 애플리케이션에 이르기까지 모든 종류의 애플리케이션을 아우르는 광범위한 소프트웨어 프로젝트에서 활용되는 유일한 언어입니다. C++의 성공 비결 중 하나는 ANSI C 호환성을 유지하면서도 최대 성능과 최소 메모리 소비에 중점을 둔 확장 가능한 언어 설계에 있습니다.

이러한 모든 장점에도 불구하고 몇 가지 단점이 있습니다. 컴포넌트 기반 그래픽 사용자 인터페이스 프로그래밍에 있어 C++의 정적 객체 모델은 Objective C의 동적 메시징 방식에 비해 명백한 단점입니다. 고성능 데이터베이스 서버나 운영 체제에 적합한 것이 반드시 GUI 프론트엔드에 대한 올바른 설계 선택은 아닙니다. ‘ moc ’를 통해 우리는 이러한 단점을 장점으로 전환했으며, 안전하고 효율적인 그래픽 사용자 인터페이스 프로그래밍이라는 과제를 해결하는 데 필요한 유연성을 추가했습니다.

저희의 접근 방식은 템플릿으로 할 수 있는 어떤 것보다 훨씬 더 나아갑니다. 예를 들어, 객체 속성을 가질 수 있습니다. 또한 오버로드된 시그널과 슬롯을 가질 수 있는데, 이는 오버로드가 핵심 개념인 언어로 프로그래밍할 때 자연스럽게 느껴집니다. 저희의 시그널은 클래스 인스턴스의 크기에 0바이트만 추가하므로, 바이너리 호환성을 깨지 않고도 새로운 시그널을 추가할 수 있습니다.

또 다른 장점은 런타임에 객체의 시그널과 슬롯을 탐색할 수 있다는 점입니다. 연결하려는 객체의 정확한 타입을 알 필요 없이, 타입 안전성이 보장된 이름 기반 호출(call-by-name)을 사용하여 연결을 설정할 수 있습니다. 이는 템플릿 기반 솔루션으로는 불가능한 일입니다. 이러한 런타임 인트로스펙션은 새로운 가능성을 열어주며, 예를 들어 Qt Widgets Designer 의 XML UI 파일에서 생성되고 연결되는 GUI를 구현할 수 있습니다.

호출 성능이 전부는 아니다

Qt의 시그널 및 슬롯 구현은 템플릿 기반 솔루션만큼 빠르지 않습니다. 일반적인 템플릿 구현에서 시그널을 발송하는 데 드는 비용은 대략 4회의 일반 함수 호출에 해당하지만, Qt의 경우 약 10회의 함수 호출에 상응하는 비용이 듭니다. Qt 메커니즘에는 제네릭 마샬러, 인트로스펙션, 서로 다른 스레드 간의 큐에 쌓인 호출, 그리고 궁극적으로는 스크립트 지원 기능이 포함되어 있으므로 이는 놀라운 일이 아닙니다. Qt는 과도한 인라인화나 코드 확장에 의존하지 않으며, 타의 추종을 불허하는 런타임 안전성을 제공합니다. Qt의 이터레이터는 안전하지만, 더 빠른 템플릿 기반 시스템의 이터레이터는 그렇지 않습니다. 여러 수신자에게 신호를 발송하는 과정 중에도, 프로그램이 충돌하지 않고 해당 수신자를 안전하게 삭제할 수 있습니다. 이러한 안전성이 없다면, 애플리케이션은 디버깅하기 어려운 해제된 메모리 읽기 또는 쓰기 오류로 인해 결국 충돌하게 될 것입니다.

그럼에도 불구하고, 템플릿 기반 솔루션이 시그널과 슬롯을 사용하는 애플리케이션의 성능을 향상시킬 수는 없을까요? Qt가 시그널을 통해 슬롯을 호출하는 데 약간의 오버헤드를 추가하는 것은 사실이지만, 호출 비용은 슬롯의 전체 비용에서 차지하는 비중이 미미합니다. Qt의 시그널 및 슬롯 시스템에 대한 벤치마킹은 일반적으로 빈 슬롯을 사용하여 수행됩니다. 슬롯에서 유용한 작업(예: 몇 가지 간단한 문자열 연산)을 수행하는 즉시, 호출 오버헤드는 무시할 수 있을 정도로 작아집니다. Qt의 시스템은 매우 잘 최적화되어 있어, operator new나 delete가 필요한 작업(예: 문자열 연산이나 템플릿 컨테이너에 무언가를 삽입하거나 제거하는 작업)은 신호를 발송하는 것보다 훨씬 더 많은 비용이 듭니다.

참고: 성능이 중요한 작업의 타이트한 내부 루프에 시그널과 슬롯 연결이 있고, 이 연결이 병목 현상임을 확인했다면, 시그널과 슬롯 대신 표준 리스너 인터페이스 패턴을 사용하는 것을 고려해 보십시오. 이러한 경우, 어차피 1:1 연결만 필요할 가능성이 높습니다. 예를 들어, 네트워크에서 데이터를 다운로드하는 객체가 있다면, 요청한 데이터가 도착했음을 알리기 위해 신호를 사용하는 것은 지극히 합리적인 설계입니다. 하지만 소비자에게 바이트 단위로 데이터를 하나씩 전송해야 하는 경우에는 신호와 슬롯 대신 리스너 인터페이스를 사용하십시오.

제한 없음

신호와 슬롯을 위한 ` moc `가 있었기 때문에, 템플릿으로는 구현할 수 없었던 다른 유용한 기능들을 추가할 수 있었습니다. 여기에는 생성된 ` tr() ` 함수를 통한 범위 기반 변환과, 인트로스펙션 및 확장된 런타임 유형 정보를 갖춘 고급 속성 시스템이 포함됩니다. 속성 시스템만으로도 큰 이점이 됩니다. Qt Widgets Designer 와 같은 강력하고 일반적인 사용자 인터페이스 설계 도구는, 강력하고 반사 기능을 갖춘 속성 시스템이 없다면 작성하기가 훨씬 더 어려웠을 것이며, 심지어 불가능했을 수도 있습니다. 하지만 이뿐만이 아닙니다. 또한 시스템의 RTTI에 의존하지 않아 그 한계를 공유하지 않는 동적 qobject_cast<T>() 메커니즘도 제공합니다. 우리는 이를 사용하여 동적으로 로드된 컴포넌트에서 인터페이스를 안전하게 조회합니다. 또 다른 적용 분야는 동적 메타 객체입니다. 예를 들어, ActiveX 컴포넌트를 가져와 런타임에 이를 둘러싼 메타 객체를 생성할 수 있습니다. 또는 Qt 컴포넌트의 메타 객체를 내보냄으로써 해당 컴포넌트를 ActiveX 컴포넌트로 내보낼 수도 있습니다. 템플릿으로는 이러한 작업 중 어느 것도 수행할 수 없습니다.

moc 를 활용한 C++은 C++ 고유의 성능 및 확장성 이점을 유지하면서도, 본질적으로 Objective-C나 Java 런타임 환경(JRE) 수준의 유연성을 제공합니다. 이것이 바로 오늘날 Qt를 유연하고 사용하기 편리한 도구로 만들어 주는 요소입니다.