自定义结构体的std::is_pod判定：编译器结果分歧，正确结果是什么？

测试代码 #

#include <iostream>

struct MyPODObject
{
    MyPODObject() = delete;
    int value;
};

int main()
{
    std::cout << "MyPODObject is POD: " << std::boolalpha << std::is_pod<MyPODObject>::value << "\n";
    return 0;
}

不同编译器测试结果 #

• VS2022：

  MyPODObject is POD: false
  

• GCC 12：

  MyPODObject is POD: true
  

• Clang 15：

  MyPODObject is POD: false
  

补充平台差异测试结果 #

• Windows平台下，Clang输出：false
• Linux平台下，Clang输出：true

正确结果分析 #

根据C++标准定义，POD类型（Plain Old Data）需同时满足平凡类型和标准布局类型的要求。其中平凡类型要求具备可默认生成的构造函数（即用户未显式删除或自定义默认构造函数）。此处MyPODObject显式删除了默认构造函数，不符合平凡类型的判定条件，因此std::is_pod<MyPODObject>::value的正确结果应为false。

内容的提问来源于stack exchange，提问作者JWellbelove