C 및 C ++에서 동등성 (==)이 필요한 경우 실수로 할당 (=)을 사용하지 못하게 할 수있는 방법은 무엇입니까?

C 및 C ++에서는 심각한 오류로 다음 코드를 작성하는 것이 매우 쉽습니다.

char responseChar = getchar();
int confirmExit = 'y' == tolower(responseChar);
if (confirmExit = 1)
{
    exit(0);
}

오류는 if 문이 다음과 같아야한다는 것입니다.

if (confirmExit == 1)

코딩 된대로 confirmExit변수 할당이 발생 하기 때문에 매번 종료되고 confirmExit표현식의 결과로 사용됩니다.

이런 종류의 오류를 방지하는 좋은 방법이 있습니까?

가장 좋은 방법은 컴파일러의 경고 수준을 높이는 것입니다. 그런 다음 if 조건부에서의 잠재적 할당에 대해 경고합니다.

제로 경고로 코드를 컴파일하십시오 (어쨌든해야합니다). pedantic하고 싶다면 경고를 오류로 처리하도록 컴파일러를 설정하십시오.

요다 조건부 (왼쪽에 상수 입력)를 사용하는 것은 약 10 년 전에 인기있는 또 다른 기술입니다. 그러나 그들은 코드를 읽기 어렵게 만들고 (따라서 (요다가 아닌 한) 부 자연스러운 방식으로 유지) 경고 수준을 높이는 것보다 더 큰 이점을 제공하지 않습니다 (더 많은 경고의 추가 이점도 있습니다).

경고는 실제로 코드의 논리적 오류이므로 수정해야합니다.

항상 소프트웨어 테스트와 같은 급진적 인 일을 할 수 있습니다. 나는 자동화 된 단위 테스트를 의미하지 않으며, 경험이 많은 모든 개발자가 새로운 코드를 두 번 실행하여 한 번 종료를 확인하고 한 번 확인하지 않으면 습관을 잃는 테스트 만 의미합니다. 이것이 대부분의 프로그래머가 비 문제로 간주하는 이유입니다.

식 내에서 대입을 잘못 사용하는 것을 방지하는 전통적인 방법은 상수를 왼쪽에, 변수를 오른쪽에 배치하는 것입니다.

if (confirmExit = 1)  // Unsafe

if (1=confirmExit)    // Safe and detected at compile time.

컴파일러는 다음과 유사한 상수에 잘못된 할당 오류를보고합니다.

.\confirmExit\main.cpp:15: error: C2106: '=' : left operand must be l-value

수정 된 if 조건은 다음과 같습니다.

  if (1==confirmExit)    

아래의 의견에서 알 수 있듯이 이것은 많은 사람들이 부적절한 방법으로 간주합니다.

"컴파일러 경고"라고 말하는 모든 사람들에게 동의하지만 코드 검토라는 다른 기술을 추가하고 싶습니다. 커밋되기 전에 커밋 된 모든 코드를 검토하는 정책이 있다면 검토 중에 이러한 종류의 문제가 발생할 가능성이 높습니다.

첫째, 경고 수준을 높이는 것은 결코 아프지 않습니다.

조건문이 if 문 내에서 대입 결과를 테스트하지 않기를 원하고 수년 동안 많은 C 및 C ++ 프로그래머와 함께 일한 적이 있으며 상수를 먼저 비교하는 if(1 == val)것이 좋지 않다는 것을 들어 본 적이 없다면 그 구성을 시도 할 수 있습니다.

프로젝트 리더가이 작업을 승인하면 다른 사람들의 생각에 대해 걱정하지 마십시오. 실제 증거는 지금부터 몇 달 또는 몇 년 동안 귀하 또는 다른 사람이 귀하의 코드를 이해할 수 있는지 여부입니다.

그러나 과제의 결과를 테스트하려는 의도라면 더 높은 경고를 사용하면 과제를 일정하게 잡을 수 있습니다.

파티에 늦었지만, 정적 코드 분석이 핵심입니다

대부분의 IDE는 이제 컴파일러의 구문 검사 이상의 SCA를 제공하며 MISRA (*) 및 / 또는 CERT-C 지침을 구현하는 도구를 포함한 다른 도구를 사용할 수 있습니다.

선언 : 저는 MISRA C 실무 그룹의 일원이지만 개인 자격으로 게시하고 있습니다. 또한 도구 공급 업체와도 독립적입니다.

왼손 할당 만 사용하면 컴파일러 경고가 도움이 될 수 있지만 올바른 수준을 유지해야합니다.