0
ответов

Равенство ограничений

В основном, учитывая {-# ЯЗЫК PolymorphicKinds, ConstraintKinds, TypeFamilies #-} (и другие, если необходимо), работает ли оператор уровня типа (~) с выражениями уровня типа вида Constraint? Я пробовал...
вопрос задан: 8 March 2012 18:28
0
ответов

Delphi XE: Могу ли я вызывать виртуальные конструкторы с параметрами из универсального типа, ограниченного типом класса, не прибегая к хакам?

Я пытаюсь создать общий предок для составных элементов управления. Первоначальная идея выглядела примерно так: type TCompositeControl = class(...
вопрос задан: 6 March 2012 15:27
0
ответов

Полиморфная сигнатура для неполиморфной функции: почему бы и нет?

В качестве примера рассмотрим тривиальную функцию f :: (Integral b) => a -> b f x = 3 :: Int GHC жалуется, что не может вывести (b ~ Int). Определение соответствует сигнатуре в том смысле, что она ...
вопрос задан: 29 February 2012 21:08
0
ответов

Динамическое связывание == позднее связывание в Java или нет?

В разных источниках я читал разные вещи по этой теме. Например, Википедия говорит: «Позднее связывание часто путают с динамической отправкой», но между ними есть существенные различия. Но парочка ...
вопрос задан: 27 February 2012 19:14
0
ответов

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

У меня есть класс A с абстрактным методом doAction (BaseClass obj), ожидающим параметра типа общедоступный класс BaseClass A {// ... . abstract void doAction (BaseClass obj); // .... } Теперь у меня есть ...
вопрос задан: 23 February 2012 21:02
0
ответов

как сослаться на родительский метод в Python? [дубликат]

Предположим, у меня есть два класса (родительский и подкласс). Как мне сослаться на метод в родительском классе, если метод также определен в другом подклассе? Вот код: class A: ...
вопрос задан: 19 February 2012 07:04
0
ответов

Полиморфизм строк в Haskell: проблемы написания Forth DSL с "трансформациями"

Недавняя активность в блоге Haskell1 вдохновила меня попробовать свои силы в написании Forth-подобного DSL на Haskell. Принятый мной подход одновременно прост и запутан: {-# LANGUAGE ...
вопрос задан: 18 February 2012 02:25
0
ответов

Могут ли функции принимать абстрактные базовые классы в качестве аргументов?

Освоившись с идеей базовых классов и инкапсуляции, я начал изучать полиморфизм, но не могу понять, как заставить его работать. Многие из ...
вопрос задан: 17 February 2012 12:57
0
ответов

Есть ли идиоматический подход в C ++ для сравнения полиморфных типов на предмет эквивалентности?

У меня есть указатели Base * на два экземпляра полиморфного типа, и мне нужно определить, эквивалентны ли указанные объекты. Мой текущий подход - сначала использовать RTTI для проверки равенства типов. Если ...
вопрос задан: 15 February 2012 04:02
0
ответов

C ++ STL: дублирование кода из-за отсутствия базового класса для итератора и reverse_iterator

В моем текущем C ++ - проекте у меня есть карта STL, которая отображает целочисленные ключи на объекты. Алгоритм возвращает набор записей. Возвращаемые данные зависят от входных данных алгоритма и, следовательно, не могут быть ...
вопрос задан: 13 February 2012 14:16
0
ответов

Scala: как работать с длинными списками параметров типа

Какие методы я могу использовать в Scala для работы с длинными списками параметров типа? Я работаю над небольшой структурой для запуска различных типов игр в различных смоделированных средах. Я пытаюсь ...
вопрос задан: 12 February 2012 07:01
0
ответов

полиморфизм в haskell - использование нескольких версий одной функции без присвоения ей разных имен

на днях я написал небольшую программу для сбора группы чисел в матрицу - данные Матрица = Матрица [[Int]], начиная с угла - Угол и следование по Пути - [Направление] все три типа ...
вопрос задан: 5 February 2012 16:53
0
ответов

Может кто-нибудь объяснить преимущества полиморфизма?

Итак, я в значительной степени понимаю, как он работает, но просто не могу понять, что делает его полезным. Вам все еще нужно определить все отдельные функции, вам все равно нужно создать экземпляр каждого объекта, так почему ...
вопрос задан: 5 February 2012 07:07
0
ответов

DELPHI: Обобщения и полиморфизм

Об этом уже спрашивали несколькими разными способами, но я еще не нашел своего ответа. Может кто-нибудь прояснить мне кое-что, пожалуйста. Использование: Delphi XE2 У меня есть довольно большой BaseObject, который я использую ...
вопрос задан: 4 February 2012 15:40
0
ответов

Почему Scala не может найти вторичное неявное значение в этом конкретном случае?

Мне трудно объяснить разницу в поведении между дополнительные неявные значения, которые ищут либо первичное неявное значение, либо неявное преобразование.В частности, это работает: черта ...
вопрос задан: 4 February 2012 14:16
0
ответов

Определение полиморфных констант в Haskell

Я читал о полиморфных константах / нулевых полиморфных функциях в Learn You A Haskell. Он дал несколько примеров встроенных, таких как: ghci> 20 :: Float 20.0 ghci> 20 :: Int 20 ...
вопрос задан: 3 February 2012 21:21
0
ответов

Полиморфный метод в конструкторе (Java)

Класс A вызывает открытый метод f () в конструкторе. Класс B переопределяет метод f () своей собственной реализацией. Предположим, вы вводите объект B .. метод f () объекта B будет вызываться в ...
вопрос задан: 3 February 2012 04:52
0
ответов

Препятствие полиморфизма шаблонов C ++

Интерфейс: шаблон class Interface {public: typedef T Units; виртуальный T get () = 0; }; Реализация1: класс Реализация1: открытый интерфейс {public: ...
вопрос задан: 1 February 2012 00:58
0
ответов

Вызов метода дочернего класса из родительского

Возможно ли для метода a.doStuff() вывести "B сделал что-то" без редактирования класса A? Если да, то как мне это сделать? class Program { static void Main(string[] args) { A a = new ...
вопрос задан: 30 January 2012 17:42
0
ответов

eclipselink / Moxy: наследование и перераспределение имени атрибута в зависимости от типа

Я столкнулся с проблемой маршаллинга / демаршаллинга, связанной с наследованием и полиморфизмом с использованием MOXy. Реализация JAXB и файл привязки внешних метаданных. У меня нет контроля над XML-файлами или ...
вопрос задан: 22 January 2012 11:53
0
ответов

Дочерний Python не может использовать модуль, импортированный родительским

У меня забавная ошибка импорта при использовании наследования в Python. В родительском классе я импортирую модуль sqlite3, в дочернем классе я затем пытаюсь использовать функцию sqlite3, но получаю сообщение об ошибке: «NameError: ...
вопрос задан: 22 January 2012 00:04
0
ответов

идиома виртуального конструктора с интеллектуальными указателями

У меня есть иерархия полиморфных классов, скажем, абстрактный базовый класс формы вместе с его производными классами, например Прямоугольник, Круг и т.д. Следуя идиоме виртуального конструктора, я задавался вопросом, почему мы ...
вопрос задан: 15 January 2012 14:37
0
ответов

Полиморфный тип внутри модуля (OCaml)

Я просто определяю модуль Matrix следующим образом: модуль Matrix = struct type element type t = element array array let make (nr: int) (nc: int) (init: element) : t = let result = Array....
вопрос задан: 15 January 2012 12:58
0
ответов

Почему я могу получить доступ к производной закрытой функции-члену через указатель базового класса на производный объект?

# Включают & л; iostream > использование пространства имен std; база классов {public: virtual void add () {cout < < "Привет"; }}; производное класса: публичная база {private: void add () {cout & ...
вопрос задан: 14 January 2012 10:59
0
ответов

Polymorphism/Overriding

Может кто-нибудь объяснить, в чем разница между этими двумя примерами? Класс A protected virtual string GetData() Класс B private override string GetData() И ...
вопрос задан: 11 January 2012 23:37
0
ответов

Полиморфизм GWT 2.4.0 RequestFactory

Поддерживает ли GWT 2.4 этот случай: @Entity class MyBase {...} @ Entity class MyChild1 расширяет MyBase {...} @ Класс сущности MyChild2 расширяет MyBase {...} ... @ ProxyFor (MyBase.class) class MyBaseProxy ...
вопрос задан: 10 January 2012 13:08
0
ответов

Основы полиморфизма

Сейчас я изучаю наследование и полиморфизм, и я натолкнулся на концепцию, согласно которой компилятор будет оценивать (используя отражение?), Какой тип объекта хранится в ссылке базового типа для того, чтобы. ..
вопрос задан: 7 January 2012 15:39
0
ответов

Что означает предупреждение «имеет виртуальный метод… но не виртуальный деструктор» во время компиляции C ++?

#include используя пространство имен std; class CPolygon {protected: int width, height; общедоступные: виртуальная область int () {return (0); }}; class CRectangle: public CPolygon {...
вопрос задан: 6 January 2012 22:13
0
ответов

Когда допустимо использовать instanceof? [закрыто]

Я разрабатываю игру. В игре различные игровые объекты расширяют различные интерфейсы (и один абстрактный класс) в зависимости от того, что им нужно делать, и передаются обработчикам, которые заботятся о ...
вопрос задан: 5 January 2012 20:36
0
ответов

Что такое время выполнения и полиморфизм времени компиляции?

Кто-нибудь может объяснить мне полиморфизм времени выполнения и время компиляции полиморфизм по отношению к C #? Я нашел похожие вопросы по SO, но они касались C ++.
вопрос задан: 2 January 2012 01:28