C/C++编程：局部静态对象的构造与析构

Myth丶恋晨 2023-01-19 07:20 57阅读 0赞

有如下代码片段：

const Matrix& identity(){
        
        static Matrix mat_identity;
        return mat_identity;
    };

`local static class object`保证了什么样的语意？

*  mat\_identity的**constructor必须只能被调用一次，虽然上面的函数可能会被调用多次**
 *  mat\_identity的**destructor必须只能被调用一次，虽然上面的函数可能会被调用多次**

编译器的策略之一是，无条件的在程序起始(startup)时构造出对象来。然而这会导致所有的`local static class object`都在程序起始时被初始化，即使它们所在的那个函数从不曾被调用过。因此，C++标准强制要求只要identity()被调用时才把mat\_identity构造起来。我们应该怎么做呢？

cfront是这样做的：

*  导入一个临时性对象以保护mat\_identity的初始化操作。第一次处理identity()时，这个临时对象被评估为false，于是constructor会被调用，然后临时对象被改为true。这就解决了构造的问题

// 导入的临时性对象，用作保护
    statuc struct Matrix *__0_F3 = 0;
    
    struct Matrix* identify__Fv(){
        
    	static struct Matrix __lmat_identity;
    
    	// 如果临时性的保护对象已经被设立，那就什么都不做。否则
    	//  * 调用constructor：__ct_6MatrixFv
    	//  * 设定保护对象，使它指向模板对象  
    	__0_F3  ? 0 : (__ct_6MatrixFv(&lmat_identity)),(__0_F3(&lmat_identity))
    	...
    }

*  对于析构函数，必须在"与text program file(本例是stat\_.c)有关联的静态内存释放函数"中被有条件的调用

char __std_stat__c(){
        
    	__0_F3   ? __dt_6MatriFv(__0_F3   , 2 ) :0 ;
    }