关闭

boost之spirit学习-mini_c(2)

367人阅读 评论(0) 收藏 举报

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

0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:6430次
    • 积分:169
    • 等级:
    • 排名:千里之外
    • 原创:10篇
    • 转载:0篇
    • 译文:0篇
    • 评论:2条
    文章分类
    文章存档
    最新评论