type-safety — все вопросы

4ответа
4 голоса
Универсальный класс с явно типобезопасной таксономией
Я ищу способ создания базового базового класса, который имеет типизированную таксономию с использованием внутренних свойств. Просто чтобы прояснить, классу не нужно использовать функцию родового язы
2ответа
4 голоса
Проблема вывода типа TypeScript
Я использую TypeScript с драйвером MongoDB node.js. Обратите внимание, что это не вопрос Монго, а только конкретный вариант использования этой проблемы. Практически каждый вызов Mongo использует
2ответа
4 голоса
Тип угловых компонентов
Могу ли я сослаться на класс угловых компонентов как тип? Я вижу, что Ionic использует any для компонентов. Возможно ли в Typescript объявить тип аргумента, который ожидает только классы компонентов
3ответа
4 голоса
Объекты PHP и их функции
Я сейчас использую PHP 5 и очень стараюсь использовать ООП в PHP 5. Я столкнулся с проблемой. У меня есть несколько классов и несколько функций внутри них. Немногие функции требуют передачи аргумент
1ответ
4 голоса
переменная scala число универсальных типов в классе
Я работаю со scala и scalaStorm для проекта, в настоящее время я использую библиотеку velvia scalastorm от github ( https : //github.com/velvia/ScalaStorm ), и я пытаюсь его обогатить. Я хочу добави
2ответа
4 голоса
Это ошибка проверки типов?
Я сузил его до следующего фрагмента кода: trait A[T] { def apply(t: T): Int } sealed trait P { def apply(): Int } case class I[T](a: A[T], t: T) extends P { def apply: Int = a(t) } case c
2ответа
4 голоса
C # enum type-safety
Есть ли способ заставить перечисление C # принять только одну из нескольких явно названных констант, или есть другая функция, которая это делает? Ссылка на C # имеет такую ​​запоздалую мысль:   
2ответа
4 голоса
Безопасные нетривиальные зависимости данных /пользовательские ссылки?
Одна из центральных особенностей Rust - принудительная безопасность ссылок во время компиляции, которая достигается с помощью механики владения и явного времени жизни.Можно ли реализовать «пользовател
3ответа
4 голоса
Ссылка на метод экземпляра конкретного объекта нарушает безопасность типов в Java?
Не нарушает ли понятие ссылки на метод экземпляра конкретного объекта безопасность типов в Java?Согласно сhttps://docs.oracle.com/javase/tutorial/java/javaOO/methodreferences.htmlу вас может быть собс
3ответа
4 голоса
Логические операторы для небулевых типов в Scala
Мне нравится краткий код, который может быть написан с использованием логических операторов, а не условных выражений в (обычно динамических) языках, таких как Lisp, Python или JavaScript, как в типичн
2ответа
4 голоса
Безопасное отображение типа из класса в Thing
Я хочу сделать контейнер типа карты, который имеет следующий интерфейс:Интересно то, что ---- +: = 1 =: + ---- s в каждом ---- +: = 2 =: + ---- -> ---- +: = 3 =: + ---- пара та же самая ---- +: = 4
1ответ
4 голоса
Является ли это необработанное назначение типа безопасным?List = new ArrayList ();
У меня есть такой код:Этот тип безопасен?Я думаю, что это безопасно, потому что я не назначаю необработанный тип чему-либо еще.Я даже могу продемонстрировать, что он выполняет проверку типов, когда я
1ответ
4 голоса
Параметризованные ключи типа для карты
Я изучаю Java и в настоящее время читаю «Эффективную Java» Джошуа Блоха.В пункте 29 он обсуждает параметризованные ключи типов для Map, чтобы создать разнородную карту с сохранением типов.Вот код:Он п
4ответа
6 голосов
Является ли VB.NET слабо типизированным по сравнению с C #
Вчера я был на собеседовании, где мой интервьюер (который, по общему признанию, не претендовал на звание эксперта по этому вопросу) заявил, что «VB.NET напечатан слабее, чем C #» - (В то же время он
1ответ
7 голосов
Нарушение безопасности типов в C ++ с объявлением функции другого типа?
Я новичок в C ++ и просто пробую вещи. Я застрял со следующим кодом: #include<iostream> void t(){ std::cout << "func t()" << std::endl; } int main(int argc, char **argv)
1ответ
8 голосов
Какой самый надежный способ обеспечить безопасность типов компилятора замыкания вместе с AMD (requirejs)?
Хотя JavaScript и его многочисленные библиотеки (jQuery, RequireJS ) позволяют создавать множество замечательных веб-сайтов, которые мне не хватает безопасности типа при рассмотрении вопроса о созд
3ответа
8 голосов
c ++: использование безопасности типов для различения типов двух аргументов int
У меня есть различные функции с двумя аргументами типа int (я сам пишу как функции, так и вызывающий код). Боюсь перепутать порядок аргументации в некоторых звонках. Как я могу использовать безоп
3ответа
8 голосов
Использование компилятора Rust, чтобы не забыть вызвать метод
У меня есть такой код: foo.move_right_by(10); //do some stuff foo.move_left_by(10); Очень важно, чтобы я выполнил обе эти операции со временем , но я часто забываю делать вторую после первой.
1ответ
14 голосов
Используется ли static_cast неправильно?
Я испытываю смешанные чувства по поводу static_cast, так как это самый безопасный из приведенных типов C ++, но допускает как безопасные, так и небезопасные преобразования одновременно. время, поэто
1 2 3 4

Популярные теги

security × 330linux × 316macos × 2827 × 268performance × 244command-line × 241sql-server × 235joomla-3.x × 222java × 189c++ × 186windows × 180cisco × 168bash × 158c# × 142gmail × 139arduino-uno × 139javascript × 134ssh × 133seo × 132mysql × 132