Dlaczego nie jest to typ POD?

Question

Przebiegłem poniżej z g++ -std=c++0x pod_test.cpp na g ++ 4.6.2 (mingw). Wystąpił błąd na A4. Dlaczego nie ma formatu A4 POD?

#include <iostream> 
#include <new> 
#include <cstring> 

using namespace std; 

struct A { 
    int a, b; 
    char c; 
}; 
struct A2 { 
    short buf[1]; 
}; 
struct A3:A { 
}; 
struct A4:A { 
    short buf[1]; 
}; 
static_assert(std::is_pod<A>::value, "Struct must be a POD type"); 
static_assert(std::is_pod<A2>::value, "Struct must be a POD type"); 
static_assert(std::is_pod<A3>::value, "Struct must be a POD type"); 
static_assert(std::is_pod<A4>::value, "Struct must be a POD type"); 

int main(){} 

Answer 1

To nie POD ponieważ łamie tę zasadę do standardowych klas układ:

- albo nie ma non-statyczne członków danych w klasie najbardziej pochodnych i co najwyżej jednej klasy bazowej z nie- statyczne członkowie danych lub nie ma baza zajęcia z non-statycznych pól

Tylko jedna klasa w kratę spadków może mieć non-statyczne członków danych. W tym przypadku oba mają i A4.