Как маршализовать функцию или другой объект?

Question

[Griboks]

Добрый день.

Возникла необходимость маршализовать функцию в javascript в современном браузере.
Текущий вариант: сериализация через foo.toString(), однако это работает только для функций без ссылок на неглобальные и нелокальные объекты.

Comments

[Ярослав Иванов]

Что значит чистых ?

[Kovalsky]

Ярослав Иванов, https://en.wikipedia.org/wiki/Pure_function

[Griboks]

Ярослав Иванов, вы правы - я ошибся, теперь исправил.

[Сергей Соколов]

Griboks, код функции известен? Код «плохой» и использует глобалы?
Не подходит ли, например, HydrateJS или serializr

[Griboks]

Сергей Соколов, нет, известна только generic сигнатура. Глобалы - не проблема, проблема в ссылках на контекстные функции или переменные. Например:

function GenerateFoo(x) {
   function sum(...args) { return args.sum(); }

   function foo(a,b,c) { return sum(x,a,b,c); }

   return foo;
}
Save(GenerateFoo(42)) // ???

Соответственно, непонятно, как получить контекст функции извне.

К сожалению, по ссылкам не подходят, ибо

when "function" then throw new Error("can't serialize functions")

Answer 1

[Robur]

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

В JS все сериализуется, а не маршализируется.

Comments

[Griboks]

Необходимо сохранить пользовательскую функцию вместе с данными. Но она может ссылаться на что-то ещё, чего при загрузке не будет.

Как бы вы решили проблему загрузки пользовательской функции? Добавили бы к файлу данных ещё один файл?

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

[Kovalsky]

Griboks, а вы можете в деталях рассказать какая задача, какое окружение, какая цель?

[Griboks]

Kovalsky, дана библиотека для визуализации и редактирования данных. Пользователь может помимо стандартных шаблонов интерфейса использовать свои кастомные конструкторы и парсеры. Требуется реализовать сохранение и загрузку "рабочего места".

Соответственно, проблема только в функциях. Известна только их сигнатура и ссылки на них. Идея вызывать функцию и ждать ReferenceError проваливается, т. к. непонятно, какие аргументы передавать.

[Robur]

Griboks, Не понятно что значит "известна только их сигнатура и ссылки". Ссылки куда? в каком виде? Где эти функции хранятся? как меняется и хранится список ссылок? и так далее. Без этого какого-то точного совета дать сложно.

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

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

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

[Griboks]

Robur, Robur,

Ссылки куда?

Ссылки на функции, которые необходимо маршализовать))

function Marshal(foo) {
 return ???
}

Как мне сохранить, а потом восстановить foo, если известна только её сигнатура (object, object, object)->object?

[Robur]

Griboks, если только сигнарура, то никак.
Но в вашем примере у вас не только сигнатура, но и ссылка на функцию. Откуда можно взять код функции.
В JS нет такой сущности как "сигнатура функции".

Но опять же главное - где эта функция была создана, где хранится, как используется, как сохраняется/восстанавливается.

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

С такими вводными и при произвольных функциях ответ на вашу задачу в целом - никак. Только если вы добавите каких-то ограничивающих условий, которые априори должны выполняться.
Если функция должна быть "чистая" - то это условие должно быть в рамках апи/документации. Проверить вы это по нормальному не проверите, вы можете просто обязать всех писать только такие функции и принять как данность что они такие.

[Griboks]

Robur,

для вас что-то внешнее и вы понятия не имеете где и как все это происходит

Это пользовательская функция, я задаю её интерфейс, а пользователь - реализацию. Я вызываю её с пользовательскими данными определённого типа. Некоторые реализации возможно восстановить просто из исходного кода, а некоторые при восстановлении и последующем вызове ломают работу программы. Со вторым вариантом необходимо что-то сделать.

Answer 2

[Сергей Соколов]

В JavaScript отсутствует возможность получить прямой доступ к лексическому окружению экземпляра функции.

Поэтому сериализировать его не получится.

Comments

[Griboks]

К сожалению, похоже на правду.

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

[Сергей Соколов]

Griboks, я пока тоже.

[Robur]

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

[Griboks]

Robur, согласен, пока на этом остановился, т. к. не хочу встраивать парсер js в библиотеку, а то она раздуется.

[Robur]

Griboks, просто парсер тут не поможет, надо еще будет писать/искать анализатор логики. ну или просто запретить использовать var/let/const, так же всех глобальных переменных и вызов любых функций.

[Griboks]

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