이 코드가 경고를 발생시켜야합니까?

Question

아래 코드와 비슷한 코드가 나타납니다. 동일한 이름의 동일한 함수에서 두 개의 스택 변수가 같은 시간에 동시에 유효하지만 문제가 발생할 수 있습니다. (읽기 : 나는 단지 이것을 디버깅하는 데 30 분을 낭비했다.) VS2010 (최고 레벨)의 경고 수준 4에서이 종류의 일이 발생했을 것으로 기대했을 것입니다. 나는 뭔가를 놓쳤는가, 아니면 한 번 이상 보푸라기가있는 전체 코드베이스에 충돌 할 때인가? lint와 같은 정적 분석 도구가 이와 같은 이름 충돌을 일으킬 수 있습니까?

char *x = strchr(Buffer,' '); 
    if (x) 
    { 
    *x = 0; 
    x++; 
    char *x = strchr(x,' ') 
    if (x) 
     *x = 0; 
    } 

Answer 1

PC-Lint이 감지합니다. 다음 코드 :

main.cpp 6 Warning 578: Declaration of symbol 'x' hides symbol 'x' (line 3) 

Answer 2

편집 : 나는 원래 대답 (아래) 쓴 나는이 통지를하지 않았다. 게시 한 코드가 불법이며 정의되지 않은 동작이 발생합니다. 문제가되는 줄은 하나입니다

char *x = strchr(x,' '); 

다음

은 포함 범위에 정의 된 x를 참조하지 않는 strchr 호출 내에서 x하지만, 같은 줄에 이전에 정의 된 x에. 따라서이 행은 초기화되지 않은 변수에서 읽으므로 정의되지 않은 동작이 발생합니다. C++ 표준에서,

§3.3.2/1 [basic.scope.pdecl]
이름에 대한 선언의 포인트 완전한 선언자 직후 (8 조)를 그 전 초기화 도구 (있는 경우). 단, 아래 명시된 경우는 예외입니다. [예 :

int x = 12; 
    { int x = x; } 

여기서 두 번째 x는 자체 (불확정) 값으로 초기화됩니다. -end 예] 아래의 예에서의 대응 라인이

int x = 21 + x; // generates "warning: x is used uninitialized in this function" 

그리고 VS2012에서 내 strchr 예를 복제로 변경된 경우

GCC 불평 않는다 (상기 /W1 및 AT)이 경고를 생성

warning C4700: uninitialized local variable 'x' used 

---

원래 대답은 (완전히 정확하지 않음) 다음 :

코드에는 아무런 문제가 없습니다. 중괄호를 추가하여 새 범위를 도입했으며, 해당 변수 이름이 해당 범위에서 이전에 정의 되었더라도 새 범위 내에서 변수를 정의 할 수 있습니다.

새 정의 다음의 변수에 대한 모든 참조는 지역 변수의 수명이 끝날 때까지 해당 범위를 포함하는 변수 대신 로컬 변수를 참조합니다. 내가 보풀 또는 다른 정적 분석 도구 중 하나 같은 것을 골라야할지 모르는

42 
21 
42 

: -pedantic -Wall -Wextra

#include <iostream> 

int main() 
{ 
    int x = 42; 
    { 
     std::cout << x << '\n'; 
     int x = 21; 
     std::cout << x << '\n'; 
    } 
    std::cout << x << '\n'; 
} 

출력 컴파일하는 경우에도 다음 코드는 GCC에 아무런 경고를 생성하지 않습니다. 그것은 합법적이지만 권장할만한 것은 아닙니다.