0
ответов

Как ограничить универсальный тип enum?

Рассмотрим следующий код: class Base {// Базовые члены } Я хочу, чтобы общий T был перечислением (если возможно, с использованием ограничений). Как я могу сделать это на C #? РЕДАКТИРОВАТЬ: Использование контрактов кода -...
вопрос задан: 2 January 2012 18:32
0
ответов

Почему компилятор выбирает эту шаблонную функцию вместо перегруженной не шаблонной функции?

Использование VC ++ 2010, учитывая следующее: class Base {}; class Derived: public Base {}; template void foo (T & t); // А void foo (Base & base); // B Получено d; foo (d) ...
вопрос задан: 24 December 2011 06:35
0
ответов

haskell - ограничения ранга n? (или преобразователи монад и Data.Suitable)

Я пытаюсь написать что-то, что похоже на «типы ранга 2», но вместо этого для ограничений. (Или, может быть, неверно предполагать изменение -> в определении "типы ранга 2" на = & ...
вопрос задан: 10 November 2011 09:01
0
ответов

Параметр ограничения условного типа

У меня есть класс Container , у которого есть ContainerContents . Контейнер фактически принимает два параметра ограничения типа Container - TContainer является ...
вопрос задан: 25 July 2011 14:40
0
ответов

C # Можно ли создать необязательные ограничения универсального типа

Я думаю, что знаю ответ на этот вопрос, но мне нужно указать, что универсальный метод может принимать тип на основе на двух необязательных ограничениях. При этом Т может быть как того, так и другого типа. public ...
вопрос задан: 15 July 2011 14:10
0
ответов

Всего коллекций, отклонение коллекций типов, которые не включают все возможности

Допустим, у нас есть следующие типы: запечатанный признак T case object Goat расширяет T case объект Monk расширяет T case object Tiger расширяет T Теперь, как создать коллекцию T, чтобы хотя бы ...
вопрос задан: 2 June 2011 15:35
0
ответов

Невозможно преобразовать 'vector ' в объект Python

Я пытаюсь обернуть функцию C ++ с помощью вектора сигнатуры Optimized_Eratosthenes_sieve (unsigned long max) с помощью Cython. У меня есть файл sieve.h, содержащий функцию a ...
вопрос задан: 16 March 2011 16:38
0
ответов

Почему мне нужно повторно объявить ограничение типа в универсальном подклассе

Недавно я попытался создать универсальный подкласс, реализовав общий интерфейс. открытый интерфейс IModule , где T: DataBean {.....} открытый класс Module : IModule где ...
вопрос задан: 8 January 2011 16:59
0
ответов

Множественная арность ограничение статического типа

Допустим, у меня есть набор векторных типов (а-ля XNA), и некоторые из них имеют статический член Cross: type Vector3 = ... статический член Cross (a: Vector3, b: Vector3) = new Vector3 (...) Я могу определить ...
вопрос задан: 11 November 2010 14:57
0
ответов

Могу я продиктовать это параметр типа C # должен быть только типом интерфейса?

Я хотел бы реализовать общий класс C #, который выглядит примерно следующим образом: абстрактный класс Foobar : AbstractBase, T {...} Это не удается, потому что C # разрешает типы только после базового класса ...
вопрос задан: 11 October 2010 10:59
0
ответов

Как указать параметр типа, который НЕ реализует конкретный интерфейс?

Я разработал несколько методов расширения для объектов, которые я не использую Не хочу, чтобы их использовали / показывали в intellisense для объектов, реализующих IEnumerable. Концептуально я хочу что-то вроде следующего public ...
вопрос задан: 4 October 2010 11:22
0
ответов

Статические методы расширения, поддерживающие ограничения элементов

Мне нужно реализовать статический метод расширения, поддерживающий ограничения элементов для некоторых базовых примитивных типов, таких как целые числа, числа с плавающей запятой и т. Д. Вот мой код для целых чисел со знаком: module MyOperators = let ...
вопрос задан: 9 September 2010 22:54