type safety

Angol

type safety (tsz. type safeties)

(informatika) A típusbiztonság (angolul: type safety) egy programozási nyelvek és fordítók által biztosított tulajdonság, amely garantálja, hogy a programban használt értékek mindig csak a megfelelő típusokon belül használhatók. Ez segít elkerülni a típushibákat, és növeli a program megbízhatóságát, karbantarthatóságát és biztonságát.

Példa egy típushibára:

int x = 42;
std::string s = x; // Hibás! Nem lehet egész számot szövegként kezelni közvetlenül

A típusokat fordítási időben ellenőrzi a fordító.

Előnyei:

Példák:

int n = 10;
std::string s = "alma";
s = n; // Fordítási hiba!

A típusokat futásidőben ellenőrzi a rendszer vagy interpreter.

Előnyei:

Példák:

x = 5
x = "hello"  # Engedélyezett
print(x + 1)  # Futásidőben hiba: nem adható hozzá stringhez szám

Jellemző	Erős típusosság	Gyenge típusosság
Típuskonverzió	Kizárólag explicit (pl. cast)	Implicit típusváltás engedélyezett
Hibák előfordulása	Ritkább, kiszámíthatóbb	Gyakoribb típushibák
Példák	Rust, Java, Haskell	C, JavaScript, PHP

JavaScript példa (gyenge típusosság):

"5" + 1   // eredmény: "51"
"5" - 1   // eredmény: 4

Ezek akkor fordulnak elő, ha egy értéket olyan módon használunk, ami nem egyezik a típusával.

void* p = malloc(sizeof(int));
*((double*)p) = 3.14; // Típushiba: double nem fér el int helyén

A modern programozási nyelvek közül sok támogatja a típusbiztonságot fordítási és/vagy futásidőben:

C++ támogatja a statikus típusellenőrzést, de megengedi az alacsony szintű trükköket is (pl. cast-ek).

class Base { virtual void f() {} };
class Derived : public Base {};

Base* b = new Base();
Derived* d = static_cast<Derived*>(b); // Nem biztonságos!

Használj dynamic_cast-ot:

Derived* d = dynamic_cast<Derived*>(b); // Futásidőben ellenőrzi
if (!d) {
    std::cout << "Sikertelen cast!" << std::endl;
}

A típusbiztonság megsértése sokszor biztonsági sebezhetőséghez vezet.

Példák:

Ezek gyakran szerepelnek CTF-ekben, low-level hacking során (pl. ROP, use-after-free).

API tervezésnél erősen javasolt típusbiztos interface használata:

void setPassword(std::string password);
void setTimeout(std::chrono::seconds timeout); // Típusban megkötött

Ez megakadályozza, hogy az API-t hibás típusú adatokkal használják.

A típusbiztonság védi a programot a típushibáktól.
A típusellenőrzés lehet statikus vagy dinamikus.
A típusos nyelvek segítenek megelőzni hibákat és növelni a megbízhatóságot.
C++ támogatja a típusbiztonságot, de odafigyelést igényel a cast-olás, pointerek és sablonok használata során.
A modern nyelvek (Rust, Kotlin, Swift) beépített típusbiztonsági garanciákat nyújtanak.