在寫一個工程的時候,如果一個靜態變量的初始化依賴于另一個靜態變量,那么他們的順序是很重要的。基本的變量需要首先聲明。然而,當我們寫的程序需要這樣子做但是又必須將相互依賴的靜態對象放到不同的文件中時,那么它們初始化的順序就交給了連接器。這是一個無法掌控的過程,會使初始化出現問題
SAT答案 看下面這個例子。base是一個基本的類。而extend類有一個base類型的全局實例的成員。如果將兩個類放入兩個頭文件中,那么最后引入的結果就是:在含有main函數的文件中不會出現base實例化的語句。具體base實例化在哪里發生要靠連接器了。錯誤的順序倒是base沒有正確的初始化。以下程序模擬錯誤發生的過程:
www.sats686.com #include <iostream>
using namespace std;
class base
{
bool init;
public:
base() : init(true) { }
void print() const
{
cout 《 "Base init: " 《 init 《 endl;
} };
class extend {
base mem;
public:
extend(const base &h) : mem(h) {
cout 《 "extend's constructor: " 《 endl;
print();
}
void print() const
{
mem.print();
} };
extern base base1;
extend extend1(base1);
base base1;
extern base base2;
base base2;
extend extend2(base2);
int main()
{
return 0;
}
二、解決的辦法
一種比較直觀的解決辦法:
將類型的實例化封裝在函數內。函數只是創建一個靜態實例,該實例只在函數中可見,返回該靜態實例的引用。從而達到創建的目的。第一次調用函數時,靜態實例被正確初始化,以后調用,會指向同一個靜態實例,不會創建新的靜態實例,從而達到類似全局變量的目的。
以下是例子程序:
#include <iostream>
using namespace std;
class base
{
bool init;
public:
base() : init(true) { }
void print() const
{
cout 《 "Base init: " 《 init 《 endl;
} };
class extend {
base mem; public:
extend(const base &h) : mem(h) {
cout 《 "extend's constructor: " 《 endl;
print();
}
void print() const
{
mem.print();
} };
base& bs();
extend extend1(bs());
int main() {
return 0;
}
base& bs()
{
static base base1;
return base1;
}