有沒有簡單的方法來判斷一個類/結構是否沒有數據成員？

Question

喂，

是有在C++一些簡單的方法來告訴（在編譯時）如果一個類/結構沒有任何數據成員？

E.g. struct T{};

我首先想到的是比較sizeof(T)==0，但這似乎總是至少爲1

答案顯然是隻看看代碼，但我想這個開關打開。

Answer 1

你可以從這個類中的另一個空派生，並檢查是否sizeof(OtherClass) == 1。 Boost在is_empty類型特徵中這樣做。

未經測試：

template <typename T> 
struct is_empty { 
    struct helper_ : T { int x; }; 
    static bool const VALUE = sizeof(helper_) == sizeof(int); 
}; 

然而，這種依靠空基類優化（但所有現代編譯做到這一點）。

Answer 2

如果你的編譯器支持的C++ 0x的這個方面，可以使用std::is_empty從<type_traits>。

它的規格是：

T是一個類型，但不是一個聯合類型，具有比長度爲0，沒有虛成員函數，沒有虛基的位字段之外，沒有其他的非靜態數據成員類，並且沒有基類B其中is_empty<B>::value是false。

我不認爲有一種標準的方法來查找一個類是否爲多態關於空。

Answer 3

踩着康拉德的回答，這種處理有或無虛函數的類。

template <typename T> 
struct is_empty { 
    struct empty_ { virtual ~empty_(); }; 
    struct helper_ : T { virtual ~helper_(); }; 
    static bool const EMPTY = sizeof(helper_) == sizeof(empty_); 
}; 

Answer 4

最簡單的答案，這兩個作品，是標準的投訴：看的類/結構和它的類層次結構的頭文件。他們會告訴你是否有數據元素（以及一個vtable）。