0
ответов

& ldquo; Безопасность типов: потенциальное загрязнение кучи через параметр varargs conds & rdquo;

У меня есть метод, подпись которого выглядит следующим образом: public ClaimSearchPage waitForClaimCondition (заголовок String, значение String, Pair < String, String > ... conds) {Мое намерение состоит в том, чтобы они передавались ...
вопрос задан: 16 January 2019 15:03
0
ответов

Что происходит, если я бросил указатель функции, изменив количество параметров

Я только начинаю переносить голову вокруг указателей функции в C. Понять, как кастинг работ указателей функции, я записал следующую программу. Это в основном создает указатель функции к...
вопрос задан: 23 May 2017 12:19
0
ответов

Что является хорошей типизированной альтернативой вариативным функциям в C ++?

В связи с этим вопросом. У меня возникли проблемы с поиском хорошего типобезопасного решения следующей, казалось бы, базовой проблемы. У меня есть класс music_playlist, в котором есть список песен, которые он должен ...
вопрос задан: 23 May 2017 12:04
0
ответов

Yeni “avtomatik” söz; Dəyişən tipini elan etmək üçün nə vaxt istifadə olunmalıdır? [dublikat]

Mümkün dublikat: C ++ 0x avtomatik açar söz ilə nə qədər çoxdur (icma olaraq) nə vaxt və / və ya avtomatik sui-istifadə edildiyini müəyyənləşdirmək üçün kifayət qədər təcrübəmizə sahibik? Həqiqətən axtardığım şey ...
вопрос задан: 23 May 2017 11:55
0
ответов

Проверка типов примитивных типов значений .NET с помощью настраиваемых структур: стоит ли это усилий?

Я играю с идеей создания примитивов Типы значений .NET более безопасны в отношении типов и более «самодокументируются» за счет их заключения в пользовательские структуры. Однако мне интересно, стоит ли оно того ...
вопрос задан: 23 May 2017 11:54
0
ответов

Почему в C #одно приведение может выполнять как распаковку, так и преобразование перечисления?

Обычно можно ожидать и надеяться, что потребуется два приведения, чтобы сначала распаковать тип значения, а затем выполнить некоторое преобразование типа значения в другой тип значения. Вот пример, где это...
вопрос задан: 23 May 2017 11:45
0
ответов

C++ vs. C# type safety

Я читал вопросы с наибольшим количеством голосов по тегу history и наткнулся на https://stackoverflow.com/q/4377512/627005, где принятый ответ гласит, что C имеет "минимальную безопасность типов",...
вопрос задан: 23 May 2017 11:43
0
ответов

Неправильно ли используется static_cast?

У меня смешанные чувства по поводу static_cast, так как это самый безопасный доступный код C ++, но позволяет одновременно и безопасные, и небезопасные преобразования, поэтому вы должны знать контекст, чтобы сказать, действительно ли это ...
вопрос задан: 23 May 2017 10:34
0
ответов

- это Spring framework 3.0 типобезопасный

В другом вопросе, который я задал, возникла озабоченность, что Spring framework не является типобезопасным. Это правда или исправлено, и можете ли вы привести пример, что именно это означает?
вопрос задан: 23 May 2017 10:29
0
ответов

Безопасность типов в Clojure

Я хочу спросить, какие конструкции языков безопасности типов есть в Clojure? Я уже несколько раз читал «Practical Clojure» Люка Вандерхарта и Стюарта Сьерры, но у меня все еще есть отчетливые ...
вопрос задан: 23 November 2016 03:25
0
ответов

Строка присваивается списку без ошибки компиляции [дубликат]

Как я знаю, одной из основных целей обобщений в Java является обеспечение безопасности типов во время компиляции. Если он скомпилирован, код будет работать без проблем. Тогда почему следующий код компилируется? ...
вопрос задан: 5 September 2016 17:05
0
ответов

Java/Scala получает ссылку на поле безопасным для типов способом.

Java утверждает, что является объектно-ориентированным и безопасным для типов, а Scala тем более. Поля внутреннего класса представлены классом Field, ссылку на который можно получить через Reflection API. Мой ...
вопрос задан: 14 October 2015 14:07
0
ответов

Каков самый надежный способ обеспечить безопасность типов компилятора закрытия вместе с AMD (requirejs)?

Хотя JavaScript и его многочисленные библиотеки (jQuery, RequireJS) позволяют создавать множество отличных веб-сайтов, я нахожу отсутствие безопасности типов обескураживающим при планировании создания более крупного веб-сайта. ...
вопрос задан: 12 October 2013 02:35
0
ответов

Почему C++ позволяет мне назначать const char константе char *?​!

К моему удивлению, это компилирует :const char *c _str (){ статическая константа char nullchar = '\0'; вернуть нольсимвол; } и это внесло ошибку в мой код. К счастью, я поймал его. Это...
вопрос задан: 26 December 2012 00:41
0
ответов

Haskell-подобная система типов в C

Мне было интересно, можно ли интегрировать мощную систему типов haskell в такой язык, как C, и при этом иметь возможность выполнять эффективное низкоуровневое программирование?
вопрос задан: 17 August 2012 04:22
0
ответов

Сопоставление Java generics Class с Parser

У меня есть класс, который анализирует поток данных. Каждый фрагмент данных называется Box. Есть много разных коробок. Я хочу иметь разные парсеры для каждого типа коробки. Так что в основном я...
вопрос задан: 15 July 2012 00:47
0
ответов

Тип -сейф Равно()

Так как покрытие (модульным -)тестом все еще довольно низкое, к сожалению, мне приходится находить много ошибок трудным путем. Поэтому при рефакторинге я сильно полагаюсь на проверку типов компилятора C #. Сегодня я...
вопрос задан: 10 July 2012 20:13
0
ответов

Безопасное моделирование реляционных данных в Haskell

Я считаю очень распространенным желание моделировать реляционные данные в моих функциональных программах. Например, при разработке веб-сайта мне может потребоваться следующая структура данных для хранения информации о моих пользователях: ...
вопрос задан: 19 June 2012 03:18
0
ответов

Haskell: Безопасность типов с логически разными логическими значениями

Допустим, у меня есть следующий тип кода IsTall = Bool type IsAlive = Bool is_short_alive_person is_tall is_alive = (не is_tall) && is_alive Скажем, позже у меня есть следующий код:: ...
вопрос задан: 11 May 2012 03:19
0
ответов

Преимущества AppSettingsReader .Net по сравнению с ConfigurationManager для чтения параметров конфигурации приложения

Существуют ли существенные различия между классом AppSettingsReader и членом AppSettings класса ConfigurationManager в .Net 3.5? Я строю некоторый старый код и предыдущий ...
вопрос задан: 7 May 2012 14:50
0
ответов

Передача кода метода в качестве аргумента типобезопасным способом

Передача метода в качестве аргумента не является проблемой: тип TSomething = class Msg: string; процедура Шоу; конец; процедура TSomething.Show; начать ShowMessage (сообщение); конец; type TProc = ...
вопрос задан: 15 March 2012 14:44
0
ответов

typesafe typedef в C++

Я хотел бы использовать что-то вроде typedef в своих программах на C++ для повышения безопасности типов. В качестве примера предположим, что у меня есть две функции: void function1(unsigned idOfType1); void function2(unsigned ...
вопрос задан: 6 March 2012 16:41
0
ответов

Типобезопасная настройка объектов со словарем, имеющим ключ `Type`

У меня есть общий словарь объектов, где ключ имеет тип Тип: открытый класс DynamicObject: IDictionary Идея заключается в что этот объект совместно используется в подключаемом модуле ...
вопрос задан: 9 January 2012 14:03
0
ответов

Конструктор списка переменных, как установить по умолчанию правильный тип и обеспечить безопасность типа

Вот что у меня есть: {- # LANGUAGE MultiParamTypeClasses, FlexibleInstances # -} class ListResultMult ra, где lstM :: a -> [a] -> r listM :: ListResultMult ra => a -> r ...
вопрос задан: 6 November 2011 23:40
0
ответов

рендеринг частичных просмотров с использованием AJAX

Я проверил этот вопрос, и он решил мои начальные проблемы. Но я не хочу, чтобы частичный взгляд был отображен только тогда, когда пользователь нажимает ссылку, я хочу рендерировать частичные представления, когда страница загружается ...
вопрос задан: 15 September 2011 12:41
0
ответов

Типичный Javascript

Есть ли способ принудительно использовать типы в JavaScript? Я думаю о препроцессоре, который принимает входной файл, написанный на ActionScript 3 или Java, и преобразует его в JS. Мне не нужна большая среда выполнения ...
вопрос задан: 13 August 2011 15:12
0
ответов

Есть ли название для этого паттерна? (Безопасность типов во время компиляции C # с аргументами «params» разных типов)

Есть ли имя для этого шаблона? Допустим, вы хотите создать метод, который принимает переменное количество аргументов, каждый из которых должен быть одним из фиксированного набора типов (в любом порядке или комбинации), и ...
вопрос задан: 3 August 2011 14:12
0
ответов

Как вы проверяете типобезопасность вашего обобщенного API?

Вы можете использовать, например, JUnit, чтобы проверить функциональность вашей библиотеки, но как вы протестируете ее типобезопасность в отношении универсальных шаблонов и подстановочных знаков? Только тестирование с использованием кодов, которые комп
вопрос задан: 7 July 2011 04:09
0
ответов

Почему я не могу назначить неправильный элемент перечисления, но могу сравнить с неправильным элементом перечисления?

Со следующими определениями C ++: enum EnumA {EA_Element = 1 }; enum EnumB {EB_Element = 10 }; следующий код не компилируется, и это имеет смысл: переменная EnumA; переменная = ...
вопрос задан: 6 July 2011 06:53
0
ответов

ASP.NET MVC 3.0 - Почему модель строгой типизации в Посмотреть, не происходит ли статической компиляции?

Я активно разрабатываю настольные приложения, локальные и сетевые службы, некоторые классические ASP.NET и т. Д., Поэтому я привык к статической компиляции и статическому анализу кода. Теперь, когда я (наконец) изучаю ASP ....
вопрос задан: 6 June 2011 15:15