مطلوب إطار برنامج التحويل البرمجي المصدر إلى المصدر

Question

اعتدت استخدام Openc ++ (http://opencx.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 ، لكنه لا يوفر بنية Infra لتجميع برنامج المستوى الوطني. أنا أيضًا أنظر إلى LLVM ، لكن لا يمكنني العثور على توثيق يدرسني في تحديد استخدام تجميع المصدر إلى المصدر. إنني على دراية أيضًا بإطار عمل روز برومسي ، لكنني لست متأكدًا مما إذا كان يناسب استخدامي ، وما إذا كان يمكن استخدام ثنائي الواجهة الأمامية C ++ الخاصة به في منتج تجاري ، وما إذا كان إصدار Windows متاحًا أم لا.

أي تعليقات وشركات تعليمية/ورقة/وثائق محددة تحظى بتقدير كبير.

Answer 1

لا أعرف أي حل جاهز للاستخدام ، لكن يمكنك بناء مجهود خاص بك. أحد الخيارات الممكنة هو Elsa C ++ المحلل ، بعيدًا قليلاً عن التاريخ ، ولكنه سهل الاستخدام ويمكن تمديده تمامًا. خيار آخر هو العبث باستخدام XML ASTS التي تنتجها Clang ++. لقد استخدمت كلا النهجين في سيناريوهات مختلفة.

Answer 2

هل أنت على دراية بممارسة برمجة القالب الفوقية؟ إذا لم تكن قد استخدمتها من قبل ، فهو تطبيق المعالج المسبق 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;
}

Answer 3

قد تفكر في مجموعة أدوات إعادة هندسة برامج DMS. DMS هو أساس عام لتحليل النص المصدر باللغات التعسفية لهياكل البيانات البرمجية (ASTS ، جداول الرموز ، الرسوم البيانية لتدفق التحكم ، الرسوم البيانية لتدفق البيانات اعتمادًا على مدى تناولها).

DMS هو غرض عام نظام تحويل برنامج المصدر إلى المصدر. يمكنك تطبيق المصدر إلى المصدر النمط الموجهة التحولات ، أو اكتب التحولات الإجرائية (مثل Openc ++) ، ثم إعادة تجديد نص المصدر القابل للرجوع المقابل للبرنامج المحول.

يتم تحديد DMS بواسطة تعريفات اللغة الصريحة ، والمقابض C ، C#، Cobol ، Java ، Python ، JavaScript ، Fortran.

لديها ممتلئة C ++ الواجهة الأمامية يعالج العديد من اللهجات الحقيقية لـ C ++ (ANSI ، GNU ، MS) ، مع الاسم الكامل ودقة النوع. يمكن لـ DMS مع الواجهة الأمامية C ++ إجراء التحولات التي يتم التحكم فيها بواسطة "metaprograms" داخل وحدات تجميع متعددة. لقد تم استخدامه في الغضب للقيام بإعادة تنظيم جذري لأنظمة برامج C ++ ، بما في ذلك عمليات البحث الضخمة لبرامج Mission Avionics (انظر الأوراق في موقع الويب) ، وأخيراً تستخدم في الطائرات بدون طيار.

تعمل DMS على Windows ، وشفافية على Linux تحت النبيذ باستخدام SH Scripts.

تحرير 2/3/2011: يبدو أن DMS تعمل بشكل جيد تحت النبيذ على Linux و Solaris أيضًا. الاختبار الجاري ل DMS على النبيذ تحت OSX.

تحرير 3/1/2011: يبدو أن DMS تعمل تحت النبيذ لـ OSX أيضًا.

تحرير 2/21/2013: تعامل الواجهة الأمامية C ++ الآن ANSI C ++ 11 ، وكذلك إصدارات MS و GNU من C ++ 11.

تحرير 2/24/2015: يتعامل الآن مع C ++ 14 في النكهات ANSI و MS و GNU.

تحرير 1/16/2019: يتعامل الآن مع C ++ 17 في النكهات ANSI و MS و GNU.