c – 何时释放与静态变量相关的内存？

如果我有一个我声明为静态的结构,那么它的构造函数是第一个执行的东西,它的析构函数是最后执行的东西：

struct initializer execute_before_and_after_main {
     initializer() { init(); }
     ~initializer() { cleanup(); }
}
static initializer execute_around_main;

然后我有类似的东西：

class my_class {
    my_object objects[100];
}
extern my_class gobal_my_class;
my_class global_my_class;

主要在这里并不重要：

int main (int argc,char* argv[]) {
    ....
}

当调用cleanup()时,对象数组现在是否包含解除分配/无效的内存？是否有一个标准的初始化/破坏序列,c在这里实现,有人可能指向我？

谢谢

编辑：我理解这种类型的代码可能不是最佳实践,但我仍然想知道行为是否已定义.