Моделирование Typeclasses в C++
Действительно ли возможно реализовать Haskell typeclasses в C++? Если да, то, как?
7
задан Sunil Kothari 27 June 2010 в 18:25
поделиться
2 ответа
По этому поводу есть несколько статей, которые могут быть полезны в качестве справочного материала:
- Шаблоны / свойства C ++ в сравнении с классами типов Haskell , Сунил Котари, Мартин Сульцманн
- Сравнительное исследование языковой поддержки универсального программирования , Рональд Гарсиа, Яакко Ярви, Эндрю Ламсдайн, Джереми Сик, Джереми Уиллкок
7
ответ дан 7 December 2019 в 01:15
поделиться
Подобный механизм в C++ называется "концептами". Идея заключается в том, чтобы определить класс типов, определив требования к любому типу, принадлежащему этому классу. Итераторы C++ широко используют концепции, и в C++0x предполагалось поддерживать прямой синтаксис для них (а не косвенные трюки с шаблонами для выполнения проверки концепций, которые сейчас использует C++), но, похоже, эта поддержка была исключена из стандарта.
3
ответ дан 7 December 2019 в 01:15
поделиться
Другие вопросы по тегам: