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
*/