C99的指定初始化转化为C89？用(a|e)?bnf实现吧，写个玩玩

2024-03-17 05:48
文章标签 实现 指定 初始化 转化 写个 玩玩 c99 c89 bnf

本文主要是介绍C99的指定初始化转化为C89？用(a|e)?bnf实现吧，写个玩玩，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

用了自己实现的ebnf小库，没有实现捕获组，被迫用lambda捕获了若干临时变量。

熟悉bnf的，把它翻到自己熟悉的工具上，应该不困难。

struct MemberInfo

{
    string     type; 
    string     name;
    deque<int> arrSizes;
}; 


struct InitValue
{
    string value;
    vector<InitValue> sub; 
    string name;
//    TYPE   type;
    InitValue(const vector<InitValue> & s, const string & n) : sub(s), name(n){}
    InitValue(const string & v, const string & n) : value(v), name(n){} 
    string str() const
    {
        return !value.empty() ? value :
                   "{" + join(adaptors::transform(sub, [](const InitValue & v)
                         {
                            return  v.str();
                         }), ", ") + "}"
            ;    
    }
    void Set(deque<int> offsets, const string & v)
    {
        int offset = offsets.front();
        offsets.pop_front();


        if (offsets.empty())
        {
            assert(sub[offset].sub.size() == 0); 
            sub[offset].value = v;
        }
        else
        {
            assert(value.empty());
            sub[offset].Set(offsets, v);    
        }
    }


    int FindOffset(deque<int> offsets, const string & n) const
    {
        if (offsets.size() != 1)
        {
            int offset = offsets.front();
            offsets.pop_front();
            return sub[offset].FindOffset(offsets, n);    
        }


        for (int i = 0; i < sub.size(); ++i)
        {
            if (sub[i].name == n)
            {
                return i;
            }
        }
    }
};


InitValue MakeArrsInitValue(InitValue curInitValue, const deque<int> & Sizes)
{
    for (auto iter = Sizes.rbegin(); iter != Sizes.rend(); ++iter)
    {
        curInitValue = {vector<InitValue>(*iter, curInitValue), ""};
    }


    return curInitValue; 
}


InitValue StructInitValue(map<string, vector<MemberInfo> > & structInfo, vector<MemberInfo> & memberInfos, const string & memberName)
{
    return InitValue(copy_range<vector<InitValue> >(
                adaptors::transform(memberInfos, [&structInfo](const MemberInfo & info)
                {
                    auto initValue = (structInfo.count(info.type) == 0) ? InitValue("0", info.name) :
                                StructInitValue(structInfo, structInfo[info.type], info.name);
                    return MakeArrsInitValue(initValue, info.arrSizes);
                })), memberName); 
}


//注意，因为左递归的根因，不可以写成 E -> E T | T；必须是 E -> T*；或者E -> T E | T 
// T*理解简单，但是对于数组，求值顺序是从左到右，不符合数组的语义，还需要自己做运算倒置。
// T E | T，T的解析恰好很完美，但是E还是从左到右的。把自己绕进去了。 


bool expandC99(const string & in, string & out)
{
    vector<string> tmpCurStructName;
    static map<string, vector<MemberInfo> > structInfo;
    
    boost::function<void (string)> popCurStructName = [&tmpCurStructName](const string &)
    {
        tmpCurStructName.pop_back();
    };
    boost::function<void (string)> popCurStructNameAndRecordTypeName = [&tmpCurStructName, &structInfo](const string &)
    {
        string TypeName = tmpCurStructName.back();
        tmpCurStructName.pop_back();
        structInfo[tmpCurStructName.back()].push_back({TypeName, ""});
    };


    deque<int> tmpArrSizes;
    auto arrSize  = Words([&tmpArrSizes](const string & s)
        {
            tmpArrSizes.push_back(lexical_cast<int>(s));
        });
    SeqParser arr = Seq(AnySpaces, Str("["), AnySpaces, arrSize, AnySpaces, Str("]"));


    SeqParser Struct;
    auto memberType = Words([&tmpCurStructName, &structInfo](const string & s){structInfo[tmpCurStructName.back()].push_back({s, ""});});    
    auto memberName = Words([&tmpCurStructName, &structInfo](const string & s){structInfo[tmpCurStructName.back()].back().name = s;});
    auto memberArrs = Keep(Any(arr, [&tmpCurStructName, &structInfo, &tmpArrSizes](const string & s)
        {
            structInfo[tmpCurStructName.back()].back().arrSizes = tmpArrSizes;
            tmpArrSizes.clear();
        }));        


    SeqParser member = Seq(AnySpaces,
                           Or(
                              Seq(Ref(Struct, popCurStructNameAndRecordTypeName), AnySpaces, memberName, memberArrs),
                              Seq(memberType, Spaces, memberName, memberArrs)  
                           ),
                           AnySpaces, Str(";"));
    Struct = 
        Seq(Keep(Seq(
            Str("struct"), Spaces, 
            Words([&tmpCurStructName](const string & s){tmpCurStructName.push_back(s);}), 
            AnySpaces, Str("{"),
            More(member),
            AnySpaces, Str("}")))
        );
        
    InitValue initValue = {"Not Init Exp!", ""};
    
    boost::function<void (string)> popCurStructNameAndMakeStructValue = [&tmpCurStructName, &structInfo, &initValue](const string & s)
    {
        initValue = StructInitValue(structInfo, structInfo[tmpCurStructName.back()], s);
        tmpCurStructName.pop_back();        
    };
    
    auto typeName = Words([&structInfo, &initValue](const string & s)
        { 
            initValue = (structInfo.count(s) == 0) ? /*数组需要*/ InitValue("0", "") : 
                            StructInitValue(structInfo, structInfo[s], "");
        });


    auto varArrs = Keep(Any(arr, [&initValue, &tmpArrSizes](const string & s)
        {
            initValue = MakeArrsInitValue(initValue, tmpArrSizes);    
        }));
        
    deque<int> tmpInitOffsets;


    SeqParser inits;


    auto noneInit = Stub([](const string & s){cout << "noneInit" << endl;});
    auto valueInit = Words([&initValue, &tmpInitOffsets](const string & s){initValue.Set(tmpInitOffsets, s); ++tmpInitOffsets.back();});
    auto baseInit = Or(valueInit, Ref(inits));


    auto arrDesignator = Seq(Str("["), AnySpaces, Words([&tmpInitOffsets](const string & s){tmpInitOffsets.back() = lexical_cast<int>(s);}), AnySpaces, Str("]"));
    auto structDesignator = Seq(Str("."), AnySpaces, Words([&initValue, &tmpInitOffsets](const string & s){tmpInitOffsets.back() = initValue.FindOffset(tmpInitOffsets, s);}));
    int tmpMultiDesignator = 0;
    vector<int> tmpMultiDesignators;
    auto multiDesignatorStub = Stub([&tmpInitOffsets, &tmpMultiDesignator](const string &)
    {
        tmpInitOffsets.push_back(0); ++tmpMultiDesignator;
    });
    auto designatedInit = Seq(Or(arrDesignator, structDesignator), 
                              Any(Seq(multiDesignatorStub, Or(arrDesignator, structDesignator)), 
                                  [&tmpMultiDesignator, &tmpMultiDesignators](const string &)
                                  {
                                      tmpMultiDesignators.push_back(tmpMultiDesignator);
                                      tmpMultiDesignator = 0; 
                                  }), 
                              AnySpaces, Str("="), AnySpaces, baseInit,
                              [&tmpInitOffsets, &tmpMultiDesignators](const string &)
                              {
                                  tmpInitOffsets.resize(tmpInitOffsets.size() - tmpMultiDesignators.back());
                                  tmpMultiDesignators.pop_back();
                              });


    auto oneInit = Or(valueInit, 
                      Ref(inits, [&tmpInitOffsets](const string & s){++tmpInitOffsets.back();}), 
                      designatedInit);
    auto moreInit = Seq(oneInit, Any(Seq(AnySpaces, Str(","), AnySpaces, oneInit)), AnySpaces, Optional(Str(",")));


    inits = Seq(Str("{", [&tmpInitOffsets](const string &){tmpInitOffsets.push_back(0);}), AnySpaces, 
                Or(noneInit, moreInit), AnySpaces, 
                Str("}", [&tmpInitOffsets](const string &){tmpInitOffsets.pop_back();}));


    auto defineTypedVar  = Seq(typeName, Spaces, Words(), varArrs, AnySpaces, Str("="), AnySpaces, inits, AnySpaces, Str(";"));
    auto defineStruct = Seq(Struct, AnySpaces, Str(";", popCurStructName));
    auto defineStructVar = Seq(Struct, AnySpaces, Words(popCurStructNameAndMakeStructValue), varArrs, AnySpaces, Str("="), AnySpaces, inits, AnySpaces, Str(";"));


    auto Exp = Or(defineTypedVar, defineStruct, defineStructVar);


    bool r = Exp.Match(in);
    cout << initValue.str() << endl;
    return r;
}


BOOST_AUTO_TEST_CASE(TestStruct)
{
    string out;
    BOOST_CHECK_EQUAL(expandC99("struct A {int a ; int b ; int c ;} ;", out), true);
    BOOST_CHECK_EQUAL(expandC99("struct B {int a ; int b [2] ; int c ;} a = {};", out), true);    
    BOOST_CHECK_EQUAL(expandC99("struct X {A a ; int b ; int c ;} a = {{1}, 3};", out), true);
    BOOST_CHECK_EQUAL(expandC99("struct Y {int a ; struct XX {int i;} b ; int c ;} b = {.c = 3};", out), true);    
    BOOST_CHECK_EQUAL(expandC99("int a[3][2] = {{1, 2}, {3, 4}, [2][1] = 6};", out), true);    
    BOOST_CHECK_EQUAL(expandC99("X a[3][2] = {[1][0].a.b = 2};", out), true);        
    BOOST_CHECK_EQUAL(expandC99("X a[3][2] = {[1][0].a = {.b = 2}, [2][0].a.b = 3};", out), true);            
}

这篇关于C99的指定初始化转化为C89？用(a|e)?bnf实现吧，写个玩玩的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/818010。

相关文章

Flutter实现文字镂空效果的详细步骤

Flutter实现文字镂空效果的详细步骤

《Flutter实现文字镂空效果的详细步骤》：本文主要介绍如何使用Flutter实现文字镂空效果,包括创建基础应用结构、实现自定义绘制器、构建UI界面以及实现颜色选择按钮等步骤,并详细解析了混合模... 目录引言实现原理开始实现步骤1：创建基础应用结构步骤2：创建主屏幕步骤3：实现自定义绘制器步骤4：构建U
阅读更多...
SpringBoot中四种AOP实战应用场景及代码实现

SpringBoot中四种AOP实战应用场景及代码实现

《SpringBoot中四种AOP实战应用场景及代码实现》面向切面编程(AOP)是Spring框架的核心功能之一,它通过预编译和运行期动态代理实现程序功能的统一维护,在SpringBoot应用中,AO... 目录引言场景一：日志记录与性能监控业务需求实现方案使用示例扩展：MDC实现请求跟踪场景二：权限控制与
阅读更多...
Android实现定时任务的几种方式汇总(附源码)

Android实现定时任务的几种方式汇总(附源码)

《Android实现定时任务的几种方式汇总(附源码)》在Android应用中,定时任务（ScheduledTask）的需求几乎无处不在：从定时刷新数据、定时备份、定时推送通知,到夜间静默下载、循环执行... 目录一、项目介绍1. 背景与意义二、相关基础知识与系统约束三、方案一：Handler.postDel
阅读更多...
Pandas利用主表更新子表指定列小技巧

Pandas利用主表更新子表指定列小技巧

《Pandas利用主表更新子表指定列小技巧》本文主要介绍了Pandas利用主表更新子表指定列小技巧,通过创建主表和子表的DataFrame对象,并使用映射字典进行数据关联和更新,实现了从主表到子表的同... 目录一、前言二、基本案例1. 创建主表数据2. 创建映射字典3. 创建子表数据4. 更新子表的 zb
阅读更多...
使用Python实现IP地址和端口状态检测与监控

使用Python实现IP地址和端口状态检测与监控

《使用Python实现IP地址和端口状态检测与监控》在网络运维和服务器管理中,IP地址和端口的可用性监控是保障业务连续性的基础需求,本文将带你用Python从零打造一个高可用IP监控系统,感兴趣的小伙... 目录概述：为什么需要IP监控系统使用步骤说明1. 环境准备2. 系统部署3. 核心功能配置系统效果展
阅读更多...
Python实现微信自动锁定工具

Python实现微信自动锁定工具

《Python实现微信自动锁定工具》在数字化办公时代,微信已成为职场沟通的重要工具,但临时离开时忘记锁屏可能导致敏感信息泄露,下面我们就来看看如何使用Python打造一个微信自动锁定工具吧... 目录引言：当微信隐私遇到自动化守护效果展示核心功能全景图技术亮点深度解析1. 无操作检测引擎2. 微信路径智能获
阅读更多...
Python中pywin32 常用窗口操作的实现

Python中pywin32 常用窗口操作的实现

《Python中pywin32常用窗口操作的实现》本文主要介绍了Python中pywin32常用窗口操作的实现,pywin32主要的作用是供Python开发者快速调用WindowsAPI的一个... 目录获取窗口句柄获取最前端窗口句柄获取指定坐标处的窗口根据窗口的完整标题匹配获取句柄根据窗口的类别匹配获取句
阅读更多...
在 Spring Boot 中实现异常处理最佳实践

在 Spring Boot 中实现异常处理最佳实践

《在SpringBoot中实现异常处理最佳实践》本文介绍如何在SpringBoot中实现异常处理,涵盖核心概念、实现方法、与先前查询的集成、性能分析、常见问题和最佳实践,感兴趣的朋友一起看看吧... 目录一、Spring Boot 异常处理的背景与核心概念1.1 为什么需要异常处理？1.2 Spring B
阅读更多...
Python位移操作和位运算的实现示例

Python位移操作和位运算的实现示例

《Python位移操作和位运算的实现示例》本文主要介绍了Python位移操作和位运算的实现示例,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一... 目录1. 位移操作1.1 左移操作 (<<)1.2 右移操作 (>>)注意事项：2. 位运算2.1
阅读更多...
如何在 Spring Boot 中实现 FreeMarker 模板

如何在 Spring Boot 中实现 FreeMarker 模板

《如何在SpringBoot中实现FreeMarker模板》FreeMarker是一种功能强大、轻量级的模板引擎,用于在Java应用中生成动态文本输出（如HTML、XML、邮件内容等）,本文... 目录什么是 FreeMarker 模板？在 Spring Boot 中实现 FreeMarker 模板1. 环
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2