Компиляция кода только тогда, когда это необходимо

Question

Я делаю программу, которая компилирует код с одного языка на другой. например codefile.lang1 => codefile.lang2

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

Я предполагаю, что мне нужно включить в скомпилированный код (codefile.lang2) какие-то метаданные, в которых содержится «сводка» содержимого предварительно скомпилированного кода (codefile.lang1). Допустим, что функция, которая выполняет «обобщение» предварительно скомпилированного кода, равна F. Моя идея заключается в том, что каждый раз, когда программа запускается, она будет оценивать F (предварительно скомпилированный код) и сравнивать ее с метаданными в скомпилированный код,

if F == метаданные: нет необходимости компилировать, иначе компилировать.

Из этого следует, что для очевидных причин F должна быть инъективной (одна к одной функции). Кроме того, я пытаюсь избежать тривиальной реализации, то есть F (некоторый код) = некоторый код

Это хороший подход? Если да, то что я должен использовать для F? Я думал о хэшировании, но хеширование не является полностью инъективным, особенно для больших текстов.

Каковы ваши предложения? Спасибо :)

Answer 1

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

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

Вист, вы можете теоретически получить хэш-столкновение, на практике это не то, о чем вам нужно подумать (предполагая, что вы используете приличный хеш с достаточной энтропией). Шансы только что низкий! Do the maths, and you'll see. Если вы действительно параноик, вы также можете проверить размер или длину файла.

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

---

Как упомянуто в @leppie, вы также можете указать временную метку файла.