在 C 中创建跟踪当前范围的宏

Question

在 C++ 中，对象构造函数和析构函数可用于在代码执行期间跟踪范围，如下所示：

#define TRACE(msg) Helper trace_helper(msg);
class Helper {
    const char* _name;
    Helper(const car* name) {
        _name = name;
        printf(“enter %s”, name);
    }
    ~Helper() { printf(“exit %s”, _name); }
};

这让我可以跟踪我的代码，例如

main() {
TRACE(“main”)
    for(...) {
         foo();
     }
}

void foo() {
    TRACE(“foo”)
     do some stuff
     if(condition) {
         TRACE(“inner block”)
          do some stuff
     }
}

这对于分析代码很有用。

现在，在 C 中没有可用的构造函数和析构函数，我想知道是否仍然可以创建一个 TRACE 宏，它只需要一行并且还跟踪范围的退出？

Answer 1

您所要求的在标准 C 中是不可能的；但取决于您的编译器，它可能有一个属性。在 GCC 中，cleanup 属性可能可以做你想做的事情

#include <stdio.h>
void tracemsg(void* ctx){
    printf("scope exit\n");
}
#define SCOPE_CHECK \
    void* ctx __attribute__((cleanup (tracemsg)));

int main(){
    {
        SCOPE_CHECK;//gets printed last
        printf("in scope\n");
        printf("in scope\n");
        printf("in scope\n");
        printf("in scope\n");
    }
}