Перекрытие абстрактного метода класса Java в Scala с ограниченным наследованием

Question

У меня есть абстрактный класс в библиотеке я хотел реализовать в Scala, который имеет абстрактный метод копирования с ограниченными наследованиями следующим образом:

// Java code 
public abstract class Base { 
     public abstract <T extends Base> T copy(); 
} 

Когда я создаю класс в Java это работает отлично, т.е.

public class FromBase extends Base { 
    @Override 
    @SuppressWarnings("unchecked") 
    public FromBase copy(); 
} 

Но если я попытаюсь сделать это в Scala ниже дает method 'copy' overrides nothing:

class FromBase extends Base { 
    override def copy(): FromBase = new FromBase() 
} 

И ниже IDE-предложил работает, но требует вызова с типом v.copy[FromBase]() работой:

class FromBase extends Base { 
    override def copy[T <: Tuple](): T = (new FromBase).asInstanceOf[T] 
} 

Поскольку метод может быть вызван из Java, мне нужна копия без родового работать, как в примере Java.

Answer 1

В заявлении Base.copy говорится, что он может вернуть независимо от подтипа Base его спрашивают. Это полностью действует написать

Base base = new FromBase; 
AnotherBaseSubclass base2 = base.copy(); 
// same as AnotherBaseSubclass base2 = base.<AnotherBaseSubclass>copy(); 

Это, очевидно, не может работать, если FromBase.copy фактический тип возвращаемого значения FromBase. Таким образом, «предупреждение», которое вы подавляете, должно быть ошибкой, и Scala не позволяет этого.

Возможно, вам действительно понадобится T по телефону Base, а не copy. Если вы исправите это:

// Java code 
public abstract class Base<T extends Base> { 
     public abstract T copy(); 
} 

// Scala 
class FromBase extends Base[FromBase] { 
    override def copy() = new FromBase 
} 

он будет компилировать и не требовать каких-либо бросков или подавленных предупреждений.