C++ 상수 지정 (const, constexpr, consteval)

👉 포스팅 내용

• 오늘은 Const, Constexpr, Consteval의 역할에 대해서 알아보도록 하겠습니다.

👉 사용해야 하는 이유

우리가 배열을 생성할 때 한 가지 문제점이 있습니다.
바로 배열의 크기는 "컴파일 시간"에 결정됩니다.
그렇다는 의미는 아래의 코드는 실행이 불가능하다는 의미입니다.
 
✅ 코드

#include <iostream>

const int GetSize(int a)
{
	return a + 5;
}

int main()
{
	int array[GetSize(5)];
}

 
✅ 실행결과

// Error 발생
// 식에 상수 값이 있어야합니다.
// 식이 상수로 계산되지 않습니다.

이러한 에러코드는 띄우며 실행이 안될 것입니다.
신기하게도.. GetSize() 함수는 const int를 반환하는 함수인데 말이죠.
해결 방안은 2가지가 있습니다.

1. 동적 배열을 만들어서 힙 영역에 할당
2. constexpr, consteval을 사용

이번 포스팅에서는 2번의 경우로 설명드리겠습니다.

👉 사용방법 (constexpr)

사용방법은 매우 간단합니다.
기존에 const를 적었던 자리에 constexpr, consteval 키워드로 변경해서 사용합니다.

• constexpr : 컴파일 시간에 평가가 될 수 있음 (C++ 11부터 지원)
• consteval : 컴파일 시간에만 평가됌 (C++ 20부터 지원)

 
✅ 코드

#include <iostream>

constexpr int GetSize(int a)
{
	return a + 5;
}

int main()
{
	int array[GetSize(5)];
}

 
✅ 실행결과

// 정상적으로 실행

이렇게만 보면 언제 consteval을 사용할지 잘 모르겠는데.. 다음 코드를 보시죠!
예를 들어 컴파일 시간에만 평가가 되어야 하는 함수가 있을 수 있는데.. 이런 상황을 방지하기 위해 있는 것입니다.

👉 사용방법 (consteval)

✅ 코드

#include <iostream>

consteval int GetSize(int a)
{
	return a + 5;
}

int main()
{
	int x = 10;
	GetSize(x);
}

 
✅ 실행결과

// constval 함수 "GetSize" 호출에서 유호한 상수 식이 생성되지 않았습니다.

이처럼 컴파일 시간에 결정되지 못하는 문법의 경우 에러를 발생시킵니다.