Как сделать, чтобы 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
Формы c голосовым вводом в React с помощью Speechly
Формы c голосовым вводом в React с помощью Speechly
Пытались ли вы когда-нибудь заполнить веб-форму в области электронной коммерции, которая требует много кликов и выбора? Вас попросят заполнить дату,...
Стилизация и валидация html-формы без использования JavaScript (только HTML/CSS)
Стилизация и валидация html-формы без использования JavaScript (только HTML/CSS)
Будучи разработчиком веб-приложений, легко впасть в заблуждение, считая, что приложение без JavaScript не имеет права на жизнь. Нам становится удобно...
Flatpickr: простой модуль календаря для вашего приложения на React
Flatpickr: простой модуль календаря для вашего приложения на React
Если вы ищете пакет для быстрой интеграции календаря с выбором даты в ваше приложения, то библиотека Flatpickr отлично справится с этой задачей....
В чем разница между Promise и Observable?
В чем разница между Promise и Observable?
Разберитесь в этом вопросе, и вы значительно повысите уровень своей компетенции.
Что такое cURL в PHP? Встроенные функции и пример GET запроса
Что такое cURL в PHP? Встроенные функции и пример GET запроса
Клиент для URL-адресов, cURL, позволяет взаимодействовать с множеством различных серверов по множеству различных протоколов с синтаксисом URL.
Четыре эффективных способа центрирования блочных элементов в CSS
Четыре эффективных способа центрирования блочных элементов в CSS
У каждого из нас бывали случаи, когда нам нужно отцентрировать блочный элемент, но мы не знаем, как это сделать. Даже если мы реализуем какой-то...
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

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