boost之spirit学习-mini_c(2)

原创 2012年03月22日 19:50:06

main.cpp就一个main函数,倒是直接明了

main函数大概的流程:

  • 读代码文件
  • 使用spirit将代码解析成抽象语法树
  • 使用compiler把语法树编译成字节码
  • 从编译后的字节中找出main函数
  • 为main函数传入参数(通过虚拟栈传递)
  • 使用VM执行字节码
  • 输出main函数的返回值

一点点把玩其代码:

1. 读"代码文件":

点击(此处)折叠或打开

  1.     std::string source_code; // We will read the contents here.
  2.     in.unsetf(std::ios::skipws); // No white space 
  3.     std::copy(
  4.         std::istream_iterator<char>(in),
  5.         std::istream_iterator<char>(),
  6.         std::back_inserter(source_code));

居然用copy、istream_iterator、back_inserter来读文件,文节青年的代码啊

像我等普通青年,估计就用二进制方式打开文件,判断一下文件长度,直接分析好内存,一次read搞定了

2. 解析语法树

点击(此处)折叠或打开

  1. bool success = phrase_parse(iter, end, +function, skipper, ast);

其中iter和end给出了解析的字符串的起始位置

+function表示解析的语法规则。注意其中加号是不能省的,它表示匹配function一次或多次。spirit重载了+号*号,以和BNF范式统一,不过由于C++语言的限制,它们只能放在规则之前,而不是像传统一样写在规则之后。

skipper表示使用的跳过语法规则。命中skipper的字符串部分将直接跳过,不参与解析。

后面的代码如下。比较直接,不再赘述

点击(此处)折叠或打开

  1.     if (success && iter == end)
  2.     {
  3.         if (compiler(ast))
  4.         {
  5.             boost::shared_ptr<client::code_gen::function>
  6.                 p = compiler.find_function("main");
  7.             if (!p)
  8.                 return 1;

  9.             int nargs = argc-2;
  10.             if (p->nargs() != nargs)
  11.             {
  12.                 std::cerr << "Error: main function requires " << p->nargs() << " arguments." << std::endl;
  13.                 std::cerr << nargs << "supplied." << std::endl;
  14.                 return 1;
  15.             }

  16.             std::cout << "Success\n";
  17.             std::cout << "-------------------------\n";
  18.             std::cout << "Assembler----------------\n\n";
  19.             compiler.print_assembler();

  20.             // Push the arguments into our stack
  21.             for (int i = 0; i < nargs; ++i)
  22.                 vm.get_stack()[i] = boost::lexical_cast<int>(argv[i+2]);

  23.             // Call the interpreter
  24.             int r = vm.execute(compiler.get_code());

  25.             std::cout << "-------------------------\n";
  26.             std::cout << "Result: " << r << std::endl;
  27.             std::cout << "-------------------------\n\n";
  28.         }
  29.         else
  30.         {
  31.             std::cout << "Compile failure\n";
  32.         }
  33.     }
  34.     else
  35.     {
  36.         std::cout << "Parse failure\n";
  37.     }

 

注意:编译后的字节码是放在compiler对象里的。但虚拟栈是由vm对象提供的。

有点奇怪function为什么用shared_ptr来返回,貌似完全没有share的必要。或者仅仅是为了避免少写compiler的析构函数?

另一个奇怪之处是从compiler获取了main函数的指针,但仅仅用来判断传入参数的个数。vm.execute并没有指定从main函数开始执行。那么程序是怎么跳到main函数去执行的呢?直觉猜想编译出的代码里起始位置应该有直接jump到main函数的代码。翻了一下compiler.cpp,果然!

点击(此处)折叠或打开

  1.     bool compiler::operator()(ast::function_list const& x)
  2.     { 
  3.         // Jump to the main function
  4.         code.push_back(op_jump);
  5.         code.push_back(0); // we will fill this in later when we finish compiling
  6.                            // and we know where the main function is

  7.         BOOST_FOREACH(ast::function const& f, x)
  8.         { 
  9.             if (!(*this)(f))
  10.             { 
  11.                 code.clear();
  12.                 return false;
  13.             } 
  14.         } 
  15.         // find the main function
  16.         boost::shared_ptr<code_gen::function> p = 
  17.             find_function("main");

  18.         if (!p) // main function not found
  19.         { 
  20.             std::cerr << "Error: main function not defined" << std::endl;
  21.             return false;
  22.         } 
  23.         code[1] = p->get_address()-1; // jump to this (main function) address

  24.         return true;
  25.     }


其中又有一个boost的奇技淫巧的应用:BOOST_FOREACH,在<boost/foreach.hpp>中,用于简化遍历容器

不过C++11中已经从语言层面对此进行了支持,语法上略有不同:

点击(此处)折叠或打开

  1. int arr[] = {1, 2, 3, 4, 5};
  2. for (int& i : arr)
  3. {
  4.     cout << i << endl;
  5. }

main.cpp解析完了,明天看看ast.hpp

相关文章推荐

boost之spirit学习-mini_c(5)

继续看看周边的小东西,从易到难。今天是annotation.hpp annotation.hpp里定义了一个类:annotation。 顾名思义,它是给抽象语法树里的对象做标注的。标注什么呢?...
  • jjparch
  • jjparch
  • 2012年03月29日 21:53
  • 285

boost之spirit学习-mini_c(3)

前一章分析完了main.cpp,了解了mini_c的主流程。现在来看看抽象语法树的定义:ast.hpp 首先,为一些对象打上id,方便编译错误时由对象的id查找到出错的位置(这个是由anno...
  • jjparch
  • jjparch
  • 2012年03月23日 00:55
  • 896

boost之spirit学习-mini_c(4)

今天看看error_handler.hpp,先把这些周边的东西搞清楚。 /////////////////////////////////////////////////////////...
  • jjparch
  • jjparch
  • 2012年03月28日 00:21
  • 346

Boost.Spirit x3学习笔记

为了能够在Visual Studio 2015 RC上运行,需要做如下修改 1、修改boost/spirit/home/x3/nonterminal/detail/rule.hpp中的has_on_e...

boost之spirit学习

最近一段时间对boost比较着迷。看了一些boost代码后惊叹C++居然可以写成这样。 C++强大的模板、运算符重载让C++拥有强大的灵活性,可以模仿很多其它语言的语法,在解决某个具体问题时可以...
  • jjparch
  • jjparch
  • 2012年03月22日 19:48
  • 514

mini2440 I2C驱动的分析与学习(二)

接着分析i2c的数据传输流程。 首先是打开i2c设备,比如open("/dev/i2c/0"),在内核调用下面函数 static int i2cdev_open(struct inode *ino...
  • a_jige
  • a_jige
  • 2013年06月14日 14:20
  • 1069

MINI2440i2c驱动学习二

在测试函数中有个函数eeprom_open("/dev/i2c/0", 0x50, EEPROM_TYPE_8BIT_ADDR, &e);其中里面的调用如下 int eeprom_open(char...
  • zq5848
  • zq5848
  • 2011年10月09日 23:47
  • 632

boost 中spirit 连续解析 employee 成容器变量

#include #include #include #include #include #include #include #include #include #include ...

在msvc中使用Boost.Spirit.X3

http://www.cnblogs.com/IndignangAngel/p/5026269.html Preface “Examples of designs that meet ...

boost之词法解析器spirit

boost之词法解析器spirit http://blog.csdn.net/crazyhacking/article/details/37603075 摘要:解析...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:boost之spirit学习-mini_c(2)
举报原因:
原因补充:

(最多只允许输入30个字)