C++類無國籍

Question

假設的靜態初始化我有一個類T其中

1. T沒有虛函數。
2. T實例沒有狀態。
3. T有自己的靜態成員實例。
4. T本身沒有其他狀態。

C++靜態初始化失敗可以毀了我的程序嗎？我不這麼認爲，因爲即使其中一個靜態實例在使用之前未被初始化，也不應該擔心，因爲T對象是無狀態的。

我很感興趣，這樣做，枚舉類類，像這樣：

---

// Switch.h 

class Switch { 
public: 
    static Switch const ON; 
    static Switch const OFF; 
    bool operator== (Switch const &s) const; 
    bool operator!= (Switch const &s) const; 
private: 
    Switch() {} 
    Switch (Switch const &); // no implementation 
    Switch & operator= (Switch const &); // no implementation 
}; 

---

// Switch.cpp 

Switch const Switch::ON; 
Switch const Switch::OFF; 

bool Switch::operator== (Switch const &s) const { 
    return this == &s; 
} 

bool Switch::operator!= (Switch const &s) const { 
    return this != &s; 
} 

Answer 1

要回答你的問題的第一部分，如果T有一個構造函數有副作用，那麼你實際上可以通過靜態初始化慘敗。

Answer 2

你真的打算使用指針值比較「狀態」？我同意@德魯，這是一個有趣的想法。不過，我不確定標準是否能夠保證它能夠正常工作，但是，如果我們假設這是一個只有標題的實現。

請考慮當多個編譯對象包含Switch::ON和Switch::OFF的相同定義時會發生什麼情況。由於這些是變量，而不是函數，鏈接器必須在它們之間任意決定。

當您運行測試時，流行的編譯器會說什麼：gcc 3，gcc 4，microsoft C++ 2005,2008和2010，以及Edison Design Groups的編譯器之一如http://www.comeaucomputing.com/？

該測試將包括：

// Switch.h 
class Switch { 
public: 
    static Switch const ON; 
    static Switch const OFF; 
    bool operator== (Switch const &s) const; 
    bool operator!= (Switch const &s) const; 
private: 
    Switch() {} 
    Switch (Switch const &); // no implementation 
    Switch & operator= (Switch const &); // no implementation 
}; 

Switch const Switch::ON; 
Switch const Switch::OFF; 

bool Switch::operator== (Switch const &s) const { 
    return this == &s; 
} 

bool Switch::operator!= (Switch const &s) const { 
    return this != &s; 
} 

和

// main.cpp 
#include "Switch.h" 

extern int another_test(); 

int main(int argc, char*argv[]) 
{ 
    another_test(); 
    const Switch& current_state = Switch::ON; 
    const Switch& another_state = Switch::OFF; 
    if (current_state == another_state) { 
    return 1; 
    } else if (current_state != another_state) { 
    return 2; 
    } 
    return another_test(); 
} 

和

// another_test.cpp 
#include "Switch.h" 

int another_test() 
{ 
    const Switch& current_state = Switch::ON; 
    const Switch& another_state = Switch::OFF; 
    if (current_state == another_state) { 
    return 4; 
    } else if (current_state != another_state) { 
    return 5; 
    } 
    return 6; 
} 

Answer 3

我感興趣的是什麼，你，比如說，從一個枚舉看到優勢包裹在命名空間或類中：

namespace Switch { 
    enum Switch { 
     ON, 
     OFF 
    }; 
} 

在大多數情況下使用會更簡單（在您的實現中，您需要用戶使用引用或指針，因爲對象是不可複製的），它需要更少的代碼（不需要禁用構造函數，並且創建運營商）...

由於事實上，在即將到來的標準，你幾乎拿到免費的，甚至沒有使用的命名空間：

enum Switch { 
    ON, 
    OFF 
}; 
// bad, it allows this (as in the current standard): 
Switch s = ON; 
// good, it does also allow explicit qualification: 
Switch s = Switch::ON;