在我的程序中，我有一个垃圾收集器，我需要跟踪哪些对象保存在我的程序中的局部变量中，以避免在这些对象处于活动状态时对它们进行垃圾收集。
虽然我使用了链表来创建复合类型，但多年后我才意识到，C++ 语言必须保留该链表，以用于其自身的析构函数，尤其是与异常处理相关的析构函数。
所以我正在考虑通过使用 C++ 异常处理程序保存的信息来简化我的代码。有便携的方法吗？
如果没有，至少有关于 g++ 和 clang 的信息吗？
顺便说一下，当我使用多任务处理时，我应该能够为每个任务执行它（这些在垃圾收集器运行时正在等待）。
我真正需要的是遍历设置了析构函数的局部变量（并以非破坏性方式进行）。
【问题讨论】：
通过检查 gnu gcc 编译器发出的代码，我发现有关要执行哪些析构函数的信息以代码形式“保存”，因为代码知道它必须破坏什么并处理它。所以要找回这些信息太难了。
实现可能有所不同，代码可能已作为返回地址、析构函数代码的地址以及结构实例的地址推入处理器堆栈。
所以我准备放弃努力，但我发现了另一条 hacky 路线。
我注意到 gnu 编译器在 16 字节的边界上对齐堆栈上的结构。 由于我的结构是 8 个字节，因此还有 8 个未使用的字节。 所以我想我可以使用它们来跟踪堆栈上分配的对象。 必须说，根据编译标志为-m64，-mx32，事情会发生变化，必须注意变化。
我设法让下面的代码在 -m64 和 -mx32 模式下编译和工作。
它不是纯粹的“C++”（恰恰相反），但代码可以工作并具有预期的效果。
#include <stdio.h>
#define ONSTACK(x) (((size_t)x)&0xf0000000)==0xf0000000
struct A;
void* P=nullptr;
struct A{
static int i;
long long a;
A(){
if(ONSTACK(this)){
*(void**)(this+1)=P;
P=(void*)(this+1);
}
printf("this=%p\n",this);
a=0x1111111111111111*i;i++;
}
~A(){
if(ONSTACK(this))
P=*(void**)(this+1);
*(void**)(this+1)=nullptr;
a=0xFFFFFFFFFFFFFFFF;}
};
int A::i=0xA;
void* p;
void r1(){
A x;int xx=0x66666666;
A y;int yy=0x77777777;
A z;int zz=0x88888888;
int b=0x2222222222222222;
printf("hello world %p\n",&b);
for(void* i=P;i!=nullptr;i=*(void**)i){
printf("a=%llX\n",(((A*)i)-1)->a);
}
}
void r2(){
long long r2a;
r2a=0x3333333333333333;
r1();
}
A A0;
int main(int argc, char **argv)
{ int i;p=(char*)&i-0x100;
printf("sizeof(P)=%i\n",sizeof(P));
r2();
}
【讨论】：
这就是析构函数的用途。如果您需要知道一个对象（无论是在堆上还是在堆栈上）何时超出范围，那么您可以为此使用析构函数。
【讨论】：