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.

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

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:

Kiểu trả về Covariant trong Java

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ề.

Method Overriding trong Java

Nếu subclass (lớp con) có các phương thức tương tự như trong các super class (class cha), nó được gọi là Method Overriding (Ghi đè phương thức) trong Java.

Method Overloading trong JAVA

Nếu một class có nhiều phương thức có cùng tên, nhưng đối số khác nhau, nó được gọi là Method Overloading. Có 2 cách thực hiện method Overloading trong Java

Mối quan hệ HAS-A (Aggregation) trong JAVA

Nếu một class có một thực thể tham chiếu, nó được gọi là Aggregation. Aggregation đại diện cho mối quan hệ HAS-A.

Leave a reply

Please enter your comment!
Please enter your name here