Constant expressions

여러 종류의 표현식이 상수 표현식 으로 알려져 있습니다.

전처리기 상수 표현식

다음 표현식 #if 또는 #elif 은(는) 확장되어야 합니다

• 연산자 중 할당 , 증가, 감소 , 함수 호출 , 또는 콤마 이외의 연산자들로, 인자가 전처리기 상수 표현식인 경우
• 정수 상수
• 문자 상수
• 특수 전처리기 연산자 defined .

문자 상수는 #if -표현식에서 평가될 때, 소스 문자 집합, 실행 문자 집합 또는 기타 구현 정의 문자 집합으로 해석될 수 있습니다.

정수 상수 표현식

정수 상수 표현식은 오직 다음으로만 구성된 표현식입니다.

• 연산자 중 대입 , 증가, 감소 , 함수 호출 , 또는 콤마 연산자를 제외한 연산자들. 단, 캐스트 연산자는 산술 타입을 정수 타입으로만 변환할 수 있으며, sizeof 연산자의 피연산자 일부인 경우는 예외 , _Alignof (C11부터) (C23 이전) , alignas (C23부터) 또는 typeof/typeof_unqual (C23부터) 연산자의 피연산자인 경우는 제외.
• 정수 상수
• 열거형 상수
• 문자 상수
• 부동 소수점 상수 , 단 정수 타입으로의 캐스트 연산자에 바로 사용되는 경우에만
• sizeof 연산자 (피연산자가 VLA가 아닌 경우) (C99부터)

정수 상수 표현식은 컴파일 타임에 평가됩니다. 다음 컨텍스트에서는 정수 상수 표현식 으로 알려진 표현식이 필요합니다:

• 비트 필드 의 크기
• 열거형 상수 의 값
• switch 문 의 case 레이블
• 비 VLA (C99부터) 배열의 크기
• 정수에서 포인터로의 암시적 변환 .

정적 초기화자

정적 및 스레드 지역 초기화 에서 객체의 저장 기간 을 갖는 또는 constexpr 저장 클래스 지정자로 선언된 (C23부터) 객체의 초기화에 사용되는 표현식은 문자열 리터럴이거나 다음 중 하나일 수 있는 표현식이어야 합니다

정수 상수 표현식과 달리, 정적 초기화 표현식은 컴파일 타임에 평가될 필요가 없습니다; 컴파일러는 이러한 초기화 코드를 프로그램 시작 전에 호출되는 실행 코드로 변환할 자유를 가집니다.

static int i = 2 || 1 / 0; // i를 값 1로 초기화

부동 소수점 정적 초기화자의 값은 런타임에 동일한 표현식을 실행한 값보다 정확도가 낮은 경우는 절대 없지만, 더 나을 수는 있습니다.

부동 소수점 상수 표현식

정적 초기화자에서 사용되지 않는 부동 소수점 타입의 산술 상수 표현식은 항상 런타임 중인 것처럼 평가되며, 현재 반올림 모드 (만약 FENV_ACCESS 가 켜져 있을 경우)의 영향을 받고 math_errhandling 에 지정된 대로 오류를 보고합니다.

void f(void)
{
#pragma STDC FENV_ACCESS ON
    static float x = 0.0 / 0.0; // 정적 초기화: 예외를 발생시키지 않음
    float w[] = { 0.0 / 0.0 };  // 예외를 발생시킴
    float y = 0.0 / 0.0;        // 예외를 발생시킴
    double z = 0.0 / 0.0;       // 예외를 발생시킴
}

참고 사항

표현식이 해당 타입으로 표현할 수 없는 값으로 평가될 경우, 상수 표현식으로 사용할 수 없습니다.

구현체는 다른 형태의 상수 표현식을 허용할 수도 있습니다. 그러나 이러한 상수 표현식은 정수 상수 표현식, 산술 상수 표현식, 또는 주소 상수 표현식으로 간주되지 않으며, 따라서 이러한 종류의 상수 표현식이 필요한 문맥에서 사용될 수 없습니다. 예를 들어, int arr [ ( int ) + 1.0 ] ; 는 VLA를 선언합니다.

참고문헌

참고 항목