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

有如下代码片段：

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 ;
}