변수가 초기화되지 않은 경우 언제 오류로 throw하고 언제 가비지 값을 제공합니까?

Question

난 ideone.com을 사용하여 다음과 같은 코드를 실행 :

#include <stdio.h> 

int main(void) 
{ 
    int i,j=0; 
    if(j) 
    { 
     j=0; //To suppress the warning that j is not used 
     i=1; 
    } 
    printf("%d\n",i); 
} 

출력 : 쓰레기 값 :

#include <stdio.h> 

int main(void) 
{ 
     int i; 
     if(0) 
     {   
     i=1; 
     } 
     printf("%d\n",i); 
} 

출력 : 컴파일러 (0) 블록을 제거하기 때문에

Error: unitialized local variable i used.

가인가 완전히 최적화하는 동안? 그리고 그것은 변수이므로 if (j)의 경우에는 그런 최적화를 할 수 없습니까? 컴파일 타임에 j 값이 존재하지 않고 동일한 최적화가 수행되어야합니까? 아니면 메모리가 런타임에만 할당되는 것입니까?

Answer 1

는 지금까지 내가 Ideone이 gcc 사용하고 말할 수있는, 당신이 사용하는 코드는 경고가 될 것입니다 일반적으로 -Wuninitialized 이후 -Werror을 이용해야하지만 -Werror와 함께 사용하면 오류로 바뀔 것이다. 우리는 트리거이 경고 최적화 설정 및 gcc의 버전에 매우 의존 할 때, 그 문서가 말할 것을 볼 수있다 : 나는 컴파일러 플래그 다른 컴파일러 실험 할 때 online compilers available 내가 Coliru를 선호 모두의

Because these warnings depend on optimization, the exact variables or elements for which there are warnings depends on the precise optimization options and version of GCC used.

Note that there may be no warning about a variable that is used only to compute a value that itself is never used, because such computations may be deleted by data flow analysis before the warnings are printed.

그 (것)들을 조작하기 위하여 가장 똑 바른 앞으로 방법을 허용하기 때문에. 초기화되지 않은 변수를 사용하여 하루의 끝에서

이 undefined behavior이고 컴파일러가 이것에 대한 경고를 생성 할 의무가 없습니다, 후 질문 Why does this code output more than 4 lines?로 정의되지 않은 동작이 매우 예상치 못한 일을 할 수 컴파일러는 보여줍니다. ISO/IEC에서

Answer 2

: 9899 TC3

이

5.1.1.3 Diagnostics 1 A conforming implementation shall produce at least one diagnostic message (identified in an implementation-defined manner) if a preprocessing translation unit or translation unit contains a violation of any syntax rule or constraint, even if the behavior is also explicitly specified as undefined or implementation-defined. Diagnostic messages need not be produced in other circumstances.8)

그래서 요점은 컴파일러가 정의되지 않은 동작의 경우처럼 경고를 던지는 정도없는 일에 대한 무료 느낄 수있다, 그가하고 무료 느낄 수있다 그럴 경우도 마찬가지입니다.

그래서 특별한 최적화 이유가있을 수 있습니다. 하지만 어쩌면 그들은 그냥 사건을 잡을 필요가 없기 때문에 부분적으로 점검하는 그런 경우의 루틴을 가질 수 있습니다.