어떻게 중첩 방식으로 정렬 함수 호출 쌍을 감지 할 수있는 도구를 찾고 올바른 함수 호출 쌍

Question

를 감지 형성 함수 호출 쌍. 이는 중요한 섹션 진입 및 퇴장시 특히 중요합니다.

Answer 1

C++에서 한 가지 옵션은 클래스의 생성자와 소멸자에 f() 및 g()의 호출을 래핑하고 해당 클래스의 인스턴스를 인스턴스화하여 해당 함수를 호출하는 것입니다. 예를 들어,

struct FAndGCaller 
{ 
    FAndGCaller() { f(); } 
    ~FAndGCaller() { g(); } 
}; 

이

은 다음과 같이 어떤 범위 블록에서 사용할 수 있습니다

은 물론 실제 코드에서

{ 
    FAndGCaller call_f_then_later_g; // calls f() 

} // calls g() 

좀 더 적절하게 사물의 이름을 싶어, 종종 당신은 간단하게 할 것 별도의 함수가 아닌 생성자 및 소멸자 본문에 f() 및 g()의 내용을 포함해야합니다.

범위 바인딩 된 리소스 관리 (SBRM, 또는 더 일반적으로 리소스 획득은 RAII라고도 함)의 관용구는 매우 일반적입니다.

Answer 2

f()의 호출이 나타날 때마다 코드를 스캔하여 카운터를 증가시킵니다. g()의 호출을 볼 때마다 카운터를 감소시킵니다. 결국 카운터는 0으로 돌아갑니다. 음수가되면 문제가되는 것입니다 (g()에 대한 호출이 있으며이 앞에는 f()과 일치하는 호출이 없습니다).

C 및 (특히) C++의 경우 소스 코드를 이해하기위한 코드 작성은 매우 어렵습니다.은 어렵습니다. 근심, 나는이 특정 직업을위한 기존 도구에 대해 모른다. 의심 할 여지없이 clang (한 가지 예를 들어)에서 그렇게 할 수는 있지만, 완전히 혼자서하는 것보다 훨씬 쉬울 지 모르지만 여전히 사소하지는 않습니다.

Answer 3

당신은 이것을 위해 for -loop을 남용 할 수 있습니다.

#define SAVETHEDAY for (bool seen = ((void)f(), true); seen; seen = ((void)g(), false)) 

쉼표 연산자는 항상 기능 나중에 g을 종속 문 앞에 실행 할 f 수 있습니다. 예컨대

SAVETHEDAY { 

    SAVETHEDAY { 

    } 
} 

장점 :

• 중첩 수준이 명확 만듭니다.
• C++ 및 C99에서 작동합니다.
• pseudo for -loop은 임의의 적당한 컴파일러로 최적화 된 입니다.

단점 : 당신은 블록 내부 break, return 및 continue 과 놀라움이있을 수 있습니다

• , 그래서 g는 이러한 상황에서 호출되지 않을 수 있습니다. C++에 대한
이 다시 g이 언어를 확장 일종의 때문에
많은 사람들이 눈살을 찌푸리게 할 것인가라는되지 않을 수 있습니다 내부 throw에 대한 안전하지 않습니다.
많은 사람들, 특히 C에 대한 ++ 코드를 숨길 일반적으로 같은 매크로 이후 으로 눈살을 찌푸리게 할 것인가는 continue의 문제는 좀 더 영리하게 일을 복구 할 수

악으로 생각된다. 처음 두 가지 단점은 더미 형식을 for -variable로 사용하여 C++에서 우회하여 생성자와 소멸자에 f 및 g이 있습니다.

Answer 4

Coccinelle C 코드의 의미 검색 및 패치 도구는 이러한 종류의 작업을 위해 설계되었습니다 (도구의 this LWN article 참조).