c++ - 具有嵌套结构/类的 POD 性

Question

我有一个关于 POD 性的问题。我预计如果 B 是非 POD 并且 B 是 A 中的成员，那么 A 也会是非 POD。 然而，以下代码示例输出“10”，因此 B 被正确地视为非 POD，但 A 是。

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 中，您的异常就会消失。