Как сделать, чтобы T расширял два типа?

void foo<T extends num, String> (T t) {
  if (t is String) {
    String s = t; // Error
  }
}

A value of type 'T' can't be assigned to a variable of type 'String'.

Т не может этого сделать.

adnan_e 17.05.2022 15:51

В любом случае нет смысла иметь общий T, когда вы работаете с if-is. Просто используйте dynamic или укажите метод с двумя необязательными параметрами, по одному каждого типа.

nvoigt 17.05.2022 17:16

@nvoigt dynamic означает, что я могу предоставить что угодно (чего я не хочу), и создание необязательного параметра потребует от меня работы с assert, потому что я не хочу предоставлять и num, и String одновременно. Спасибо

iDecode 17.05.2022 17:26
0
3
42
2
Перейти к ответу Данный вопрос помечен как решенный

Ответы 2

Вы не сможете сделать это с базовым Dart, так как ваш универсальный тип T может расширять только один класс. Единственный способ, которым я вижу такое поведение возможным, - это использование сторонних пакетов, таких как дарц с его типом Either.

Пример

void foo<T extends num>(Either<T, String> t) {
  final String s;
  if (t.isRight()) {
    s = (t as Right<T, String>).value;
  } else {
    s = (t as Left<T, String>).value.toStringAsFixed(3);
  }
  print(s);
}

foo(Left(1.0)); // prints '1.000'
foo<int>(Right('bar')); // prints 'bar'
Ответ принят как подходящий

Нет синтаксиса, указывающего, что универсальный тип реализует несколько интерфейсов, поэтому нет возможности работать с проверками во время компиляции.

Кроме того, ваш конкретный пример не может работать, потому что num и String не могут быть расширены или реализованы, поэтому невозможно иметь тип, который реализует оба.

Если мы изменим ваш пример, основанный на проверке во время выполнения, чтобы использовать два пользовательских типа, он все равно не будет работать:

class C1 {}

class C2 {
  void f() => print('C2.f');
}

class C3 implements C1, C2 {
  @override
  void f() => print('C3.f');
}

void foo<T extends C1>(T t) {
  if (t is C2) {
    t.f(); // 'f' isn't defined for the type <unknown>
  }
}

См. https://github.com/dart-lang/language/issues/2047: t не связан с C2, поэтому проверка is C2, к сожалению, не повысит его автоматически до C2. Вместо этого вы можете использовать приведение во время выполнения:

void foo<T extends C1>(T t) {
  if (t is C2) {
    (t as C2).f();
  }
}

или сначала преобразовать в Object/dynamic:

void foo<T extends C1>(T t) {
  Object t0 = t;
  if (t0 is C2) {
    t0.f();
  }
}

Но на самом деле вы должны просто использовать T extends C3, если это возможно.

Я знал о части as (о которой, я думаю, вы упоминали в одном из моих постов ранее), но этот обходной путь Object довольно приятный.

iDecode 17.05.2022 19:33

Другие вопросы по теме