Почему в C++ не запилят интроспекцию / рефлексию?

смело бери другой ЯП, если тебе это нужно, плюсы - это всего-лишь продвинутый ассемблер

Рефлексия нужна только во время компиляции, и при наличии полноценной макросистемы. За рефлексию в рантайме надо убивать лопатой по яйцам.

В С++ свой подход, ничем не хуже чем макросы + рефлексия. При вычислении шаблонов информация о типе доступна.

потому что для этого требуется адовый рантайм. И да, ради этого придётся выкинуть inline функции/методы, сделать классы объектами первого рода, да и вообще перепилить язык. Иди лучше на жабе пиши, а?

При вычислении шаблонов информация о типе доступна.

при вычислении шаблонов много чего другого недоступно зато. Да и сами шаблоны - скорее грязный хак, чем часть языка.

А теперь вопрос знатокам: почему, [censored], это так трудно сделать?

В «Дизайн и эволюция языка C++» Страуструп этот вопрос освещает. Если коротко, то: С++ есть под всякие разные микроконтроллеры, где интроспекция будет мешать (оверхед по памяти из-за требования рантайма), поэтому в C++ её не будет из коробки, а если кому надо - делайте в виде библиотеки\сторонней тулзы.

Там это чуть подробней изложено + контекст принятия именно такой позиции описан.

Успех Qt

/0

Иди лучше на жабе пиши, а?

Спасибо, нет.

RTTI отключается. Можно было бы и рефлексию отключать специально для микроконтроллеров и микроволновок.

при вычислении шаблонов много чего другого недоступно зато.

Чего лично тебе не хватает? В C++11, конкретно.

Да и сами шаблоны - скорее грязный хак, чем часть языка.

А в спецификации написано, что часть языка. Кому верить? Онанимному онанитеку с ЛОРа, или уважаемому комитету?

Для начала объясни, на хера она тебе вообще нужна в рантайме?

Можно пример сериализации и десериализации произвольной структуры в нужный вид? Например простейшее:

struct Point {
    int x;
    int y;
};

string serialize(const Point &p) { ... }

"<Point><x>1</x><y>2</y></Point>"

На хера это в рантайме-то делать?

Чего лично тебе не хватает? В C++11, конкретно.

Обхода полей структур. В compile-time, естественно.

Ну сгенерируй код метода serialize в компайл-тайме. На D, например, я представляю, как это сделать. Как это сделать на С++?

Для определённости пусть будет
[code]
template <class T>
string serialize(const T& obj) { ... }
[/code]

который в указанном виде выводит поля.

На D, например, я представляю, как это сделать

покажи

Чего лично тебе не хватает? В C++11, конкретно.

например, проверки значения аргумента шаблона вместо его инстанциации. Знаешь, было бы круто написать один if и не копипастить весь код N раз. В D это нормально сделано, в C++ - через жопу.

s/инстанциации/специализации/

Успех Qt во многом благодаря его Meta Object Compiler

Ну это вы загнули...

А теперь вопрос знатокам: почему, [censored], это так трудно сделать?

Встречный вопрос к тебе: если это просто, что зачем ты тут сопли пускаешь - иди запили, чо. А если сложно, вопрос снимается сам собой.

Если серьезно - нафейхоа тянуть в язык всякую хрень, которую можно запилить отдельно?

Для тех, кому это действительно необходимо, есть QtCore, который особенного оверхеда не несет, но при этом решает проблему.

Всем остальным это «нинужна»(с)(тм).

Если серьезно - нафейхоа тянуть в язык всякую хрень, которую можно запилить отдельно?

Если можно запилить библиотекой - действительно не стоит, а если кодогенератором/препроцессором - в язык стоит добавить недостающие базовые возможности.

QtCore, который особенного оверхеда не несет

equery size qtcore

* dev-qt/qtcore-4.8.4-r4 Total files : 1755 Total size : 27.91 MiB

действительно, не несёт.

У абсолютного большинства он уже на диске есть, меньшенство скачает из репозитория. 27Мб в современном мире - совсем маленький размер и для сетей, и для хранилищ.

реквестирую добавить в список просто возможность сделать так:

SomeClass *p = new SomeClass;
p++;
...
SomeClass *p = (SomeClass *)0x12345678;

потому-что не нужно. Можешь сам поверх C++ запилить рефлексию, или использовать готовые наработки. В C++ вообще много чего нет (например ввода/вывода), и это - хорошо.

а если кодогенератором/препроцессором - в язык стоит добавить недостающие базовые возможности.

Опять же, зачем тянуть какой-то кодогенератор в компилятор крестов? Средств кодогенерации и так хватает, а кому не хватает, тот может навелосипедить себе что-нибудь, да хоть на лиспе.

В следующем (вроде на 2014 предварительно назначили, но учитывая сколько заняло принятие с++11...) стандарте рефлексию (правда во время компиляции, а не рантайме) могут сделать.

1. В Qt почти никто не использует рантайм-метаинформацию в объёмах значительно отличающихся от того что можно родить при помощи dynamic_cast. Если вы используете рантайм-метаинформацию на всю катушку вы либо фрик, либо пытаетесь дёргать QObject'ы из языка отличного от C++, либо (что вероятнее) и то и другое сразу. «Успех» Qt обусловлен его простотой и переносимостью.

2. 2013 год. В C++ нет автоматического управления памятью. Память и ресурсы приходится выделять и высвобождать вручную…

3, 4… Приведите сами

А теперь ответ: это никому не нужно.

либо фрик, либо пытаетесь дёргать QObject'ы из языка отличного от C++, либо (что вероятнее) и то и другое сразу

Из QML, например, тоже фрики дергают QObject'ы?

Память и ресурсы приходится выделять и высвобождать вручную…

Ещё один не осилил RAII.

2013 год. В C++ нет автоматического управления памятью.

Почитай стандарт на тему сборки мусора.

Опять же, зачем тянуть какой-то кодогенератор в компилятор крестов?

Для той-же compile-time рефлексии тянуть дополнительный кодогенератор в компилятор не требуется, нужно только добавить в язык несколько метафункций для перечисления членов класса.

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

У вас в системе питона и перла нет? Никто, что-то не плачет, что приходится для программирования Eclipse тянуть или NetBeans какой, а тут прям тяжко как.

2013 год. В C++ нет автоматического управления памятью.

Почитай стандарт на тему сборки мусора.

Под автоматическим управлением памятью подразумевается нормальный сборщик мусора.

RAII — это вполне вручную.

Из QML значит дёргать QObject'ы не из C++. Читайте внимательнее.

Почему в C++ не запилят стандарт на abi?

Это дерганье C++ QObject'ов из QML полностью построено на коде, который генерирует MOC, а значит «вы используете рантайм-метаинформацию на всю катушку». Все, кто используют QML, «фрики»?

Ну сгенерируй код метода serialize в компайл-тайме. На D, например, я представляю, как это сделать. Как это сделать на С++?

Я делал это с помощью clang. Ничего сложного. На гитхабе код есть.

У меня было сказано, что те кто используют метаинформацию в Qt либо фрики, либо используют её для того чтобы дёргать QObjeсt'ы не из C++ (а например из QML). Читайте внимательно.

RAII — это вполне вручную.

Это тоже вручную?

var obj = new MyObject()

Почему в C++ не запилят стандарт на abi?

Раскройте мысль

Вот я тоже думаю что для компиляторов в которых есть архитектура (шланг, например), реализация компайл-тайм рефлексии - не проблема.

Почему в C++ не запилят стандарт на abi?

Давно уже запилили.

Судя по, пилят кое-что...

а потом получается, что задачи, для которых 30 лет назад хватало 2MHz процессора и 1Mb памяти, сейчас требуют в 2000 раз больше ресурсов.

Ты издеваешься? В твоём примере obj это ссылка на значение, которую можно например вернуть из функции не думая о том как сделать так чтобы объект на которой она ссылается не был грохнут по выходу из контекста, а можно не возвращать и тогда таки объект будет собран мусорщиком. Если изрядно обмазаться умными указателями можно изобразить что-то похожее в плюсах и даже сделать лучше. Но только это не автоматическое управление ресурсами.

А почему он у gcc с завидной регулярностью меняется?

А почему он у gcc с завидной регулярностью меняется?

А он меняется? Как ты это проверил?

Зато их решение, в отличии от былых времен, дело 3х секунд.

Мы ведь не гонимся за производительностью, мы гонимся за решением задач. Производительность - лишь искусственная величина, которая порой позволяет удобно оценить качество решения, но далеко не во всех случаях именно эта величина играем главную роль.

Никто, что-то не плачет, что приходится для программирования Eclipse тянуть или NetBeans какой, а тут прям тяжко как.

Ну так мы же обсуждаем полноценный язык, который и без IDE совершенен.