理解Java中的協變返回類型

在面向對象程序設計中，協變返回類型指的是子類中的成員函數的返回值類型不必嚴格等同於父類中被重寫的成員函數的返回值類型，而可以是更 "狹窄" 的類型。

Java 5.0添加了對協變返回類型的支持，即子類覆蓋（即重寫）基類方法時，返回的類型可以是基類方法返回類型的子類。協變返回類型允許返回更為具體的類型。

示例程序如下：

import java.io.ByteArrayInputStream;
import java.io.InputStream;

class Base
{
    //子類Derive將重寫此方法，將返回類型設置為InputStream的子類
  public InputStream getInput()
  {
    　　return System.in;
  }
}
public  class Derive extends Base
{
   
    @Override
    public ByteArrayInputStream getInput()
    {
       
        return new ByteArrayInputStream(new byte[1024]);
    }
    public static void main(String[] args)
    {
        Derive d=new Derive();
        System.out.println(d.getInput().getClass());
    }
}
/*程序輸出：
class java.io.ByteArrayInputStream
*/