What are generics and why are they important for type safety in OO languages?

What are generics and why are they important for type safety in OO languages?

• A. Generics enable parameterized types, providing compile-time type safety and reducing casts.
• B. Generics enforce runtime type checks and add memory overhead.
• C. Generics replace the need for interfaces.
• D. Generics remove the need for type checks entirely.

Answer: (A)

Generics let you write parameterized types, so a container or method can work with any specified type while keeping that type information intact. The essential benefit is compile-time type safety: the compiler enforces that only elements of the declared type go into a generic collection, and when you retrieve them you get that type back without needing an explicit cast. This means you catch type errors early, and you avoid a lot of runtime casting mistakes. For example, if you have a list intended to hold integers, you can add only integers. If you try to put a string in, you’ll get a compile-time error. When you pull an element out, it’s already an integer, so you don’t have to downcast. That combination—safety at compile time and fewer casts at runtime—explains why generics are so valuable for type safety in object‑oriented languages. Generics don’t replace interfaces, and they don’t magically remove all type checks. Interfaces define behavior contracts, while generics parameterize types. And while some languages implement generics with type erasure or reified types, the main win is the safer, clearer code that catches type errors early and reduces the need for casts.