## C의 무한 재귀는 정의되지 않은 동작으로 간주됩니까?

무한 재귀는 정의되지 않은 동작(UB)입니까?

C 프로그래밍 영역에서 무한 재귀가 정의되지 않은 동작을 구성하는지에 대한 질문( UB)가 논란의 대상이 되었습니다. 루프와 관련된 특정 시나리오가 UB로 식별되었지만 무한 재귀 자체가 이 분류에 속하는지는 여전히 불확실합니다.

C 11에서는 아래와 같이 부작용이 없는 무한 루프를 포함하는 프로그램이 고려됩니다. UB:

<code class="cpp">int main() {
   while (true) {}
}</code>

이는 C 표준에 1.10p24로 문서화되어 있습니다. "구현에서는 모든 스레드가 결국 다음 중 하나를 수행한다고 가정할 수 있습니다. 종료, 라이브러리 I/O 함수 호출 , 휘발성 개체에 액세스하거나 수정하거나, 동기화 작업 또는 원자적 작업을 수행합니다." 부작용이 없는 무한 루프는 이러한 작업을 전혀 수행하지 않으므로 UB로 간주됩니다.

그러면 무한 재귀를 포함하는 다음 프로그램도 UB를 구성하는지 여부에 대한 의문이 생깁니다.

<code class="cpp">void foo() {
   foo();
}

int main() {
   foo();
}</code>

위 프로그램은 직관적으로 UB로 가정될 수 있지만 표준은 이 특정 시나리오를 명시적으로 다루지 않습니다. 1.10p24의 관련 구절은 재귀가 아닌 루프를 의미합니다.

단, 과도한 재귀로 인해 중첩된 재귀 함수 호출 횟수의 구현 제한이 초과될 수 있다는 점은 주목할 가치가 있습니다. 이는 항상 그랬으며 재귀 자체의 UB 분류에 관계없이 정의되지 않은 동작이 발생할 수 있습니다.

위 내용은 ## C의 무한 재귀는 정의되지 않은 동작으로 간주됩니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!