if-else 블록에서 'if (0)'블록의 목적은 무엇입니까?

내 질문은 내가 주제에서 언급 한 라인과 생산 코드 내부의 많은 곳에서 볼 수있는 라인에 관한 것입니다.

전체 코드는 다음과 같습니다.

if (0) {
    // Empty braces
} else if (some_fn_call()) {
    // actual code
} else if (some_other_fn_call()) {
    // another actual code
    ...
} else {
    // default case
}

다른 지점은 내 질문과 관련이 없습니다. if (0)여기 에 넣는 의미가 무엇인지 궁금합니다 . 중괄호가 비어 있으므로 코드 블록에 주석을 달아야한다고 생각하지 않습니다. 컴파일러가 최적화를 수행하도록 의도 했습니까? 아니면 의도가 다른가요?

나는 SO와 인터넷 에서이 명백한 사건을 찾으려고 노력했지만 성공하지 못했습니다. JavaScript에 대해서는 비슷한 질문이 있지만 C는 아닙니다. 또 다른 질문이 있습니다 .`if` 조건에서 0이 할당되면 어떻게됩니까? 'if (0)'사용법 자체가 아니라 변수에 대한 제로 할당에 대해 설명합니다.

나는 때때로 이것을 대칭을 위해 사용하기 때문에 나는 else if{첫 번째를 신경 쓰지 않고 내 편집기로 다른 것을 자유롭게 움직일 수있다 if.

의미 적으로

if (0) {
    // Empty braces
} else 

부분은 아무것도하지 않으며 최적화 프로그램을 사용하여 삭제할 수 있습니다.

이것은 #if진술 이있는 경우 유용 할 수 있습니다.

   if (0)
   {
       // Empty block
   }
#if TEST1_ENABLED
   else if (test1())
   {
      action1();
   }
#endif
#if TEST2_ENABLED
   else if (test2())
   {
      action2();
   }
#endif

기타

이 경우 모든 (그리고 모든) 테스트를 수행 할 수 있으며 #if코드는 올바르게 컴파일됩니다. 거의 모든 컴파일러가 if (0) {}부품 을 제거합니다 . 간단한 자동 생성기는 코딩이 약간 더 쉬우므로 이와 같은 코드를 생성 할 수 있습니다. 첫 번째 활성화 된 블록을 별도로 고려할 필요는 없습니다.

생성 된 코드에서 사용 된 유사한 패턴을 보았습니다. 예를 들어, SQL에서 라이브러리가 다음 where절을 방출하는 것을 보았습니다 .

where 1 = 1

이것은 아마도 다른 기준을 추가하기가 더 쉬울 것입니다. 왜냐하면 모든 추가 기준 and이 첫 번째 기준인지 아닌지를 확인하기위한 추가 검사 대신 추가 될 수 있기 때문 입니다.

작성된 바와 if (0) {}같이이 절은 아무 것도 컴파일하지 않습니다.

이 사다리의 상단에있는 절의 기능은 0a 1또는 로 변경하여 다른 모든 기능을 한 번에 (디버깅 또는 비교 목적으로) 일시적으로 비활성화 할 수있는 쉬운 장소를 제공하는 것 true입니다.

나는 어떤 최적화도 확신하지 못하지만 내 2 센트 :

이것은 하나의 주요 조건이 제거 된 코드 수정 (초기 if블록 의 함수 호출 )으로 인해 발생했지만 개발자 / 관리자

• 했다 게으른 을 재구성하는 if-else블록
• 지점 커버리지 수를 줄이고 싶지 않았습니다.

따라서 관련 if블록 을 제거하는 대신 조건을 변경하고 계속 진행 if(0)했습니다.

코드 썩음입니다.

어떤 시점에서 "만약"이 유용한 일을했다면 상황이 바뀌었고 평가중인 변수가 제거되었을 수도 있습니다.

시스템을 수정 / 변경 한 사람은 가능한 한 시스템의 논리에 영향을 미치 므로 코드를 다시 컴파일해야합니다. 그래서 그는 빠르고 쉬운 "if (0)"을 남기고 자신이하고 싶은 것이 무엇인지 완전히 확신하지 못합니다. 그는 시스템을 작동시키고 시스템을 완전히 고치기 위해 돌아 가지 않습니다.

그런 다음 다음 개발자가 의도적으로 수행되었다고 생각 하고 코드의 해당 부분 만 주석 처리합니다 (어쨌든 평가되지 않으므로). 다음에 코드를 만질 때 해당 주석이 제거됩니다.

아직 언급되지 않은 한 가지 가능성 :이 if (0) {회선은 중단 점에 편리한 지점을 제공 할 수 있습니다.

디버깅은 종종 최적화되지 않은 코드에서 수행되므로 항상 거짓 테스트가 수행되고 중단 점이 설정 될 수 있습니다. 프로덕션 용으로 컴파일하면 코드 라인이 최적화됩니다. 겉보기에 쓸모없는 라인은 릴리스 빌드에 영향을 미치지 않고 개발 및 테스트 빌드 기능을 제공합니다.

위의 다른 좋은 제안도 있습니다. 목적이 무엇인지 실제로 아는 유일한 방법은 저자를 추적하고 물어 보는 것입니다. 소스 코드 제어 시스템이 도움이 될 수 있습니다. ( blame유형 기능을 찾으십시오 .)

템플릿 언어를 사용하여 생성 된 사전 확장 JavaScript에서 도달 할 수없는 코드 블록을 보았습니다.

예를 들어, 읽고있는 코드는 당시 서버 측에서만 사용 가능한 변수에 의존하는 첫 번째 조건을 미리 평가 한 서버에서 붙여 넣을 수있었습니다.

if ( ${requestIsNotHttps} ){ ... }else if( ...

한 번 사전 컴파일 된 것입니다.

if ( 0 ){ ... }else if ( ...

이것이 내가 당신이 열정을 나타내는 프로 재활용 코더 시대의 잠재적 인 낮은 키보드 활동을 상대화하는 데 도움이되기를 바랍니다!

이 구조는 C에서 형식 안전성을 가진 일반 프로그래밍을 구현하는 데 사용될 수 있으며 컴파일러가 도달 할 수없는 코드를 여전히 확인한다는 사실에 의존합니다.

// this is a generic unsafe function, that will call fun(arg) at a later time
void defer(void *fun, void *arg);

// this is a macro that makes it safer, by checking the argument
// matches the function signature
#define DEFER(f, arg) \
   if(0) f(arg); \              // never actually called, but compile-time checked
   else defer(f, (void *)arg);  // do the unsafe call after safety check

void myfunction(int *p);

DEFER(myfunction, 42);     // compile error
int *b;
DEFER(myfunction, b);      // compiles OK

나는 그것이 나쁜 코드라고 생각합니다. 컴파일러 탐색기에서 간단한 예제를 작성하면 gcc와 clang if (0)에서 최적화가 완전히 비활성화 된 경우에도 블록에 대한 코드가 생성 되지 않습니다.

https://godbolt.org/z/PETIks

if (0)원인 을 제거하면서 놀고 있으면 생성 된 코드가 변경되지 않으므로 이것이 최적화가 아니라고 결론을 내립니다.

if나중에 제거 된 상단 블록에 무언가있을 수 있습니다 . 요컨대 제거하면 똑같은 코드가 생성되는 것처럼 보이므로 자유롭게 수행하십시오.

말했듯이, 0은 거짓으로 평가되며 분기는 컴파일러에 의해 최적화 될 것입니다.

또한 새로운 기능이 추가되고 킬 스위치가 필요한 코드 (이 기능에 문제가있는 경우 그냥 끌 수 있음)와 나중에 킬 스위치가 제거 된 코드에서 이것을 보았습니다. 프로그래머도 분기를 제거하지 않았습니다. 예 :

if (feature_a_active()) {
    use_feature_a();
} else if (some_fn()) {
   ...

되었다

if (0) {
   // empty
} else if (some_fn()) {
   ...

블록 1을 넣는 것만으로이 블록을 디버깅하는 데 도움이됩니다. 또한 else else 블록을 확장 할 수 있습니다.

    Actually according to my opinion, if we put any variable for checking inside
    e.g:-
public static void main(string args[])
{
        var status;
        var empList=_unitofWork.EmpRepository.Get(con=>con.isRetired==true);
        //some code logic 
        if(empList.count>0)
        {
          status=true;
        }
        if(status)
        {
         //do something
        }
        else
        {
        //do something else
        }
}
     if then its dynamically get the value in run time and invoke the logic inside it, else its simply extra line of code i guess.

    Anybody have any depth knowledge why this thing is used....or agree with me.
    kindly respond. 

@PSkocik의 대답은 괜찮지 만 2 센트를 더합니다. 내가 이것을 주석으로, 또는 대답으로해야하는지 확실하지 않다; 다른 사람들이 볼만한 가치가있는 IMHO 인 반면 후자는 종종 보이지 않기 때문에 후자를 선택한다.

가끔씩 만 사용할뿐 아니라

if(0) {
   //deliberately left empty
} else if( cond1 ) {
   //deliberately left empty
} else if( cond2 ) {
   //deliberately left empty
...
} else {
   // no conditions matched
}

그러나 나는 또한 때때로

if( 1 
    && cond1 
    && cond2
    ...
    && condN
) {

또는

if( 0 
    || cond1 
    || cond2
    ...
    || condN
) {

복잡한 조건. 같은 이유로 편집하기 쉽고 #ifdef 등

그 문제에 대해서는 Perl에서 할 것입니다

@array = (  
    elem1,
    elem2,
    ...
    elem1,
) {

• 목록 끝에 쉼표를 적어 둡니다. 쉼표가 C 및 C ++ 목록에서 구분 기호인지 구분 기호인지 잊어 버렸습니다. IMHO 이것은 우리가 배운 것 중 하나입니다. [ Perl의 후행 쉼표는 나쁜 습관입니까? 쉼표]는 좋은 것입니다. 새로운 표기법과 마찬가지로 익숙해지는 데 시간이 걸립니다.

if(0)코드를 lisp와 비교합니다.

(cond   (test1    action1)
   (test2    action2)
   ...
   (testn   actionn))

당신이 짐작했듯이

(cond   
   (test1    action1)
   (test2    action2)
   ...
   (testn   actionn)
)

나는 때때로 더 인간이 읽을 수있는 구문이 어떻게 생겼는지 상상하려고 노력했다.

혹시

IF
:: cond1 THEN code1
:: cond2 THEN code2
...
:: condN THEN codeN
FI

Dikstra의 [ https://en.wikipedia.org/wiki/Guarded_Command_Language#Selection:_if][Guarded Command Language] 에서 영감을 받았습니다 .

그러나이 구문은 조건이 병렬로 평가되는 반면 if...else-if조건에 대한 순차적이고 우선 순위가 높은 평가를 의미합니다.

다른 프로그램을 생성하는 프로그램을 작성할 때 이러한 작업을 시작했습니다. 특히 편리한 곳입니다.

인텔의 오래된 iHDL을 사용하여 RTL을 작성할 때 다음과 같은 코드를 작성했습니다.

   IF 0 THEN /*nothing*/
   **FORC i FROM 1 TO 10 DOC** 
   ELSE IF signal%i% THEN    
      // stuff to do if signal%i% is active
   **ENDC** 
   ELSE   
      // nothing matched 
   ENDIF

여기서 FORC..DOC..ENDC매크로 전 처리기 루프 구조는 다음과 같이 확장됩니다.

   IF 0 THEN /*nothing*/
   ELSE IF signal1 THEN    
      // stuff to do if signal1 is active
   ELSE IF signal2 THEN    
      // stuff to do if signal2 is active
   ...
   ELSE IF signal100 THEN    
      // stuff to do if signal100 is active
   ELSE   
      // nothing matched 
   ENDIF

이것은 비 할당적인 단일 할당 코드이므로 첫 번째 설정 비트 찾기와 같은 작업을 수행해야하는 경우 상태 변수를 설정할 수 없습니다.

   IF 0 THEN /*nothing*/
   ELSE IF signal1 THEN    
      found := 1
   ELSE IF signal2 THEN    
      found := 2
   ...
   ELSE IF signal100 THEN    
      found := 100
   ELSE   
      // nothing matched 
   ENDIF

그것을 생각해 보니, 이것은 내가 그런 구조물을 처음 만난 곳 일 수 있습니다.

BTW, if (0) 스타일에 대한 반대 의견-else-if 조건은 순차적으로 종속적이며 임의로 재정렬 할 수 없음-RTL의 AND 및 OR 및 XOR 논리에는 적용되지 않지만 단기에는 적용됩니다 회로 && 및 ||.

예를 들어 오류를 처리하는 데 사용되는 것을 보았습니다.

if(0){
lable1:
   //do something
}
if(0){
lable2:
   //do something
}
.
.
and so on.

if(condition_fails)
   goto lable1;

이것은 goto가 오류를 관리하는 데 사용될 때 유용 할 수 있으며 명령문은 오류가 발생할 때만 실행됩니다. 나는 매우 오래된 C 코드 (함수 인수가 '()'외부에 쓰여지는 곳)에서 이것을 보았지만, 지금 아무도 이것을 따르는 것으로 생각하지 마십시오.

나는 이것을 몇 번 보았습니다. 가장 가능성이 높은 이유는 코드의 이전 / 다른 버전 / 분기에서 무언가를 평가하거나 디버깅하기 위해 가능한 if(0)것으로 생각합니다. .