Abstract classes that implement interfaces shouldn't require method signatures

TypeScript Version: 2.7

Search Terms: abstract class implements interface

Code

interface FooFace {
    foo();
}
abstract class FooClass implements FooFace {
    //         ^^^^^^^^
    // Class 'FooClass' incorrectly implements interface 'FooFace'.
    //   Property 'foo' is missing in type 'FooClass'.
    //
    // unless the following is uncommented:
    //abstract foo();
}

// contrast:
abstract class BarClass {
    abstract bar();
}
abstract class BarSubClass extends BarClass {
    // no `abstract bar();` required
}

Expected behavior:
Abstract classes that implement interfaces don't need to define abstract type definitions to satisfy interface.

Actual behavior:
They do.

Playground Link

Related Issues:

• #19847, where typescript fails to see that a superclass does implement a method (contrast this ticket, where typescript fails to see that a class need not implement a method)

Riproduci l’esempio di TypeScript 2.7 dall’issue o dal relativo link al Playground, quindi esamina il percorso di verifica della compatibilità tra classi/interfacce e confrontalo con l’esempio della superclasse astratta. Il lavoro è completato quando una classe astratta può implementare un’interfaccia senza dichiarare ogni membro non implementato come abstract, mentre le sottoclassi concrete continuano a soddisfare il contratto dell’interfaccia; esamina l’issue correlata #19847 e la discussione per verificare i vincoli.