Type Erasure and Bridge Methods Behind the Scenes0%

Introduction to Functional Programming in Java

Type Erasure and Bridge Methods Behind the Scenes

Advanced15 min read•Updated: 2025-01-15

🔍 Type Erasure and Bridge Methods Behind the Scenes

Introduction

Generics were introduced to Java in 2004 with a strict architectural requirement: backwards compatibility. Pre-existing compiled Java 1.4 .class files had to seamlessly link with newly compiled generic code without changing the JVM bytecode format.

To achieve this, the Java compiler implements generics using a mechanism known as Type Erasure.

⚙️ How Type Erasure Works

During compilation, javac:

1
Replaces all type parameters with their bounds or Object if unbounded.
2
Inserts synthetic casts wherever values are extracted.
3
Generates bridge methods to preserve polymorphism in extended generic classes.
4
Strips type parameters so no type parameters exist at runtime inside JVM heap objects!

1Source Code (.java)                     Compiled Bytecode (.class)
2┌───────────────────────────┐           ┌───────────────────────────┐
3│ public class Box<T> {     │  Erasure  │ public class Box {        │
4│     private T value;      │ ────────► │     private Object value; │
5│     public T get() {      │           │     public Object get() { │
6│         return value;     │           │         return value;     │
7│     }                     │           │     }                     │
8│ }                         │           │ }                         │
9└───────────────────────────┘           └───────────────────────────┘

If bounded (<T extends Number>), T erases to Number instead of Object.

🌉 What are Bridge Methods?

When a class extends or implements a generic supertype with a concrete type argument, method signatures in bytecode differ after erasure. The compiler automatically synthesizes a hidden Bridge Method:

1// Source Code
2public class Node<T> {
3    public void setData(T data) { ... } // Erases to setData(Object)
4}
5 
6public class MyStringNode extends Node<String> {
7    @Override
8    public void setData(String data) { ... } // Signature is setData(String)
9}

Because setData(String) does not match setData(Object), the compiler injects a synthetic bridge method:

1// Compiler-Generated Synthetic Bridge Method in bytecode
2public void setData(Object data) {
3    setData((String) data); // Delegates with cast
4}

⚠️ Runtime Consequences and Limitations of Erasure

Because type arguments are erased at runtime:

1
Cannot check instanceof on generic types:

if (obj instanceof List<String>) ❌ COMPILE ERROR. Use if (obj instanceof List<?>) instead.

1
Cannot instantiate generic type parameter directly:

T obj = new T(); ❌ COMPILE ERROR.

1
Cannot create generic arrays:

T[] array = new T[10]; ❌ COMPILE ERROR.

1
Cannot declare static fields with class type parameters:

private static T instance; ❌ COMPILE ERROR.

Next Lesson

Introduction to Functional Programming in Java

Continue learning with hands-on practice, examples, and exercises in the upcoming topic.

Related Lessons

Previous Lesson	Next Lesson
Wildcards in Generics: Upper Bounded (? extends) and Lower Bounded (? super)	Introduction to Functional Programming in Java

Practice Quiz

Test your understanding of this lesson with 1 questions. Each question has one correct answer.

Previous Next

PreviousPrevNext

MSK Institute • Shikohabad

Loading Page Content...

Preparing courses, live labs, and learning resources.सामग्री लोड हो रही है, कृपया प्रतीक्षा करें...

Connecting serverPlease wait...

💻 Practical Labs🚀 Free Demo📜 Verified Certificates

Introduction to Functional Programming in Java

Type Erasure and Bridge Methods Behind the Scenes

Advanced15 min read•Updated: 2025-01-15

Study Materials

🔍 Type Erasure and Bridge Methods Behind the Scenes

Introduction

To achieve this, the Java compiler implements generics using a mechanism known as Type Erasure.

⚙️ How Type Erasure Works

During compilation, javac:

1
Replaces all type parameters with their bounds or Object if unbounded.
2
Inserts synthetic casts wherever values are extracted.
3
Generates bridge methods to preserve polymorphism in extended generic classes.
4
Strips type parameters so no type parameters exist at runtime inside JVM heap objects!

1Source Code (.java)                     Compiled Bytecode (.class)
2┌───────────────────────────┐           ┌───────────────────────────┐
3│ public class Box<T> {     │  Erasure  │ public class Box {        │
4│     private T value;      │ ────────► │     private Object value; │
5│     public T get() {      │           │     public Object get() { │
6│         return value;     │           │         return value;     │
7│     }                     │           │     }                     │
8│ }                         │           │ }                         │
9└───────────────────────────┘           └───────────────────────────┘

If bounded (<T extends Number>), T erases to Number instead of Object.

🌉 What are Bridge Methods?

1// Source Code
2public class Node<T> {
3    public void setData(T data) { ... } // Erases to setData(Object)
4}
5 
6public class MyStringNode extends Node<String> {
7    @Override
8    public void setData(String data) { ... } // Signature is setData(String)
9}

Because setData(String) does not match setData(Object), the compiler injects a synthetic bridge method:

1// Compiler-Generated Synthetic Bridge Method in bytecode
2public void setData(Object data) {
3    setData((String) data); // Delegates with cast
4}

⚠️ Runtime Consequences and Limitations of Erasure

Because type arguments are erased at runtime:

1
Cannot check instanceof on generic types:

if (obj instanceof List<String>) ❌ COMPILE ERROR. Use if (obj instanceof List<?>) instead.

1
Cannot instantiate generic type parameter directly:

T obj = new T(); ❌ COMPILE ERROR.

1
Cannot create generic arrays:

T[] array = new T[10]; ❌ COMPILE ERROR.

1
Cannot declare static fields with class type parameters:

private static T instance; ❌ COMPILE ERROR.

Next Lesson

Introduction to Functional Programming in Java

Continue learning with hands-on practice, examples, and exercises in the upcoming topic.

Related Lessons

Previous Lesson	Next Lesson
Wildcards in Generics: Upper Bounded (? extends) and Lower Bounded (? super)	Introduction to Functional Programming in Java

Practice Quiz

Test your understanding of this lesson with 1 questions. Each question has one correct answer.

Previous Next