Mi az a POD-típus?

A POD (Plain Old Data) típus a C++-ban egy olyan típusosztályozás, amely ötvözi a triválisan másolható (trivially copyable) és a triválisan alapértelmezett-alkotó/megsemmisítő (trivially default constructible) típusok jellemzőit. Lényegében ezek a típusok viselkedése másolás és mozgatás során hasonló a C struktúrákhoz: byte-by-byte másolhatók.

A C++11 előtt a POD fogalma kevésbé volt formalizált, és főként egyszerű struktúrákra és beépített típusokra vonatkozott. A C++11-től és későbbi szabványoktól kezdve a definíció szigorúbb lett:

Egy típus POD, ha egyszerre:

1. Triválisan másolható (Trivially Copyable):

   • Nincsenek felhasználó által definiált másoló operátorok (másoló és mozgató konstruktorok, hozzárendelő operátorok).
   • Minden nem statikus adattag triválisan másolható.
   • Nincsenek virtuális funkciók vagy virtuális alap osztályok.

2. Triválisan alapértelmezett-alkotó (Trivially Default Constructible):

   • Nincs felhasználó által definiált alapértelmezett konstruktor.

Példák POD típusokra:

• Beépített típusok: int, float, char, bool stb.
• POD típusú tömbök.
• Olyan osztályok/struktúrák, amelyek megfelelnek a fenti kritériumoknak.

struct Point {
    int x;
    int y;
    // Felhasználói konstruktor, destruktor, másoló/hozzárendelő operátorok hiányoznak.
    // Minden adattag (int) triválisan másolható és konstrukciós.
}; // POD

struct NonPOD {
    NonPOD() : value(0) {} // Felhasználói alapértelmezett konstruktor
    int value;
}; // Nem POD a felhasználói konstruktor miatt

struct AnotherNonPOD {
    virtual void func() {} // Virtuális funkciót tartalmaz
    int value;
}; // Nem POD a virtuális funkció miatt

A POD típusokkal való munka előnyei:

• Egyszerűség és kiszámíthatóság másolás és mozgatás során.
• Lehetőség C-stílusú függvények használatára, amelyek a nyers memóriával dolgoznak (memcpy, memset).
• Placement new használata objektumok létrehozására előre lefoglalt memóriában konstruktorhívás nélkül (csak triválisan konstrukciós típusok esetén).

struct MyPOD {
    int a;
    double b;
};

MyPOD src = {10, 3.14};
MyPOD dest;

// Memcpy használható byte-by-byte másoláshoz, mivel a MyPOD POD típus
memcpy(&dest, &src, sizeof(MyPOD));

// Nem-POD típusok esetén a memcpy viselkedése nem meghatározott,
// mert kihagyhatja a másoló konstruktorok és hozzárendelő operátorok hívását.

A típus POD státuszának ellenőrzéséhez a <type_traits>-ből származó típustrait-eket lehet használni:

#include <type_traits>

struct MyPOD {
    int a;
    double b;
};

struct NonPOD {
    NonPOD() = default;
    std::string s;
};

int main() {
    static_assert(std::is_pod<MyPOD>::value, "MyPOD should be POD"); // Siker
    static_assert(!std::is_pod<NonPOD>::value, "NonPOD should not be POD"); // Siker
}

A modern C++-ban a trivális és a standard elrendezés (standard layout) jellemzőit gyakrabban használják közvetlenül, de a POD fogalmának megértése továbbra is fontos. Egy típus POD, ha egyszerre triválisan másolható és rendelkezik standard elrendezéssel (bár a triválisan konstrukciós POD típusokra ez is igaz).