Kiểu trả về Covariant trong Java

Bài trước bạn đã được tiếp cận đến thuật ngữ Covariant.

Vậy,

Covariant trong Java là gì?

Covariant return type trong Java
Covariant return type trong Java

Covariant là một kiểu trả về có thể thay đổi theo cùng hướng với lớp con (subclass).

Trước Java5, không thể ghi đè bất kỳ phương thức nào bằng cách thay đổi kiểu trả về.

Nhưng kể từ Java5, có thể ghi đè phương thức bằng cách thay đổi kiểu trả về nếu lớp con ghi đè bất kỳ phương thức nào có kiểu trả về là Không nguyên thủy nhưng nó thay đổi kiểu trả về của nó thành kiểu lớp con.

Lưu ý: Nếu bạn là người mới bắt đầu sử dụng java, hãy bỏ qua bài viết này và quay lại sau khi đã học các khái niệm OOP

Hãy lấy một ví dụ đơn giản:

Ví dụ đơn giản về Kiểu trả về Covariant

Để bạn hiểu Covariant, hay xem ví dụ sau:

class A{  
  A get(){
    return this;
  }  
}  
  
class B1 extends A{  
  B1 get(){
    return this;
  }  
  void message(){
    System.out.println("Nói chào Covariant nào.");
  }  
  
  public static void main(String args[]){  
    new B1().get().message();  
  }  
}  

Kết quả:

Nói chào Covariant nào

Như bạn có thể thấy trong ví dụ trên:

Kiểu trả về của phương thức get() của lớp A là A nhưng kiểu trả về của phương thức get() của lớp B là B.

Cả hai phương thức có kiểu trả về khác nhau nhưng nó là phương thức ghi đè (Method overriding). Điều này được gọi là loại trả về covariant.

Các kiểu trả về Covariant được thực hiện như thế nào?

Java không cho phép overloading dựa trên kiểu trả về nhưng JVM luôn cho phép nạp chồng dựa trên kiểu trả về.

>> Tham khảo: Method Overloading trong Java

JVM sử dụng full signature của một phương thức để tra cứu / phân giải.

Full signature có nghĩa là nó bao gồm loại trả về ngoài các loại đối số.

Tức là, một lớp có thể có hai hoặc nhiều phương thức chỉ khác nhau theo kiểu trả về. Javac sử dụng thực tế này để thực hiện các kiểu trả về covariant.

Tham khảo:

Bạn đã hiểu về Covariant Return type chưa?

Kiểu trả về covariant đề cập đến kiểu trả về của phương thức ghi đè. Nó cho phép thu hẹp loại trả về của một phương thức được ghi đè mà không cần phải truyền loại hoặc kiểm tra loại trả về.

Hãy nhớ là, kiểu trả về covariant chỉ hoạt động cho các kiểu trả về không nguyên thủy (non-primitive)

Bài viết gần đây

Tìm hiểu về instanceof trong JAVA

Một vài ví dụ đơn giản để bạn hiểu hơn về toán tử instanceof trong Java. Cũng như cách sử dụng instanceof trong thực tế như thế nào.

Static Binding và Dynamic Binding trong Java

Bạn đang tìm hiểu về Binding trong Java? Về cơ bản, việc kết nối một cuộc gọi phương thức...

Tìm hiểu về Đa hình trong JAVA

Đa hình (Polymorphism) trong Java là một khái niệm để chỉ những hành động có thể thực hiện theo nhiều cách khác nhau.

Từ khóa FINAL trong JAVA

Từ khóa final có thể được áp dụng với các biến, một biến final không có giá trị, nó được gọi là biến final trống hoặc biến cuối cùng chưa được khởi tạo.

Khối Khởi tạo thể hiện trong JAVA

Khối khởi tạo thể hiện được sử dụng để khởi tạo các biến thể hiện. Nó chạy mỗi lần khi đối tượng của lớp được tạo.

Ví dụ sử dụng từ khóa Super trong JAVA

Để hiểu cụ thể từ khóa super trong Java làm việc như thế nào, chúng ta cùng đi qua các ví dụ bên dưới đây:

Leave a reply

Please enter your comment!
Please enter your name here