C/C에서 사용되지 않는 변수: 왜, 어떻게?

C/C 코드를 검토하다 보면 전혀 사용되지 않는 변수를 발견하는 경우가 꽤 많습니다. 이러한 사용되지 않는 변수는 다양한 이유로 발생합니다. 이번 포스팅에서는 C/C 코드에서 사용되지 않는 변수가 발생하는 가장 일반적인 원인 중 일부를 살펴보겠습니다. 사용되지 않는 변수에 대해 컴파일러가 경고하도록 하는 방법과 사용되지 않는 특정 변수에 대한 경고를 억제하는 방법을 검토합니다.

변수가 사용되지 않는 이유

사용되지 않은 변수가 코드 베이스에 남아 있는 데에는 여러 가지 이유가 있습니다. 여기에는 다음이 포함됩니다.

1. 버그와 실수: 사용되지 않는 변수의 가장 확실한 이유는 결함이 있는 코드입니다. 변수가 전혀 필요하지 않아 제거할 수 있거나, 변수가 필요하지만 몇 가지 중요한 지점에서 사용하는 것을 잊어버렸습니다.

2. 리팩토링: 소프트웨어가 작성되고 다시 작성됨에 따라 전체 코드 섹션이 제거될 수 있습니다. 보조 계산 결과와 같이 한때 코드에 중요한 변수는 사용되지 않고 남겨질 수 있습니다.

3. 미래 보장: 사용되지 않는 변수는 과거 코드의 유산일 뿐만 아니라 미래 코드의 유산으로도 발생할 수 있습니다. 아직 작성되지 않은 코드를 예상하여 변수를 선언할 수도 있습니다.

4. 조건부 컴파일: 변수는 전처리기 단계에 따라 사용되지 않은 상태로 남아 있을 수 있습니다. 표준 예제는 디버그 목적으로만 정의된 변수입니다. 귀하의 코드에는
   형식이 포함될 수 있습니다.

const auto value = compute_some_value();
const auto value_for_comparison_only = compute_same_value_differently();
assert( value == value_for_comparison_only );

-DNDEBUG로 컴파일하면 컴파일러는 value_for_comparison_only가 절대 사용되지 않는다고 경고할 수 있습니다. 실제로, 주장 문은 ... 아무것도 아닌 것으로 대체되었습니다.

사용되지 않는 변수를 감지하는 방법

다른 컴파일러와 경고 수준 설정은 컴파일 프로세스 중에 변수가 사용되지 않은 것으로 보고되는지 여부에 영향을 미칠 수 있습니다.

예를 들어 GCC와 Clang에는 사용되지 않는 변수에 대한 경고를 트리거하는 -Wunused-variable 플래그가 있습니다. 플래그는 -Wall 경고 옵션에 이미 암시되어 있으며 -Wno-unused-variable을 통해 끌 수 있습니다.

항상 -Wall을 사용하여 컴파일한 다음 허용되는 경우 선택적으로 경고를 끄는 것이 좋습니다. 이는 사용되지 않은 변수의 모든 인스턴스입니다.

사용되지 않는 변수를 감지하지 않는 방법: 속성

항상 가능한 한 많은 경고를 활성화하여 컴파일해야 하지만, 사용되지 않는 특정 변수에 대한 경고를 선택적으로 끄고 싶은 상황이 있습니다. 널리 사용되는 방법은 캐스트를 무효화하는 것입니다.

Object unused_object;
(void)unused_object;

void 형 변환은 변수의 (형식) 사용으로 간주되므로 경고가 발생하지 않습니다.

이렇게 하면 미사용 객체가 사용되지 않는다는 경고가 제거되지만 의도한 대로 이를 개선할 수 있는 방법이 있습니다. 우리는 이 void-cast가 사용되지 않은 객체를 나타내는 명시적인 의미를 갖고 싶습니다. 일반적인 방법은 매크로를 정의하는 것입니다.

const auto value = compute_some_value();
const auto value_for_comparison_only = compute_same_value_differently();
assert( value == value_for_comparison_only );

한 가지 장점은 이제 이 변수의 의도(또는 의도 부족)를 명시적으로 전달한다는 것입니다. 또한, 사용되지 않는 변수의 코드를 제거하기로 결정하면 해당 변수를 검색하는 것이 훨씬 쉽습니다.

매크로 외에도 C 언어에 고유하거나 C/C 컴파일러에서 제공하는 언어 확장과 같은 변수 속성이 있습니다. 예를 들어 Clang과 GCC는 변수 속성 __attribute__((unused))를 허용합니다. C 17은 [[maybe_unused]] 속성을 지원합니다:

Object unused_object;
(void)unused_object;

이러한 속성은 해당 변수가 사용되지 않을 수 있으며 문제가 없다는 점을 컴파일러(및 우리)에 전달합니다.

역사적으로 C 및 C의 컴파일러별 언어 확장인 GCC 속성이 먼저 나타났습니다. C 17부터 속성은 언어 표준의 일부입니다. 그러나 철자가 다를 뿐만 아니라 표준 확장과 GCC 확장이 속성 배치 위치에 동의하지 않습니다.

[[maybe_unused]] 속성은 조건부 컴파일을 사용하는 대부분의 애플리케이션을 찾습니다. 예를 들어 디버그 전용 변수의 자연스러운 속성입니다. 순전히 미적인 이유로 저는 개인적으로 #define MAYBE_UNUSED [[maybe_unused]] 매크로를 정의하는 것을 선호합니다.

__attribute__((unused))의 장점은 코드에서 변수가 사용되면 실제로 경고한다는 것입니다. 사용되지 않았을 수도 있습니다는 아니지만 확실히 사용된 적이 없으며 변수를 사용하면 이제 경고가 표시됩니다.

쓸모없는 것들을 보관하는 것

분명히 사용되지 않는 변수는 자체 언어 확장을 보장할 만큼 빈번하고 중요합니다.

비교하면 사용하지 않는 변수를 주석 처리하는 것이 좋은 전략인가요? 항상 그런 것은 아닙니다! 개발 코드와 디버깅 단계 전체에서 사용되지 않는 변수를 유지하는 데에는 이유가 있습니다. 변수가 이전 버전의 코드에서 사용되었다고 가정해 보겠습니다. 아마도 이전 코드를 보류해야 할지 아니면 다시 통합해야 할지 아직 결정하지 않았을 수도 있습니다. 의미: 사용되지 않은 변수가 다시 필요할지 여부를 알 수 없습니다.

다음과 같은 코드를 유지하는 것이 디버깅 목적에 도움이 될 수 있습니다.

#define UNUSED(x) (void)(x);
// ...
Object unused_object;
UNUSED(unused_object);

복잡한 계산 결과를 전혀 사용하지 않더라도 이를 그대로 두는 것은 또 다른 실패 지점이 되며... 디버깅 중에 원하는 것이 바로 이것이다. 원래 디버깅용이 아니더라도 프로그램이 이 변수를 초기화하도록 하면 (다시) 필요하다고 판단되면 도움이 될 것입니다.

사용하지 않는 변수에 대한 이번 포스팅이 도움이 되었기를 바랍니다.

위 내용은 C/C에서 사용되지 않는 변수: 왜, 어떻게?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!