ton fift的c++程序设计与实现（二）

企业开发 2024-11-01 19:29:57 阅读次数: 0

库文件Continuation.cpp分析

/*
    This file is part of TON Blockchain Library.

    TON Blockchain Library is free software: you can redistribute it and/or modify
    it under the terms of the GNU Lesser General Public License as published by
    the Free Software Foundation, either version 2 of the License, or
    (at your option) any later version.

    TON Blockchain Library is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU Lesser General Public License for more details.

    You should have received a copy of the GNU Lesser General Public License
    along with TON Blockchain Library.  If not, see <http://www.gnu.org/licenses/>.

    Copyright 2020 Telegram Systems LLP
*/
#include "Continuation.h"
#include "IntCtx.h"
#include "Dictionary.h"

namespace fift {

//
// FiftCont
//
bool FiftCont::print_dict_name(std::ostream& os, const IntCtx& ctx) const {
  std::string word_name;
  if (ctx.dictionary.lookup_def(this, &word_name)) {
    if (word_name.size() && word_name.back() == ' ') {
      word_name.pop_back();
    }
    os << word_name;
    return true;
  }
  return false;
}

std::string FiftCont::get_dict_name(const IntCtx& ctx) const {
  std::string word_name;
  if (ctx.dictionary.lookup_def(this, &word_name)) {
    if (word_name.size() && word_name.back() == ' ') {
      word_name.pop_back();
    }
    return word_name;
  }
  return {};
}

bool FiftCont::print_dummy_name(std::ostream& os, const IntCtx& ctx) const {
  os << "<continuation " << (const void*)this << ">";
  return false;
}

bool FiftCont::print_name(std::ostream& os, const IntCtx& ctx) const {
  return print_dict_name(os, ctx) || print_dummy_name(os, ctx);
}

bool FiftCont::dump(std::ostream& os, const IntCtx& ctx) const {
  bool ok = print_name(os, ctx);
  os << std::endl;
  return ok;
}

//
// StackWord
//
Ref<FiftCont> StackWord::run_tail(IntCtx& ctx) const {
  f(ctx.stack);
  return {};
}

//
// CtxWord
//
Ref<FiftCont> CtxWord::run_tail(IntCtx& ctx) const {
  f(ctx);
  return {};
}

//
// CtxTailWord
//
Ref<FiftCont> CtxTailWord::run_tail(IntCtx& ctx) const {
  return f(ctx);
}

//
// WordList
//
WordList::WordList(std::vector<Ref<FiftCont>>&& _list) : list(std::move(_list)) {
}

WordList::WordList(const std::vector<Ref<FiftCont>>& _list) : list(_list) {
}

WordList& WordList::push_back(Ref<FiftCont> word_def) {
  list.push_back(std::move(word_def));
  return *this;
}

WordList& WordList::push_back(FiftCont& wd) {
  list.emplace_back(&wd);
  return *this;
}

Ref<FiftCont> WordList::run_tail(IntCtx& ctx) const {
  if (list.empty()) {
    return {};
  }
  if (list.size() > 1) {
    ctx.next = td::make_ref<ListCont>(std::move(ctx.next), Ref<WordList>(this), 1);
  }
  return list[0];
}

void WordList::close() {
  list.shrink_to_fit();
}

WordList& WordList::append(const std::vector<Ref<FiftCont>>& other) {
  list.insert(list.end(), other.begin(), other.end());
  return *this;
}

WordList& WordList::append(const Ref<FiftCont>* begin, const Ref<FiftCont>* end) {
  list.insert(list.end(), begin, end);
  return *this;
}

bool WordList::dump(std::ostream& os, const IntCtx& ctx) const {
  os << "{";
  for (auto entry : list) {
    os << ' ';
    entry->print_name(os, ctx);
  }
  os << " }" << std::endl;
  return true;
}

//
// ListCont
//

Ref<FiftCont> ListCont::run_tail(IntCtx& ctx) const {
  auto sz = list->size();
  if (pos >= sz) {
    return std::move(ctx.next);
  } else if (ctx.next.not_null()) {
    ctx.next = td::make_ref<ListCont>(SeqCont::seq(next, std::move(ctx.next)), list, pos + 1);
  } else if (pos + 1 == sz) {
    ctx.next = next;
  } else {
    ctx.next = td::make_ref<ListCont>(next, list, pos + 1);
  }
  return list->at(pos);
}

Ref<FiftCont> ListCont::run_modify(IntCtx& ctx) {
  auto sz = list->size();
  if (pos >= sz) {
    return std::move(ctx.next);
  }
  auto cur = list->at(pos++);
  if (ctx.next.not_null()) {
    next = SeqCont::seq(next, std::move(ctx.next));
  }
  if (pos == sz) {
    ctx.next = std::move(next);
  } else {
    ctx.next = self();
  }
  return cur;
}

bool ListCont::dump(std::ostream& os, const IntCtx& ctx) const {
  std::string dict_name = list->get_dict_name(ctx);
  if (!dict_name.empty()) {
    os << "[in " << dict_name << ":] ";
  }
  std::size_t sz = list->size(), i, a = (pos >= 16 ? pos - 16 : 0), b = std::min(pos + 16, sz);
  if (a > 0) {
    os << "... ";
  }
  for (i = a; i < b; i++) {
    if (i == pos) {
      os << "**HERE** ";
    }
    list->at(i)->print_name(os, ctx);
    os << ' ';
  }
  if (b < sz) {
    os << "...";
  }
  os << std::endl;
  return true;
}

//
// QuitCont
//
Ref<FiftCont> QuitCont::run_tail(IntCtx& ctx) const {
  ctx.set_exit_code(exit_code);
  ctx.next.clear();
  return {};
}

bool QuitCont::print_name(std::ostream& os, const IntCtx& ctx) const {
  os << "<quit " << exit_code << ">";
  return true;
}

//
// SeqCont
//
Ref<FiftCont> SeqCont::run_tail(IntCtx& ctx) const {
  ctx.next = seq(second, std::move(ctx.next));
  return first;
}

Ref<FiftCont> SeqCont::run_modify(IntCtx& ctx) {
  if (ctx.next.is_null()) {
    ctx.next = std::move(second);
    return std::move(first);
  } else {
    auto res = std::move(first);
    first = std::move(second);
    second = std::move(ctx.next);
    ctx.next = self();
    return res;
  }
}

bool SeqCont::print_name(std::ostream& os, const IntCtx& ctx) const {
  if (first.not_null()) {
    return first->print_name(os, ctx);
  } else {
    return true;
  }
}

bool SeqCont::dump(std::ostream& os, const IntCtx& ctx) const {
  if (first.not_null()) {
    return first->dump(os, ctx);
  } else {
    return true;
  }
}

//
// TimesCont
//
Ref<FiftCont> TimesCont::run_tail(IntCtx& ctx) const {
  if (count > 1) {
    ctx.next = td::make_ref<TimesCont>(body, SeqCont::seq(after, std::move(ctx.next)), count - 1);
  } else {
    ctx.next = SeqCont::seq(after, std::move(ctx.next));
  }
  return body;
}

Ref<FiftCont> TimesCont::run_modify(IntCtx& ctx) {
  if (ctx.next.not_null()) {
    after = SeqCont::seq(std::move(after), std::move(ctx.next));
  }
  if (count > 1) {
    --count;
    ctx.next = self();
    return body;
  } else {
    ctx.next = std::move(after);
    return std::move(body);
  }
}

bool TimesCont::print_name(std::ostream& os, const IntCtx& ctx) const {
  os << "<repeat " << count << " times>";
  return true;
}

bool TimesCont::dump(std::ostream& os, const IntCtx& ctx) const {
  os << "<repeat " << count << " times:> ";
  return body->dump(os, ctx);
}

//
// UntilCont
//
Ref<FiftCont> UntilCont::run_tail(IntCtx& ctx) const {
  if (ctx.stack.pop_bool()) {
    return after;
  } else if (ctx.next.not_null()) {
    ctx.next = td::make_ref<UntilCont>(body, SeqCont::seq(after, std::move(ctx.next)));
    return body;
  } else {
    ctx.next = self();
    return body;
  }
}

Ref<FiftCont> UntilCont::run_modify(IntCtx& ctx) {
  if (ctx.stack.pop_bool()) {
    return std::move(after);
  } else {
    if (ctx.next.not_null()) {
      after = SeqCont::seq(after, std::move(ctx.next));
    }
    ctx.next = self();
    return body;
  }
}

bool UntilCont::print_name(std::ostream& os, const IntCtx& ctx) const {
  os << "<until loop continuation>";
  return true;
}

bool UntilCont::dump(std::ostream& os, const IntCtx& ctx) const {
  os << "<until loop continuation:> ";
  return body->dump(os, ctx);
}

//
// WhileCont
//
Ref<FiftCont> WhileCont::run_tail(IntCtx& ctx) const {
  if (!stage) {
    ctx.next = td::make_ref<WhileCont>(cond, body, SeqCont::seq(after, std::move(ctx.next)), true);
    return cond;
  }
  if (!ctx.stack.pop_bool()) {
    return after;
  } else {
    ctx.next = td::make_ref<WhileCont>(cond, body, SeqCont::seq(after, std::move(ctx.next)));
    return body;
  }
}

Ref<FiftCont> WhileCont::run_modify(IntCtx& ctx) {
  if (!stage) {
    if (ctx.next.not_null()) {
      after = SeqCont::seq(std::move(after), std::move(ctx.next));
    }
    stage = true;
    ctx.next = self();
    return cond;
  }
  if (!ctx.stack.pop_bool()) {
    return std::move(after);
  } else {
    if (ctx.next.not_null()) {
      after = SeqCont::seq(std::move(after), std::move(ctx.next));
    }
    stage = false;
    ctx.next = self();
    return body;
  }
}

bool WhileCont::print_name(std::ostream& os, const IntCtx& ctx) const {
  os << "<while loop " << (stage ? "body" : "condition") << ">";
  return true;
}

bool WhileCont::dump(std::ostream& os, const IntCtx& ctx) const {
  os << "<while loop " << (stage ? "body" : "condition") << ":> ";
  return (stage ? body : cond)->dump(os, ctx);
}

//
// LoopCont
//
Ref<FiftCont> LoopCont::run_tail(IntCtx& ctx) const {
  return Ref<FiftCont>(clone());
}

Ref<FiftCont> LoopCont::run_modify(IntCtx& ctx) {
  if (ctx.next.not_null()) {
    after = SeqCont::seq(std::move(after), std::move(ctx.next));
  }
  switch (state) {
    case 0:
      if (!init(ctx)) {
        return std::move(after);
      }
      state = 1;
      // fallthrough
    case 1:
      if (!pre_exec(ctx)) {
        state = 3;
        if (finalize(ctx)) {
          return std::move(after);
        } else {
          return {};
        }
      }
      state = 2;
      ctx.next = self();
      return func;
    case 2:
      if (post_exec(ctx)) {
        state = 1;
        return self();
      }
      state = 3;
      // fallthrough
    case 3:
      if (finalize(ctx)) {
        return std::move(after);
      } else {
        return {};
      }
    default:
      throw IntError{"invalid LoopCont state"};
  }
}

bool LoopCont::print_name(std::ostream& os, const IntCtx& ctx) const {
  os << "<generic loop continuation state " << state << ">";
  return true;
}

//
// GenericLitCont
//
bool GenericLitCont::print_name(std::ostream& os, const IntCtx& ctx) const {
  auto list = get_literals();
  bool sp = false;
  for (auto entry : list) {
    if (sp) {
      os << ' ';
    }
    sp = true;
    int tp = entry.type();
    if (entry.is_int() || entry.is(vm::StackEntry::t_string) || entry.is(vm::StackEntry::t_bytes)) {
      entry.dump(os);
    } else if (entry.is_atom()) {
      os << '`';
      entry.dump(os);
    } else {
      auto cont_lit = entry.as_object<FiftCont>();
      if (cont_lit.not_null()) {
        os << "{ ";
        cont_lit->print_name(os, ctx);
        os << " }";
      } else {
        os << "<literal of type " << tp << ">";
      }
    }
  }
  return true;
}

//
// SmallIntLitCont
//
Ref<FiftCont> SmallIntLitCont::run_tail(IntCtx& ctx) const {
  ctx.stack.push_smallint(value_);
  return {};
}

std::vector<vm::StackEntry> SmallIntLitCont::get_literals() const {
  return {td::make_refint(value_)};
}

//
// IntLitCont
//
Ref<FiftCont> IntLitCont::run_tail(IntCtx& ctx) const {
  ctx.stack.push_int(value_);
  return {};
}

Ref<FiftCont> IntLitCont::run_modify(IntCtx& ctx) {
  ctx.stack.push_int(std::move(value_));
  return {};
}

Ref<FiftCont> IntLitCont::literal(td::RefInt256 int_value) {
  if (int_value->signed_fits_bits(64)) {
    return literal(int_value->to_long());
  } else {
    return td::make_ref<IntLitCont>(std::move(int_value));
  }
}

//
// LitCont
//
Ref<FiftCont> LitCont::run_tail(IntCtx& ctx) const {
  ctx.stack.push(value_);
  return {};
}

Ref<FiftCont> LitCont::run_modify(IntCtx& ctx) {
  ctx.stack.push(std::move(value_));
  return {};
}

Ref<FiftCont> LitCont::literal(vm::StackEntry value) {
  if (value.is_int()) {
    return literal(std::move(value).as_int());
  } else {
    return td::make_ref<LitCont>(std::move(value));
  }
}

//
// MultiLitCont
//
Ref<FiftCont> MultiLitCont::run_tail(IntCtx& ctx) const {
  for (auto& value : values_) {
    ctx.stack.push(value);
  }
  return {};
}

Ref<FiftCont> MultiLitCont::run_modify(IntCtx& ctx) {
  for (auto& value : values_) {
    ctx.stack.push(std::move(value));
  }
  return {};
}

MultiLitCont& MultiLitCont::push_back(vm::StackEntry new_literal) {
  values_.push_back(std::move(new_literal));
  return *this;
}

vm::StackEntry MultiLitCont::at(int idx) const {
  return values_.at(idx);
}

}  // namespace fift

这段代码是 C++ 语言编写的，属于一个名为 TON Blockchain Library 的项目。它包含了多个类和方法，用于实现 Fift 语言的解释器。

1. 包含头文件和命名空间

#include "Continuation.h"
#include "IntCtx.h"
#include "Dictionary.h"

namespace fift {
  • #include 指令用于包含其他文件，这里包含了三个头文件，这些文件可能定义了 Continuation、IntCtx 和 Dictionary 类。
  • namespace fift 定义了一个命名空间，用于组织代码，避免命名冲突。

2. 类定义和方法

FiftCont 类
class FiftCont {
    
    
public:
  bool print_dict_name(std::ostream& os, const IntCtx& ctx) const;
  std::string get_dict_name(const IntCtx& ctx) const;
  bool print_dummy_name(std::ostream& os, const IntCtx& ctx) const;
  bool print_name(std::ostream& os, const IntCtx& ctx) const;
  bool dump(std::ostream& os, const IntCtx& ctx) const;
};
  • class FiftCont 定义了一个类，它可能代表 Fift 语言中的一个继续（continuation）对象。
  • public 关键字表示类的公共接口，这些方法可以被外部访问。
  • std::ostream& os 是一个引用参数，用于输出到流（如控制台或文件）。
  • const IntCtx& ctx 是一个常量引用参数，用于传递一个上下文对象，而不需要复制它。
  • bool 返回类型表示方法执行成功或失败。
StackWord 类
class StackWord : public FiftCont {
    
    
public:
  Ref<FiftCont> run_tail(IntCtx& ctx) const;
};
  • StackWord 类继承自 FiftCont 类，表示栈上的一个词（word）。
  • Ref<FiftCont> 是一个智能指针，用于管理 FiftCont 对象的生命周期。
  • run_tail 方法可能用于执行词的尾部代码。
CtxWord 类
class CtxWord : public FiftCont {
    
    
public:
  Ref<FiftCont> run_tail(IntCtx& ctx) const;
};
  • CtxWord 类也继承自 FiftCont 类，表示需要上下文的词。
CtxTailWord 类
class CtxTailWord : public FiftCont {
    
    
public:
  Ref<FiftCont> run_tail(IntCtx& ctx) const;
};
  • CtxTailWord 类继承自 FiftCont 类，表示需要上下文的词，但执行方式可能与 CtxWord 不同。

3. 容器类

WordList 类
class WordList : public FiftCont {
    
    
public:
  WordList(std::vector<Ref<FiftCont>>&& _list);
  WordList(const std::vector<Ref<FiftCont>>& _list);
  WordList& push_back(Ref<FiftCont> word_def);
  WordList& push_back(FiftCont& wd);
  Ref<FiftCont> run_tail(IntCtx& ctx) const;
  void close();
  WordList& append(const std::vector<Ref<FiftCont>>& other);
  WordList& append(const Ref<FiftCont>* begin, const Ref<FiftCont>* end);
  bool dump(std::ostream& os, const IntCtx& ctx) const;
};
  • WordList 类表示一个词的列表，可以添加、运行和转储词。
  • std::vector<Ref<FiftCont>> 是一个动态数组，用于存储 FiftCont 对象的智能指针。
ListCont 类
class ListCont : public FiftCont {
    
    
public:
  Ref<FiftCont> run_tail(IntCtx& ctx) const;
  Ref<FiftCont> run_modify(IntCtx& ctx);
  bool dump(std::ostream& os, const IntCtx& ctx) const;
};
  • ListCont 类表示一个列表的继续，可以运行和转储列表中的词。

4. 控制流类

QuitCont 类
class QuitCont : public FiftCont {
    
    
public:
  Ref<FiftCont> run_tail(IntCtx& ctx) const;
  bool print_name(std::ostream& os, const IntCtx& ctx) const;
};
  • QuitCont 类表示退出继续，可能用于结束程序执行。
SeqCont 类
class SeqCont : public FiftCont {
    
    
public:
  Ref<FiftCont> run_tail(IntCtx& ctx) const;
  Ref<FiftCont> run_modify(IntCtx& ctx);
  bool print_name(std::ostream& os, const IntCtx& ctx) const;
  bool dump(std::ostream& os, const IntCtx& ctx) const;
};
  • SeqCont 类表示顺序继续，可以按顺序执行多个词。
TimesCont 类
class TimesCont : public FiftCont {
    
    
public:
  Ref<FiftCont> run_tail(IntCtx& ctx) const;
  Ref<FiftCont> run_modify(IntCtx& ctx);
  bool print_name(std::ostream& os, const IntCtx& ctx) const;
  bool dump(std::ostream& os, const IntCtx& ctx) const;
};
  • TimesCont 类表示重复继续，可以重复执行一个词多次。
UntilCont 类
class UntilCont : public FiftCont {
    
    
public:
  Ref<FiftCont> run_tail(IntCtx& ctx) const;
  Ref<FiftCont> run_modify(IntCtx& ctx);
  bool print_name(std::ostream& os, const IntCtx& ctx) const;
  bool dump(std::ostream& os, const IntCtx& ctx) const;
};
  • UntilCont 类表示直到继续，可以重复执行一个词直到满足某个条件。
WhileCont 类
class WhileCont : public FiftCont {
    
    
public:
  Ref<FiftCont> run_tail(IntCtx& ctx) const;
  Ref<FiftCont> run_modify(IntCtx& ctx);
  bool print_name(std::ostream& os, const IntCtx& ctx) const;
  bool dump(std::ostream& os, const IntCtx& ctx) const;
};
  • WhileCont 类表示当…循环继续，可以重复执行一个词当条件满足时。
LoopCont 类
class LoopCont : public FiftCont {
    
    
public:
  Ref<FiftCont> run_tail(IntCtx& ctx) const;
  Ref<FiftCont> run_modify(IntCtx& ctx);
  bool print_name(std::ostream& os, const IntCtx& ctx) const;
};
  • LoopCont 类表示通用循环继续，可以自定义循环的行为。

5. 字面量类

GenericLitCont 类
class GenericLitCont : public FiftCont {
    
    
public:
  bool print_name(std::ostream& os, const IntCtx& ctx) const;
};
  • GenericLitCont 类表示通用字面量继续，可以打印字面量的名称。
SmallIntLitCont 类
class SmallIntLitCont : public FiftCont {
    
    
public:
  Ref<FiftCont> run_tail(IntCtx& ctx) const;
  std::vector<vm::StackEntry> get_literals() const;
};
  • SmallIntLitCont 类表示小整数字面量继续，可以运行并获取字面量。
IntLitCont 类
class IntLitCont : public FiftCont {
    
    
public:
  Ref<FiftCont> run_tail(IntCtx& ctx) const;
  Ref<FiftCont> run_modify(IntCtx& ctx);
  Ref<FiftCont> literal(td::RefInt256 int_value);
};
  • IntLitCont 类表示整数字面量继续，可以运行并修改整数字面量。
LitCont 类
class LitCont : public FiftCont {
    
    
public:
  Ref<FiftCont> run_tail(IntCtx& ctx) const;
  Ref<FiftCont> run_modify(IntCtx& ctx);
  Ref<FiftCont> literal(vm::StackEntry value);
};
  • LitCont 类表示字面量继续，可以运行并修改字面量。
MultiLitCont 类
class MultiLitCont : public FiftCont {
    
    
public:
  Ref<FiftCont> run_tail(IntCtx& ctx) const;
  Ref<FiftCont> run_modify(IntCtx& ctx);
  MultiLitCont& push_back(vm::StackEntry new_literal);
  vm::StackEntry at(int idx) const;
};

MultiLitCont 类表示多个字面量继续，可以运行并修改多个字面量。

猜你喜欢

转载自blog.csdn.net/zhuqiyua/article/details/142936660
今日推荐
周排行
教你如何约女孩子的方式去理解（TCP三次握手与四次挥手）
android按压背景
【量化小讲堂-Python&amp;Pandas系列10】如何判断一个策略的好坏？(附代码)
编程题：利用链表实现栈
盘点47条 Allegro 使用技巧，你都知道吗？
在VMware Workstation中安装CentOS
二叉树的实现
cmake安装jsoncpp
ReactNative开发城市列表页
最全前端学习资源
每日归档
更多
2025-03-20(0)
2025-03-19(0)
2025-03-18(0)
2025-03-17(0)
2025-03-16(0)
2025-03-15(0)
2025-03-14(0)
2025-03-13(0)
2025-03-12(0)
2025-03-11(0)

代码天地 © 2018 codetd.com

境外服务器   最新电视剧2022