Рефлексия , полезен ли этот механизм

Рефлексия (интроспекция) — механизм языка программирования, позволяющий во время выполнения исследовать структуру программы.

Поговорим о:

• возможных сценариях использования;
• качественных и количественных изменениях в коде вследствие использования.

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

собственно говоря, фанаты рефлексивных языков (java, .net, delphi, php, etc.) предлагают реальные задачи и показывают как красиво рефлексия с этими задачами справляется... мы же (фанаты нерефлексивных языков) показываем, что всё это от лукавого
поехали...

Без рефлексии нельзя делать кодогенерацию.
Например, есть такая библиотека, как Hibernate/NHibernate для java (и .net, соответственно). Без рефлексии реализовать их было бы очень сложно.
Другой пример. Библиотека cl-sql для common lisp позволяет использовать синтаксис sql прямо в исходном тексте программы. Без рефлексии это тоже было бы очень сложно.

Цитата archimed7592 @ 14.04.07, 16:02

мы же (фанаты нерефлексивных языков) показываем, что всё это от лукавого

Кстати, говорят, в C++ есть RTTI. Есть ли? Пользуетесь ли?

Цитата wind @ 14.04.07, 16:28

Есть ли?

Есть.

Цитата wind @ 14.04.07, 16:28

Пользуетесь ли?

У него ограниченная область применения.

Кстати, красивый пример на рефлексию (а лисповские макросы — это разновидность рефлексии):

Цитата http://lispnik.livejournal.com/218022.html

(defun make-lexer (tokens)
  (lambda ()
    (let ((val (pop tokens)))
      (values val val))))
 
(fucc:defgrammar *test-ll-grammar*
    s
  (:a :b :c :d)
  ((s ->
      k :a m :a l (:call #'list))
   (k ->
      :a (:do (format t "Hello ")) :b (:call #'cons))
   (l -> (:do (format t "world!~%"))
      :a :c
      (:call #'cons))
   (m -> (:call (constantly 0))
      )
   (m ->
      :d l
      (:call #'list)))
  :type :LL)
 
(defun run-simple-ll-test ()
  (fucc:parser-ll (make-lexer '(:a :b :a :a :a :c)) *test-ll-grammar*))
 
 
$ (run-simple-ll-test)
Hello, world!
=> ((:A . :B) :A 0 :A (:A . :C))

Сообщение отредактировано: mo3r - 14.04.07, 16:36

Цитата archimed7592 @ 14.04.07, 16:02

мы же (фанаты нерефлексивных языков) показываем

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

Цитата wind @ 15.04.07, 19:57

но при этом не наступить на главные его грабли - трудность дополнения набора поддерживаемых продуктов.

На самом деле достаточно просто. Решается одной строчкой, которая регистрирует новый продукт в фабрике. Например, так:

// В глобальной области видимости:
SomeFactory::FactoryProduct<ProductType> g_ProductRegistrar;

Т. е. создается статический объект, автоматом регистрирующий продукт в фабрике. Он же (этот статический объект) является, по совместительству, конкретной фабрикой этого продукта.

Как ты это предлагаешь реализовывать с помощью рефлексии? Метаатрибутами разруливать?

Цитата Flex Ferrum @ 15.04.07, 20:19

Решается одной строчкой, которая регистрирует новый продукт в фабрике.

Не совсем понял, что именно регистрируется. Экземпляр класса?

Сообщение отредактировано: wind - 15.04.07, 20:28

Цитата wind @ 15.04.07, 20:27

Не совсем понял, что именно регистрируется. Экземпляр класса?

Нет. Фактически, регистрируется конкретная фабрика объектов заданного типа, после чего абстрактная фабрика "узнает" о том, что теперь она может создавать продукт заданного типа.

Цитата Flex Ferrum @ 15.04.07, 20:38

Фактически, регистрируется конкретная фабрика объектов заданного типа, после чего абстрактная фабрика "узнает" о том, что теперь она может создавать продукт заданного типа.

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

Следующий вопрос. Все, наверное, пользовались редакторами свойст в современных среда разработки. Каким образом реализуется такой редактор без рефлексии?

Сообщение отредактировано: wind - 15.04.07, 20:51

Цитата wind @ 15.04.07, 20:45

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

В смысле?

Цитата Flex Ferrum @ 15.04.07, 20:46

В смысле?

Например, в java я могу сослаться на тип класса - эдакий класс Class. Для конструирования нового объекта данного класса я могу применить метод Class.newInstance(), соответственно билдер (как в вашем примере) не потребуется.

Цитата wind @ 15.04.07, 20:50

Например, в java я могу сослаться на тип класса - эдакий класс Class. Для конструирования нового объекта данного класса я могу применить метод Class.newInstance(), соответственно билдер (как в вашем примере) не потребуется.

В данном конкретном случае эти способы практически равноценны.

Цитата Flex Ferrum @ 15.04.07, 21:05

В данном конкретном случае эти способы практически равноценны.

Равноценны с точки зрения достижения результата, но не с точки зрения затрат.
А что второй вопрос?

Цитата wind @ 15.04.07, 21:10

Равноценны с точки зрения достижения результата, но не с точки зрения затрат.

И с точки зрения затрат - тоже. Кроме того, в плюсовом варианте есть некоторые приемущества в плане вызова конструктора.