Does Java have type checking?

Java is a statically typed language, so the compiler does most of this checking for you . Once you declare a variable to be a certain type, the compiler will ensure that it is only ever assigned values of that type (or values that are sub-types of that type).20 Kas 2011

The java “instanceof” operator is used to test whether the object is an instance of the specified type (class or subclass or interface). It is also known as type comparison operator because it compares the instance with type. It returns either true or false.

Type is the common superinterface for all types in the Java programming language . These include raw types, parameterized types, array types, type variables and primitive types. Since: 1.5.