具有嵌套结构/类的POD-ness

Question

我有一个关于POD程度的问题。 我期望如果B是非POD并且B是A的成员，那么A也将是非POD。 但是，以下代码示例输出“ 10”，因此B被正确地认为是非POD，而A被认为是非POD。

struct A
{
    int i;
    struct B
    {
        std::string s;
    };
};
std::cout << std::is_pod<A>::value;
std::cout << std::is_pod<A::B>::value;

这是GCC中的错误吗？ 我正在使用“ c ++（GCC）7.3.1 20180312”。 我看不到这种行为的意义。 可以说我想优化缓冲区分配并使用POD检查，以确定我是否必须对特定类型使用new或可以使用malloc / realloc。 使用malloc为A分配存储空间是完全错误的。

Answer 1

A具有类型A::B

A实例中没有A::B实例。 只有类型的定义，而没有实例化。

加B b; 到A ，您的异常消失了。