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

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

Ну в той сфере в которой я тусую ревлексия обычно используется для вызова чего то по имени извне

А так она достаточно дешего прикручивается к С++. Можешь посмотреть как это сделано в UE4

[ue4 doc] > You need to annotate any types or properties that you want to be visible to the reflection system, and Unreal Header Tool (UHT) will harvest that information when you compile your project.

звучит супер здорово (нет)

короче, я о чём

эта вся рефлексия, это дополнительный рантайм

Ну да

который так не любят (и будут не любить) в c++

[ue4 doc] > You need to annotate any types or properties that you want to be visible to the reflection system, and Unreal Header Tool (UHT) will harvest that information when you compile your project.

когда у тебя нету виртуалки, твои возможности интроспекции сильно ограничены (о чём и намекает дока ue4) прекомпилированными частями

короче, считаю что нинужно

энтерпрайз не будет переходить на c++23 из-за этого

ну как ты думаешь почему в java integer весит не 4 байта а 16?

рефлексия всегда дорого

энтерпрайз не будет переходить на c++23 из-за этого

а если очень хочется в компилируемое метапрограммирование, то гланьте на Растовые macros и procedural macros

ну как ты думаешь почему в java integer весит не 4 байта а 16?

эм..

не знал, если честно

думал он 8 (от - 2^32 до +2^32 -1)

в 32 битных системах 4, в 64 8 ?

??

ну как ты думаешь почему в java integer весит не 4 байта а 16?

мне кажется это не из-за рефлексии

в 32 битных системах 4, в 64 8 ?

А нет, фигню несу. на int это не влияет. на float и double вроде только

мне кажется это не из-за рефлексии

Ну там как минимум для каждого ЧЕГО ТО хранится хеш код уникальный

звучит очень сомнительно

рефлексия в джаве достигается за счёт JVM, а не самой джавы

думал он 8 (от - 2^32 до +2^32 -1)

8 байт это 2^64

8 байт это 2^64

а я что не так сказал?

а я что не так сказал?

Пора спать кажется

Ну там как минимум для каждого ЧЕГО ТО хранится хеш код уникальный

потому что это объекты поверх JVM?

так во всех виртуалках делается (насколько я знаю)

(по крайней мере в лисповой и питоновской точно)

про питон знаю только что это С ?

надо погуглить

про питон знаю только что это С ?

виртуалка на С

Ну в принципе код питона вызывает код на С

виртуалка на С

(+ там есть разные реализации)

Ну в принципе код питона вызывает код на С

не поверишь, JVM тоже на Си

э, ну так то да

в наше время почти все в какой то степени на Си можно сказать

Я скорее говорил про это https://habr.com/post/44520/ ну и да, виртуалка

ну т.е. для того, чтобы была нормальная интроспекция, нужно сделать виртуалку, которая будет исполнять Си и/или С++?)

Что ты считаешь нормальной? Дотстаточно дешевая? или что бы не нужно было ручками тыкать все?

конеш чтобы можно было всё тыкать ручками

Или все?)

ну т.е. я прав, нужна VM?

нет, неправ

так так так

потому что в плюсах будет compile-time рефлексия

так воооот

О, кажется умный человек наконец то пришел

потому что в плюсах будет compile-time рефлексия

мы тут уже обсудили, что она будет лимитирована определённым пулом выбранных полей/пропертей

согласен?

потому что в плюсах будет compile-time рефлексия

Такая кстати есть в D (потомок С++ так сказать)

мы тут уже обсудили, что она будет лимитирована определённым пулом выбранных полей/пропертей

нет. Можно будет в компайлтайме издеваться над всеми полями\методами

подожди

а какой смысл в компайл тайме это делать?

это как раз метапрограммирование, а не рефлексия

а какой смысл в компайл тайме это делать?

написание сериализатора в JSON

но это же не рефлексия

а чистое метапрограммирование

рефлексия это про то, что можно тыкать всё в рантайме

рефлексия это про то, что можно тыкать всё в рантайме

ну а у нас compile-time refecltion

в рантайме никакого гогна не будет

забавно (в моей практике это всегда называли макросами)

ERROR: S client not available

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

интересно, есть ли что-нибудь по поводу runtime рефлексии, типа кодогенерации

забавно (в моей практике это всегда называли макросами)

но макросы это про другое ? мы сможем делать все эти вещи без макросов ?

интересно, есть ли что-нибудь по поводу runtime рефлексии, типа кодогенерации

нет, очевидно же

сейчас бы кодогенерацией заниматься без VM

нет, очевидно же

значит пока что придётся юзать всякие jitasm и libgccjit

кусок шланга к программе подтягиваем

значит пока что придётся юзать всякие jitasm и libgccjit

боюсь представить, зачем такое надо

но макросы это про другое ? мы сможем делать все эти вещи без макросов ?

(да, я в основном про растовые и лисповые макросы, которые позволяют в compile time изменять AST) (не про #define)

боюсь представить, зачем такое надо

вообще пока что единственный кейс у меня это оптимизация

(да, я в основном про растовые и лисповые макросы, которые позволяют в compile time изменять AST) (не про #define)

ааа, ну вот, у нас тоже такое будет. только доступа прям к самому AST мы не получим... что-то не до АSTшное

так как AST стандартизировать очень сложно из-за всяких мудне-компиляторов (привет msvc)

вообще пока что единственный кейс у меня это оптимизация

для этого придумали PGO

ааа, ну вот, у нас тоже такое будет. только доступа прям к самому AST мы не получим... что-то не до АSTшное

ясненько понятненько

тогда ждём-с

к сожалению с крестовым кодом нет, насколько я знаю, нормального JIT. Хотя вот Graal VM вроде умеет в кресты

но я не пробовал, так что не могу ничего сказать. Кстати... мб сейчас попробую

для этого придумали PGO

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

к сожалению с крестовым кодом нет, насколько я знаю, нормального JIT. Хотя вот Graal VM вроде умеет в кресты

Graal же вроде просто поверх LLVM стоит

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

ну так не выдавай бинарь одинаковый, лол

Graal же вроде просто поверх LLVM стоит

не знаком досконально с устройством, но вроде бы да

ну так не выдавай бинарь одинаковый, лол

ну вот тут только остаётся компилить код на стороне клиента

ну вот тут только остаётся компилить код на стороне клиента

либо в рантайме, либо перед стартом

не знаком досконально с устройством, но вроде бы да

да я тоже поверхностно, лишь основные концепты /ушёл

ну вот тут только остаётся компилить код на стороне клиента

1) Есть кросскомпиляция 2) Есть -march 3) Есть -mtune 4) Держат свои билд-машины с нужными конфигурациями

если нужна оптимизация аки JIT, то тут раним на наиболее типпичных кейсах, собираем стату и PGO

1) Есть кросскомпиляция 2) Есть -march 3) Есть -mtune 4) Держат свои билд-машины с нужными конфигурациями

вообще я несколько про другие конфиги, но сбилдить код под самые частые вариации конфигов тоже вариант

вон в GCC 8.1 улучшили

вообще я несколько про другие конфиги, но сбилдить код под самые частые вариации конфигов тоже вариант

так и делают обычно

так в идеале, конечно, пользователю на машину накатить компилятор, сбилдить у него с маршем и PGO и отдать бинарь ?

У кого нибудь есть книга в эл виде https://books.google.ru/books?id=taJSDwAAQBAJ&printsec=frontcover&dq=С%2B%2B17+STL.+Стандартная+библиотека+шаблонов&hl=ru&sa=X&ved=0ahUKEwjXiPaq5ujaAhUD1SwKHcxyA4IQ6AEIJzAA#v=onepage&q=С%2B%2B17%20STL.%20Стандартная%20библиотека%20шаблонов&f=false