C Language
제약 조건

비고

같은 범위에 중복 된 변수 이름

C 표준에서 표현 된 제약 조건의 예는 범위 ¹ 에서 선언 된 동일한 이름의 두 변수를 갖는 것입니다. 예를 들면 다음과 같습니다.

void foo(int bar)
{
    int var;
    double var;
}

이 코드는 제약 조건을 위반하고 컴파일시 진단 메시지를 생성해야합니다. 이는 프로그램이 실행되기 전에 개발자가 문제를 알게 될 가능성이 있으므로 정의되지 않은 동작과 비교할 때 매우 유용합니다.

제약 조건은 이와 같이 컴파일 시간에 쉽게 감지 할 수있는 오류가되는 경향이 있습니다. 정의되지 않은 동작을 초래하지만 컴파일 시간에 감지하기 어렵거나 불가능한 문제는 제약 사항이 아닙니다.

1) 정확한 표현 :

단항 산술 연산자

단항 + 및 - 연산자는 산술 유형에서만 사용할 수 있습니다. 따라서 예를 들어 struct에서 구조체를 사용하려고하면 프로그램에서 진단을 생성합니다. 예 :

struct foo
{
    bool bar;
};

void baz(void)
{
   struct foo testStruct;
   -testStruct; /* This breaks the constraint so must produce a diagnostic */
}