Вопросы с тегом 'typechecking'

Проверка типов приводит к тому, что выражения в данном языке программирования хорошо типизированы, то есть соответствуют правилам конкретной системы типов.
10

Каков наилучший (идиоматический) способ проверки типа переменной Python?

Мне нужно знать, является ли переменная в Python строкой или dict. Что-то не так со следующим кодом? if type(x) == type(str()): do_something_with_a_string(x) elif type(x) == type(dict()): do_somethting_with_a_dict(x) else: raise ValueErr...
18 дек. '08 в 19:27
11

Как узнать тип объекта (в Swift)?

При попытке понять программу или в некоторых угловых случаях полезно иметь возможность действительно узнать, что это за тип. Я знаю, что отладчик может показать вам некоторую информацию о типе, и вы обычно можете полагаться на вывод типа, чтобы уйти,...
07 июн. '14 в 20:46
16

Проверка того, является ли объект заданным типом в Swift

У меня есть массив, состоящий из AnyObject. Я хочу перебрать его и найти все элементы, которые являются экземплярами массива. Как проверить, является ли объект данного типа в Swift?
06 июн. '14 в 23:04
2

Проверка типа класса с помощью TypeScript

Я очень рад TypeScript, поэтому я начал играть с ним. Как разработчик Actionscript, он делает Javascript менее сложным. Однако в Actionscript можно проверить тип во время выполнения с помощью оператора is: var mySprite:Sprite = new Sprite(); trace...
08 окт. '12 в 20:47
9

Как проверить, является ли объект Ruby логическим

Кажется, я не могу легко проверить, является ли объект логическим. Есть ли что-то подобное в Ruby? true.is_a?(Boolean) false.is_a?(Boolean) Прямо сейчас я делаю это и хотел бы сократить это: some_var = rand(1) == 1 ? true : false (some_var.is_a?(T...
12 июн. '10 в 9:57
8

Java: Instanceof и Generics

Прежде чем я просмотрю свою общую структуру данных для индекса значений, я хотел бы увидеть, был ли этот параметр экземпляром типа this параметризирован. Но Eclipse жалуется, когда я это делаю: @Override public int indexOf(Object arg0) { if (!...
15 окт. '09 в 3:00
6

Проверьте, является ли переменная строкой в ​​Ruby

Есть ли что-то более идиоматическое, чем следующее? foo.class == String
13 окт. '11 в 4:18
4

Есть ли способ проверить, является ли переменная Date в JavaScript?

Мне было интересно узнать, существует ли какой-либо способ проверить, является ли объект конкретно датой в JavaScript. isType возвращает объект для Date, чего недостаточно для этого сценария. Есть идеи? Спасибо!
14 мая '10 в 1:37
4

Проверка параметра типа общего метода в С#

Можно ли сделать что-то подобное в С#: public void DoSomething<T>(T t) { if (T is MyClass) { MyClass mc = (MyClass)t ... } else if (T is List<MyClass>) { List<MyClass> lmc = (List<M...
05 янв. '10 в 6:21
5

Проверка типов аргументов Python

Иногда проверка аргументов в Python необходима. например, у меня есть функция, которая принимает либо адрес другого узла в сети в качестве необработанного строкового адреса, либо класс Node, который инкапсулирует информацию о другом узле. Я использ...
09 апр. '09 в 13:57
2

Попробовать/уловить или проверить скорость?

Я работаю с Python, и всякий раз, когда мне приходилось проверять ввод функции, я предполагал, что вход работал, а затем поймал ошибки. В моем случае у меня был универсальный класс Vector(), который я использовал для нескольких разных вещей, одним ...
08 апр. '11 в 1:39
6

Swift - требовать, чтобы классы, реализующие протокол, были подклассами определенного класса

Я создаю несколько классов NSView, все из которых поддерживают специальную операцию, которую мы назовем transmogrify. На первый взгляд это кажется идеальным местом для протокола: protocol TransmogrifiableView { func transmogrify() } Однако эт...
07 янв. '15 в 7:36
9

Обеспечьте сильную проверку типов в C (строгость строгости для typedefs)

Есть ли способ принудительного применения явного приведения для typedef одного типа? Я должен иметь дело с utf8, и иногда меня путают с индексами для количества символов и количества байтов. Поэтому было бы неплохо иметь некоторые typedefs: typedef ...
17 дек. '08 в 23:33
3

Алгоритм проверки типа ML-подобным образом?

Как вы определяете, является ли данный шаблон "хорошим", в частности, является ли он исчерпывающим и неперекрывающимся, для языков программирования в стиле ML? Предположим, что у вас есть такие шаблоны, как: match lst with x :: y :: [] -> ... ...
24 окт. '11 в 23:12
4

Проверка Android-ожиданий "ожидаемого ресурса типа"?

Android Studio Beta (0.8) имеет отличную новую функцию, где он проверяет, что некоторые параметры int не являются произвольными целыми числами, а имеют некоторые свойства. Например, вызывая что-то вроде: setContentView(R.id.textView1); будет пра...
12 июл. '14 в 19:09