C/C 매크로의 문자열화가 중첩될 때 예기치 않은 결과를 생성하는 이유는 무엇입니까?

문자열화: 프로세스 이해

C 및 C와 같은 프로그래밍 언어에서 매크로를 다룰 때 문자열화의 개념이 흥미로울 수 있습니다. 문자열화는 매크로의 인수를 문자열 리터럴로 변환합니다. 이 기사에서는 특히 예기치 않은 출력 결과가 나타나는 일반적인 시나리오에 초점을 맞춰 문자열화가 작동하는 방식을 살펴봅니다.

예를 들어 C에서 문자열화는 일반적으로 다음과 같이 # 연산자를 사용하여 수행됩니다.

#define str(s) #s

다음 매크로 정의를 고려하십시오.

#define foo 4

foo에서 str 매크로를 사용하면 "4"가 아닌 "foo"가 출력됩니다. 이는 C의 매크로 확장 프로세스에 여러 단계가 포함되기 때문입니다.

1. 전처리기 처리: #define과 같은 전처리기 지시문이 먼저 처리됩니다.
2. 문자열화 : str()과 같은 매크로가 적용되어 인수를 다음으로 변환합니다. strings.
3. 토큰 대체: foo와 같은 토큰은 정의된 값으로 대체됩니다.

str(foo)의 경우 2단계에서 문자열화가 발생합니다. , foo를 "foo"로 변환합니다. 그런 다음 3단계에서는 "foo"를 정의된 값 4로 대체하여 "4"를 출력합니다.

그러나 str()이 다음과 같이 다른 매크로에 대한 인수로 사용되는 경우:

#define xstr(s) str(s)

예기치 않은 동작이 발생할 수 있습니다. xstr(foo)를 사용하면 "foo" 대신 "4"가 출력됩니다.

이런 일이 발생하는 이유를 이해하려면 xstr() 확장과 관련된 단계를 고려해야 합니다.

1. 문자열화: # 또는 ## 토큰이 없으므로 아무런 조치도 취하지 않습니다.
2. 인수 대체: foo는 다음으로 대체됩니다. 4.
3. 매개변수 대체: str()의 s가 4로 대체되어 str(4)가 생성됩니다.
4. 재검색: str(4)가 다시 검색됩니다(출력 "4" 생성).

xstr(foo)에서 2단계는 foo 인수를 4로 대체한 다음에만 1단계가 적용됩니다. 문자열화된 결과 str(4)를 "4"로 변환합니다.

이는 매크로 확장 프로세스와 다양한 단계가 실행되는 순서를 이해하는 것이 중요함을 보여줍니다. 특정 단계를 먼저 수행하는 도우미 매크로를 사용하면 개발자는 문자열화 결과를 제어하고 원하는 동작을 달성할 수 있습니다.

위 내용은 C/C 매크로의 문자열화가 중첩될 때 예기치 않은 결과를 생성하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!