C++如何使用指针实现复杂的数学公式解析器-C++-PHP中文网

现代c++推荐用std::unique_ptr管理语法树节点而非裸指针，因其能明确所有权、避免悬空/泄漏/重复释放，配合递归下降解析更安全清晰；构造时需用std::move转移所有权，返回用std::make_unique保证异常安全。

c++如何使用指针实现复杂的数学公式解析器

直接用裸指针实现数学公式解析器，不是不好，而是容易出错且不必要——现代 C++ 更推荐用 std::unique_ptr 或 std::shared_ptr 管理语法树节点，配合递归下降解析，既安全又清晰。

为什么不用原始指针（`double`、`Node`）手写内存管理

原始指针在表达式树中极易引发悬空、重复释放或泄漏：比如二元运算节点持有左右子节点指针，析构时若忘记递归 delete，或某节点被多个父节点共享而误删，程序当场崩溃。错误现象常见为 double free or corruption 或 segmentation fault，调试成本远高于设计成本。

所有节点生命周期应由所有权语义明确控制，原始指针无法表达“谁负责释放”
递归解析过程中频繁构造/销毁临时节点，手动 new/delete 极易漏掉分支
C++17 起，编译器对移动语义和 RAII 优化已非常成熟，std::unique_ptr 零开销

用 `std::unique_ptr` 实现 AST 节点基类与派生结构

核心是让每个节点独占其子节点，避免共享歧义；同时支持多态访问（如 evaluate()）。

struct Expr {
    virtual ~Expr() = default;
    virtual double evaluate() const = 0;
};
<p>struct Number : Expr {
double value;
explicit Number(double v) : value(v) {}
double evaluate() const override { return value; }
};</p><p>struct BinaryOp : Expr {
char op;
std::unique_ptr<expr> left;
std::unique_ptr<expr> right;
BinaryOp(char o, std::unique_ptr<expr>&& l, std::unique_ptr<expr>&& r)
: op(o), left(std::move(l)), right(std::move(r)) {}
double evaluate() const override {
double l = left->evaluate(), r = right->evaluate();
switch (op) {
case '+': return l + r;
case '-': return l - r;
case '<em>': return l </em> r;
case '/': return r != 0 ? l / r : throw std::runtime_error("div by zero");
default: throw std::runtime_error("unknown op");
}
}
};</expr></expr></expr></expr></p>

注意：构造 BinaryOp 时必须用 std::move 转移所有权，否则编译失败（unique_ptr 不可拷贝）；这也强制你在解析函数中显式表达“这个子树归我管”。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

递归下降解析器如何返回 `std::unique_ptr<expr></expr>`

解析函数（如 parse_expression()）返回的是拥有权，不是引用或原始指针。调用方拿到的就是完整 AST 的根节点，离开作用域自动清理整棵树。

不要写 return std::unique_ptr<expr>(new Number(val));</expr> —— 改用 std::make_unique<number>(val)</number>，更安全且异常安全
遇到括号时，递归调用 parse_expression()，直接把返回值 move 进新节点：std::make_unique<binaryop>('+', std::move(left), parse_expression())</binaryop>
如果解析失败（如 token 不匹配），抛异常即可；unique_ptr 在栈展开时会自动析构已构建的部分，不会泄漏