Início / coding / Perguntas / 77708444
Accepted
Dimitris Andreou
Asked: 2023-12-24 01:23:38 +0800 CST

Tipo de retorno covariante para subclasses

  • 772

Iniciante em Dart aqui.

abstract class Supertype {
  WithQuantity<Supertype> newQuantity(num quantity) =>
    WithQuantity(this, quantity)
}

class Subtype extends Supertype {
}

class WithQuantity<S extends Supertype> {
  final S thing;
  final num quantity;
  WithQuantity(this.thing, this.quantity);
}

void main() {
  WithQuantity<Subtype> quantityOfSubtype = Subtype().newQuantity(5);  
}

Eu gostaria que a última linha fosse compilada.

Nesta versão é claro que não, porque newQuantityretorna WithQuantity<Supertype>, não WithQuantity<Subtype>.

Posso substituir o newQuantitymétodo para tornar o tipo de retorno mais restrito, mas teria que fazer isso para cada subclasse separadamente; parece duplicado.

Em Java eu ​​poderia ter feito algo assim:

class Supertype<S extends Supertype> {
  WithQuantity<S> newQuantity(...);
}

Mas Dart não gosta dessa recursão.

Posso de alguma forma dizer ao compilador que preciso retornar WithQuantity<whateverMyRuntimeTypeIs>?

Obrigado!

dart

1 respostas

  1. Best Answer

    Você pode declarar Supertypecomo genérico cujo parâmetro de tipo é a subclasse e então converter explicitamente thispara ser esse tipo de subclasse:

    abstract class Supertype<S extends Supertype<S>> {
  WithQuantity<S> newQuantity(num quantity) =>
      WithQuantity(this as S, quantity);
}

class Subtype extends Supertype<Subtype> {}

class WithQuantity<S extends Supertype<S>> {
  final S thing;
  final num quantity;
  WithQuantity(this.thing, this.quantity);
}

void main() {
  WithQuantity<Subtype> listOfSubtype = Subtype().newQuantity(5);
}
    • 2

relate perguntas