Требуется среда компилятора от источника к источнику

Question

Я использовал OpenC ++ (http://opencxx.sourceforge.net/opencxx/html/overview.html) для генерации кода, например:

Источник:

class MyKeyword A {
  public:
    void myMethod(inarg double x, inarg const std::vector<int>& y, outarg double& z);
};

Сформирован:

class A {
  public:
    void myMethod(const string& x, double& y);
    // generated method below:
    void _myMehtod(const string& serializedInput, string& serializedOutput) {
      double x;
      std::vector<int> y;
      // deserialized x and y from serializedInput
      double z;
      myMethod(x, y, z);
    }
};

Этот тип генерации кода напрямую соответствует сценарию использования в руководстве по OpenC ++ (http://www.csg.is.titech.ac.jp/~chiba/opencxx/tutorial.pdf), написав программу мета-уровня для обработки «MyKeyword», «inarg» и «outarg» и выполняя генерацию кода Тем не менее, OpenC ++ уже устарел и неактивен, и мой генератор кода может работать только на g ++ 3.2 и вызывает ошибку при разборе заголовочных файлов g ++ более высокой версии.

Я смотрел на VivaCore, но он не предоставляет инфраструктуру для компиляции метауровневой программы. Я также смотрю на LLVM, но не могу найти документацию, которая научила бы меня, как правильно использовать компиляцию от источника к источнику. Я также знаю о платформе компилятора ROSE, но я не уверен, подходит ли она для моего использования, и можно ли использовать ее собственный передний двоичный файл C ++ в коммерческом продукте, и доступна ли версия для Windows.

Любые комментарии и указатели к конкретному учебнику / статье / документации приветствуются.

Answer 1

Я не знаю ни одного готового к использованию решения, но вы можете создать свое собственное с относительно небольшими усилиями. Одним из возможных вариантов является парсер Elsa C ++, немного устаревший, но простой в использовании и достаточно расширяемый. Другой вариант - вмешиваться в XML AST, созданные Clang ++. Я использовал оба подхода в разных сценариях.

Answer 2

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

DMS - это общее назначение Система преобразования программ от источника к источнику .Вы можете применять преобразования «источник-источник» , ориентированные на шаблон * , или записывать процедурные преобразования (во многом аналогично OpenC ++), а затем повторно генерировать скомпилированный исходный текст, соответствующий преобразованной программе.

Параметризация DMSс помощью явных определений языка и обрабатывает C, C #, COBOL, Java, Python, javascript, Fortran.

Он имеет полный C ++ Front End , который обрабатывает много реальных диалектов C ++ (ANSI,GNU, MS), с полным именем и разрешением типа.DMS с внешним интерфейсом C ++ может выполнять преобразования, управляемые «метапрограммами» внутри и между несколькими блоками компиляции.Он был использован в гневе для радикальной реорганизации программных систем C ++, включая масштабную реорганизацию программного обеспечения для авионики миссии (см. Статьи на веб-сайте), в конечном итоге использовавшегося в БЛА.

DMS работает в Windows и прозрачно в Linux подWine с использованием сценариев sh.

РЕДАКТИРОВАНИЕ 2/3/2011: DMS работает нормально и под Wine и под Linux и Solaris.Проводится тестирование DMS в Wine под OSX.

EDIT 3/1/2011: похоже, что DMS работает и под Wine для OSX.

EDIT 21.02.2013: интерфейс C ++теперь обрабатывает ANSI C ++ 11, а также версии C ++ для MS и GNU 11.

EDIT 24.02.2015: теперь обрабатывает C ++ 14 в вариантах ANSI, MS и GNU.

РЕДАКТИРОВАНИЕ 16.01.2009: Теперь обрабатывает C ++ 17 в вариантах ANSI, MS и GNU.

Answer 3

Знаете ли вы о практике шаблонного метапрограммирования? Если вы не использовали его раньше, это приложение препроцессора C ++ для создания странных метапрограмм, которые больше похожи на LISP, чем на C ++. Идея та же, что и выше - наличие этапа предварительной компиляции, который генерирует повторяющийся код на основе определенных входных данных. Однако все это выполняется во время компиляции (тогда как во время выполнения OpenC ++ делает несколько вещей).

Учитывая, что, похоже, вы готовы изучать новый, независимо от того, хотите ли вы использовать его в качестве замены "языка"?

Boost предоставляет библиотеку, которая использует эту технику для упрощения сериализации, как показано выше. Из руководства в руководстве :

/////////////////////////////////////////////////////////////
// gps coordinate
//
// illustrates serialization for a simple type
//
class gps_position
{
private:
    friend class boost::serialization::access;
    // When the class Archive corresponds to an output archive, the
    // & operator is defined similar to <<.  Likewise, when the class Archive
    // is a type of input archive the & operator is defined similar to >>.
    template<class Archive>
    void serialize(Archive & ar, const unsigned int version)
    {
        ar & degrees;
        ar & minutes;
        ar & seconds;
    }
    int degrees;
    int minutes;
    float seconds;
public:
    gps_position(){};
    gps_position(int d, int m, float s) :
        degrees(d), minutes(m), seconds(s)
    {}
};

int main() {
    // create and open a character archive for output
    std::ofstream ofs("filename");

    // create class instance
    const gps_position g(35, 59, 24.567f);

    // save data to archive
    {
        boost::archive::text_oarchive oa(ofs);
        // write class instance to archive
        oa << g;
        // archive and stream closed when destructors are called
    }

    // ... some time later restore the class instance to its orginal state
    gps_position newg;
    {
        // create and open an archive for input
        std::ifstream ifs("filename");
        boost::archive::text_iarchive ia(ifs);
        // read class state from archive
        ia >> newg;
        // archive and stream closed when destructors are called
    }
    return 0;
}