4
ответа
Как работать вокруг ограничений в универсальных ограничениях типа в C#?
Хорошо я ищу некоторый вход, я вполне уверен, это в настоящее время не поддерживается в.NET 3.5, но здесь идет. Я хочу потребовать, чтобы универсальный тип передал в мой класс, чтобы иметь конструктора как это:...
вопрос задан: 20 March 2010 22:11
4
ответа
Почему Haskell не доходит выводить typeclasses типа данных в функциональных подписях?
Во-первых, этот вопрос не на 100% характерен для Haskell, не стесняйтесь комментировать общий дизайн typeclasses, интерфейсов и типов. Я читаю LYAH - создающие типы и typeclasses следующее...
вопрос задан: 31 January 2010 02:38
4
ответа
Нестрогий несколько интерфейсов вводят ограничения параметра?
Извините меня, если это - простофиля, но я, могло бы казаться, не заставил бы правильную комбинацию ключевых слов отфильтровывать различное ограничение типа и вопросы о дженериках там (поскольку существует много). Я имею два...
вопрос задан: 12 December 2009 00:20
4
ответа
Как определить универсальный предел типа типам примитивов?
У меня есть следующий метод с универсальным типом: T GetValue <T> (); я хотел бы ограничить T типами примитивов, такими как интервал, строка, плавание, но не тип класса. Я знаю, что могу определить универсальный для класса...
вопрос задан: 30 April 2009 04:13
3
ответа
Что означают <: <, <% <и =: = в Scala 2.8 и где они задокументированы?
Я вижу в документации API для Predef, что они являются подклассами универсального типа функции (From) => To, но это все, что там говорится. Гм, что? Возможно, где-то есть документация, но поисковые системы не ...
вопрос задан: 16 June 2019 02:50
3
ответа
Общие методы C#, введите новые параметры () ограничение конструктора
Существует ли способ создать Общий метод, который использует новое () ограничение конструктора для требования классов с конструкторами определенных типов? Например: у Меня есть следующий код: общественность T...
вопрос задан: 11 November 2014 12:18
3
ответа
Что делает термин “Явное ограничение типа”, относятся к?
Недавно я считал термин "явное ограничение типа" в контексте Дженериков.Что это значит? Где мы используем его?
вопрос задан: 2 September 2013 23:42
2
ответа
Как я указываю несколько ограничений на универсальный тип в C#?
Каков синтаксис для размещения ограничений на несколько типов? Основной пример: Животное класса <SpeciesType>, где SpeciesType: Разновидность я хотел бы поместить ограничения на обоих, вводит...
вопрос задан: 4 April 2014 11:04
2
ответа
C#, универсальный, “где ограничение” с “любым универсальным типом” определение?
Позвольте мне дать пример: у Меня есть некоторое универсальное определение класса/интерфейса: интерфейс IGenericCar <T> {...} У меня есть другой класс/интерфейс, который я хочу связать с классом выше, например:...
вопрос задан: 7 January 2013 12:32
2
ответа
Определение ограничения конструктора для Универсального Параметра [дубликат]
У меня есть набор объектов, которые я передаю как параметр для создания объектов другого типа (один к одному). Я делаю это во многих местах (в основном преобразовывающий от объектов данных до бизнес-объектов). Я...
вопрос задан: 4 August 2010 17:21
2
ответа
Попытка понять Haskell => по сравнению с определением типов
В Haskell, почему был бы Вы определять функцию с ограничением типа: ghci>: t (==) (==):: (Eq a), =>->-> Bool Вместо того, чтобы определить его так, это - тип, был: ghci>: t (==) (==)::...
вопрос задан: 28 June 2010 21:07
2
ответа
Дополнительные методы для определенных универсальных типов
Я пытаюсь создать различный дополнительный метод для универсального типа, связанного с определенными универсальными параметрами типа в F#, но язык, кажется, не позволяет мне: То, что я хочу сделать, является чем-то...
вопрос задан: 7 October 2009 13:15
0
ответов
Почему ограничения типа не являются частью сигнатуры метода?
ОБНОВЛЕНИЕ: Начиная с C # 7.3, это больше не должно быть проблемой. Из примечаний к выпуску: Когда группа методов содержит некоторые универсальные методы, аргументы типа которых не удовлетворяют их ограничениям, эти ...
вопрос задан: 21 May 2019 05:55
0
ответов
C # 4.0 dynamic: Потенциальное эффективное решение для числовых обобщений?
После того, как я столкнулся с этой проблемой при попытке реализовать универсальный Vector2 в C #, я Я провел кучу исследований по этой проблеме, также описанной в этом ...
вопрос задан: 26 April 2019 12:08
0
ответов
Что означает «где T: class, new ()»?
Не могли бы вы объяснить мне, что где T: class, new () означает в следующей строке кода? void Add (T item) где T: class, new ();
вопрос задан: 2 October 2015 08:53
0
ответов
Как мне перевести параметр универсального типа `where T: U` ограничение с C # на F #?
F # вызывает у меня проблемы с правилами вывода типов. Я пишу простой построитель вычислений, но не могу правильно определить ограничения переменных общего типа. Код, который мне нужен, выглядит как ...
вопрос задан: 9 July 2014 07:28
0
ответов
Ограничение операции путем сопоставления параметра типа с тип, зависящий от пути аргумента
Я хотел бы использовать систему типов Scala для ограничения операций в системе, в которой есть ссылки на версии для некоторых значений. Все это происходит в некотором транзакционном контексте Ctx, который имеет ...
вопрос задан: 1 May 2014 09:12
0
ответов
Разница между интерфейсом как ограничением типа и интерфейсом как параметром?
Если бы я хотел создать метод, который принимает экземпляр IList в качестве параметра (или любой другой интерфейс, но давайте использовать IList в качестве примера), я мог бы создать общий метод с ограничением типа, например:
...
вопрос задан: 1 May 2014 09:10
0
ответов
Generic Constraints on function
I want to write a generic function that has a constraint on the type. Specifically I want something like this: bool IsInList(T value, params T[] args)
{bool found = false; foreach (...
вопрос задан: 19 December 2012 14:54
0
ответов
перечисление
Я пытаюсь создать набор перечислений, расширяющих общий интерфейс, например :interface Fooable. { void someCommonMethod (); } enum E1 реализует Fooable { // некоторые перечисления...
вопрос задан: 10 August 2012 21:43
0
ответов
Можно ли ограничить параметр типа универсального метода C #как «назначаемый из» параметра типа содержащего класса?
Я подозреваю, что ответ отрицательный, но я хочу знать, можно ли сделать что-то подобное :public class MyGenericClass { public void MyGenericMethod ()...
вопрос задан: 29 June 2012 15:27
0
ответов
Как наложить ограничения на связанные данные?
Я хотел бы заявить, что связанные данные всегда являются экземпляром определенного класса. class (Context (Associated a b)) = > Класс a, где данные Associated a :: * - > * Контекст контекста (...
вопрос задан: 29 June 2012 12:50
0
ответов
OCaml: ограничения типов в подписях
В моем коде есть контекст доступа к базе данных, который обеспечивает элементарные операции чтения/записи, называемый CouchDB.ctx. Затем различные модули в моем приложении расширяют этот класс дополнительными функциями, ...
вопрос задан: 18 May 2012 13:35
0
ответов
Дано & ldquo; где T: new () & rdquo ;, делает & ldquo; new T () & rdquo; использовать Activator.CreateInstance для внутреннего использования?
Если у меня есть ограничение параметра типа new (): void Foo < T > () где T: new () {var t = new T (); } Правда ли, что new T () будет внутренне использовать метод Activator.CreateInstance (то есть ...
вопрос задан: 1 May 2012 15:09
0
ответов
Типы ограничений по умолчанию игнорируются
Я столкнулся со странной проблемой при определении ограничения по умолчанию. Если ограничение равно единице, экземпляр по умолчанию не выбирается. Во всех остальных случаях работает как положено. { -#LANGUAGE TypeFamilies,...
вопрос задан: 30 April 2012 18:09
0
ответов
Как я могу объединить два ограничения типа с логическим или в Haskell?
В Haskell у нас есть возможность комбинировать ограничения на типы с логическим «и». Рассмотрим следующий тип И (a ::Ограничение )b = (a, b )или более сложный класс (a, b )=> И a...
вопрос задан: 21 April 2012 01:23
0
ответов
Равенство ограничений
В основном, учитывая {-# ЯЗЫК PolymorphicKinds, ConstraintKinds, TypeFamilies #-} (и другие, если необходимо), работает ли оператор уровня типа (~) с выражениями уровня типа вида Constraint? Я пробовал...
вопрос задан: 8 March 2012 18:28
0
ответов
Почему преобразование из «class A: IX» в общий «T, где T: IX» не разрешено?
Почему следующее вызывает ошибку компиляции? интерфейс IX {}
интерфейс IY {}
class XY: IX, IY {} void Foo () где T: IX, IY
{T xy = новый XY (); … // ^^^^^^^^
} // ...
вопрос задан: 24 February 2012 19:46
0
ответов
Ограничения параметров рефлексивного типа: X , где T: X - какие-нибудь более простые альтернативы?
Время от времени я усложняю простой интерфейс, добавляя саморефлексный («рефлексивный») тип ограничение параметра к нему. Например, я мог бы включить это: interface ICloneable
{...
вопрос задан: 15 January 2012 10:06
0
ответов
Почему я получаю общее нарушение ограничения во время выполнения? [closed]
Я получаю следующее исключение при попытке создать новый экземпляр класса, который сильно зависит от дженериков: new TestServer (8888); System.TypeLoadException GenericArguments [0], 'TOutPacket' ...
вопрос задан: 10 January 2012 14:39