Kiểu trả về Covariant trong Java

0
2227
Covariant return type 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)

Leave a reply

Please enter your comment!
Please enter your name here