답변.

전이 연산자 goto는 C 프로그래밍에서 가장 논란이 많은 주제 중 하나입니다.

문제의 역사

goto 연산자는 다른 메커니즘이 없던 시절에 분기와 루프 작성을 단순화하기 위해 초기 프로그래밍 언어에서 등장했습니다. C에서는 호환성을 위해 유지되었으며 일반적인 구성 요소가 적합하지 않은 상대적으로 드문 경우에 사용됩니다.

문제

goto는 일부 저수준 알고리즘 구현(예: 복잡한 오류 처리)을 단순화하지만 코드를 '스파게티 코드'로 변질시켜 실행 흐름 관리가 복잡해질 수 있습니다. 잘못된 사용은 코드의 테스트, 이해 및 유지 관리를 어렵게 만듭니다.

해결책

goto는 다중 중첩 루프에서 나가거나 리소스의 중앙집중식 정리를 관리하는 데 사용될 수 있습니다. 예를 들어, 여러 단계에서 할당된 리소스를 순차적으로 해제해야 할 때 오류 발생 시 유용합니다.

코드 예:

#include <stdio.h>
#include <stdlib.h>

int process() {
    int *a = malloc(10 * sizeof(int));
    if (!a) return -1;
    int *b = malloc(20 * sizeof(int));
    if (!b) goto cleanup_a;
    // ...
    free(b);
cleanup_a:
    free(a);
    return 0;
}

주요 특징:

• 오류 발생 및 리소스 해제를 중앙 집중적으로 처리할 수 있도록 허용
• 코드를 복잡하고 유지 관리가 어려운 상태로 쉽게 만들 수 있음
• 모든 구현에서 C와 호환되지만 대안이 있을 경우 피하는 것이 좋음

트릭 질문.

goto가 다른 함수로 건너뛰거나 함수에서 나올 수 있습니까?

아니요, goto 연산자는 동일한 함수 내에서만 레이블로 건너뛸 수 있습니다. 함수 간에 건너뛰려고 하면 컴파일 오류가 발생합니다.

변수 선언 블록에 들어가기 위해 goto를 사용할 수 있습니까?

엄격히 금지됩니다! 자동 초기화된 변수를 선언하는 블록에 goto를 통해 들어가면 정의되지 않은 동작을 초래합니다.

코드 예:

void bad() {
    goto label;
    int x = 5;
label:
    printf("%d
", x); // 정의되지 않은 동작
}

continue 및 break 연산자는 goto입니까?

아니요. break 및 continue 연산자는 루프를 제어하기 위해 전문화되어 있으며, goto와 개념적으로 유사하지만, 언어 차원에서 가장 가까운 외부 루프와만 작동하고, goto는 함수 내에서 선언된 레이블로 작동합니다.

일반적인 오류 및 안티 패턴

장점: 오류를 간결하게 처리하고 리소스를 해제할 수 있습니다; 때때로 중첩 구조에서 나오기 쉽게 만듭니다.

단점: 쉽게 '스파게티 코드'를 생성합니다; 유지 관리가 어려워집니다; 구조적 프로그래밍을 저해합니다.

실제 사례

부정적인 사례: 프로젝트에서 거의 50개의 goto가 발견되었으며, 일부는 텍스트 상단으로 돌아갑니다. 그 결과 논리를 이해하기 매우 어렵고, 오류 증가, 혼란 및 높은 유지 관리 비용이 발생합니다. 장점: 빠르게 작성됨, 단점: 이해 및 수정이 거의 불가능함.

긍정적인 사례: 큰 객체의 초기화 함수에서는 오류가 발생할 때 리소스를 중앙집중식으로 해제하기 위해서만 goto를 사용합니다. 코드는 간결하고 유지 관리가 용이하며 새로운 리소스를 추가하기 쉽습니다. 장점: 가독성, 메모리 누수 예방; 단점: 일부는 goto를 안티 패턴으로 간주하여 신중한 사용이 필요하다고 생각합니다.