답변

문제의 역사

C++는 처음에 매크로(#define)와 상수(const)만 지원했습니다. 그러나 컴파일 타임에 값을 정의하는 데에는 이것으로는 부족했습니다. C++11에서는 constexpr이라는 키워드가 도입되어 프로그램 실행 중이 아니라 컴파일 타임에 값을 계산할 수 있게 되었습니다.

문제

constexpr이 등장하기 전에는 많은 문제를 매크로(타입 안전성이 없는 거친 텍스트 치환 도구)나 const를 이용해 해결해야 했습니다. 그러나 const는 항상 컴파일 타임에 표현식을 계산한다고 보장하지 않았습니다. 이로 인해 프로그램 최적화가 어려워지고 예측할 수 없는 동작을 초래했습니다.

해결책

constexpr는 선언된 표현식이 가능할 경우 반드시 컴파일 타임에 계산될 것임을 컴파일러에게 보장합니다. 이는 안전하고 효율적으로 컴파일 타임에 계산될 수 있는 함수, 변수, 심지어 클래스의 생성자 및 메서드를 선언하는 데 사용됩니다.

코드 예시:

constexpr int Square(int x) {
    return x * x;
}
constexpr int size = Square(5); // size는 컴파일 타임에 계산됨
const int arr[size] = {}; // 배열 크기로 사용 가능

주요 특징:

가능할 경우 컴파일 타임에 계산을 보장합니다.
변수뿐만 아니라 함수, 메서드, 생성자도 선언할 수 있습니다.
조기 계산과 타입 안전성을 통해 성능을 향상시킵니다.

함정 질문.

어떤 함수든 constexpr로 사용할 수 있나요?

아니요. 함수는 일련의 제한을 충족해야 하며, 충분히 간단해야 하고 (C++14 이전에는) 하나의 return 문을 포함해야 하거나 (C++14 이후에는) 오직 상수 계산 코드만 포함해야 합니다.

constexpr int f(int x) { 
    return x + 2; 
} // ok

constexpr int g(int x) {  
    int y = x + 2; 
    return y;
} // C++14 이전: 컴파일되지 않음! 이후에는 가능

모든 constexpr 변수가 컴파일 타임에 계산될 수 있나요?

아니요. 초기화에 비상수 값이 사용되거나 표현식을 컴파일 타임에 계산할 수 없는 경우 오류가 발생합니다.

int val;
// constexpr int x = f(val); // 오류: val이 초기화되지 않음!

constexpr와 const의 차이는 무엇인가요?

const는 변경 불가능성만 보장하지만, 컴파일 타임에 계산된다는 보장은 없습니다. constexpr는 (가능한 경우) 컴파일 타임에 값을 계산해야 합니다.

const int x = time(nullptr); // ok, 하지만 실행 시간에 계산됨
constexpr int y = 42;        // ok, 컴파일 타임에 계산됨

일반적인 오류와 안티 패턴

const와 constexpr의 혼동
C++14 이전에 constexpr 함수에서 복잡한 논리 구조를 사용하려는 시도
constexpr 컨텍스트에서 비상수 변수를 잘못 사용하는 경우

실제 예시

부정적 케이스

개발자가 모든 원의 면적 계산을 위해 #define PI 3.14를 사용합니다.

장점:

작성하기 간단함

단점:

타입 안전성이 없어 치환 오류 가능성
템플릿이나 배열 매개변수에서 constexpr로 사용할 수 없음

긍정적 케이스

개발자가 constexpr double PI = 3.141592653589793;와 템플릿 constexpr 함수를 사용하여 계산합니다.