[논문 리뷰] C++ Standard Template Library by template specialized containers

Norbert Pataki|arXiv (Cornell University)|2011. 11. 15.

Software Engineering Research참고 문헌 17인용 수 4

한 줄 요약

이 논문은 템플릿 전문화와 사용자 정의 경고를 통해 C++ 표준 템플릿 라이브러리(이하 STL) 컨테이너의 위험하거나 구식 사용을 컴파일 시점에 탐지하고 경고하는 컴파일 시점 메커니즘을 제안한다. '믿어줘 표시'와 구식 클래스 표시자를 도입함으로써 vector<bool> 오용과 같은 문제 있는 패턴, 그리고 오래된 클래스 사용에 대한 경고를 가능하게 하여 런타임 오버헤드 없이 코드 안정성을 향상시킨다.

ABSTRACT

The C++ Standard Template Library is the flagship example for libraries based on the generic programming paradigm. The usage of this library is intended to minimize the number of classical C/C++ errors, but does not warrant bug-free programs. Furthermore, many new kinds of errors may arise from the inaccurate use of the generic programming paradigm, like dereferencing invalid iterators or misunderstanding remove-like algorithms. In this paper we present some typical scenarios that may cause runtime or portability problems. We emit warnings and errors while these risky constructs are used. We also present a general approach to emit "customized" warnings. We support the so-called "believe-me marks" to disable warnings. We present another typical usage of our technique, when classes become deprecated during the software lifecycle.

연구 동기 및 목표

• 잘못된 반복자나 remove 유사 알고리즘의 잘못된 사용과 같은 일반적인 STL 오용 패턴에 대한 컴파일 시점 안전 검사의 부재를 해결한다.
• 특히 일반 프로그래밍 환경에서 불량한 STL 사용으로 인한 런타임 및 이식성 문제를 줄인다.
• 위험하거나 구식 컨테이너 인스턴스화에 대해 컴파일 중 사용자 정의 경고를 발생시킬 수 있는 메커니즘을 제공한다.
• 개발자가 위험한 패턴을 인지하고 있음을 명시할 수 있도록 '믿어줘 표시'를 통해 경고를 비활성화할 수 있도록 하되, 기본적으로는 안전성을 유지한다.
• 소프트웨어 진화 과정에서 구식 클래스의 사용을 탐지하고 경고할 수 있도록 이 기법을 확장하여 장기적인 코드 유지보수성을 향상시킨다.

제안 방법

• vector<bool>와 같이 비트셋 유사 동작으로 인해 문제가 되는 특정 컨테이너 인스턴스화를 탐지하고 경고하기 위해 템플릿 전문화를 사용한다.
• 기존 컨테이너(예: vector)를 수정하지 않으면서도 후행 호환성을 유지하기 위해 기본값을 가진 새로운 템플릿 매개변수를 도입한다.
• 특수화된 컨테이너가 인스턴스화될 때 경동작이 발생하도록 경고 메커니즘을 구현하며, 진단 메시지를 출력하는 사용자 정의 경고 함수를 사용한다.
• 프로그래머가 위험을 명시적으로 인지하고 있음을 나타내기 위해 '믿어줘 표시'(예: I_KNOW_VECTOR_BOOL)라는 특수한 타입을 사용해 경고를 비활성화한다.
• 비슷한 기법을 활용해 클래스를 구식으로 표시하기 위해 템플릿 경고 래퍼(예: Deprecated<Foo>)를 상속함으로써 인스턴스화 시 경고를 발생시킨다.
• C++ 타입 시스템과 컴파일러 오류 보고 기능을 활용해 컴파일러나 런타임 동작을 수정하지 않고도 컴파일 시점에 경고를 생성한다.

실험 결과

연구 질문

• RQ1 vector<bool>와 같은 위험하거나 문제가 되는 STL 컨테이너 인스턴스화에 대해 컴파일 시점 경고를 어떻게 생성할 수 있는가?
• RQ2 개발자가 위험을 인지하고 있음에도 불구하고 경고를 비활성화할 수 있는 메커니즘은 무엇이며, 이는 안전성을 훼손하지 않도록 어떻게 설계될 수 있는가?
• RQ3 템플릿 전문화를 활용해 소프트웨어 진화 과정에서 사용 중단된 클래스의 사용을 탐지하고 경고할 수 있는가?
• RQ4 기존 C++ 컴파일 워크플로우에 통합되고 확장 가능한 방식으로 사용자 정의 경고를 어떻게 생성할 수 있는가?
• RQ5 이 기법은 런타임 비용 없이 일반 C++ 프로그램의 코드 안정성과 이식성을 어느 정도 향상시킬 수 있는가?

주요 결과

• 제안된 기법은 vector<bool>와 같이 잘 알려진 혼동과 암묵적 버그를 일으킬 수 있는 문제 있는 STL 컨테이너 인스턴스화에 대해 컴파일 시점 경고를 성공적으로 생성한다.
• '믿어줘 표시'의 사용은 개발자가 위험을 충분히 이해하고 있음을 확인할 경우 경고를 비활성화할 수 있도록 하여 안전성을 기본으로 유지하면서도 유연성을 제공한다.
• 템플릿 상속과 사용자 정의 경고 생성을 활용해 구식 클래스의 사용을 탐지하고 경고함으로써 장기적인 코드 유지보수성을 향상시킨다.
• 이 기법은 기존 C++ 코드와 완전히 호환되며 컴파일러 수정이 필요 없으며, 표준 템플릿 메타프로그래밍 기반으로만 구성된다.
• 경고는 컴파일 중에 발생하므로 런타임 실행이나 이식성 문제 발생 이전에 위험한 패턴을 조기에 탐지할 수 있다.
• 이 기법은 특정 컨테이너의 오용과 오래된 또는 폐기된 클래스의 사용을 모두 체계적으로 탐지할 수 있는 사용자 정의 경고의 적용 가능성을 입증한다.