C++ 中无法解释的错误解析器源代码

Question

该函数检查用户输入到我正在制作的解释器/解析器中的函数名称，将其与函数数组进行比较，并执行相应的 C++ 函数。只要用户输入正确的函数名称，它就可以正常工作，但是如果用户输入的名称没有函数，则解释器会以一些无法解释的运行时错误结束，即使我将其编程为打印“未定义函数”，然后继续解析循环：

void parser::eval_cmd(std::string& exp, pro::command fset[])
{
    expr = exp;
    exp_ptr = (char*) expr.c_str();

    bool found = false;

    for (int i = 0; i < (int)sizeof(fset); i++)
    {
        if (fset[i].check(expr))
        {
            found = true;
            exp_ptr = (char*)expr.c_str() + (fset[i].name.size() - 1);
            if (fset[i].cmd)
                fset[i].cmd(eval_args());
            break;
        }

    }

    if (!found) err::show(err::UNDEFINED);
}

我到底做错了什么？

Answer 1

你做错的是(int)sizeof(fset)。这给出了指针的大小（以字节为单位），而不是传入的 fset 数组中的元素数量。

您需要一些其他方法来确定数组中有多少元素，可能是通过传入另一个参数、使用 std:: 容器而不是数组，或者以 NULL 终止数组。

例如，稍微更改函数定义：

void parser::eval_cmd(std::string& exp, const std::vector<pro::command>& fset)
{
    ...

    for (int i = 0; i < fset.size(); i++)
    {
        ... 

代码的其余部分保持不变。

---

EDIT: My best advice is to use std::map<string, pro::command> and allow map to manage the lookup algorithm, or std::vector<pro::comand> and use the above algorithm unchanged. You can measure the memory performance, but I expect that the only overhead of vector over array is the overhead of a newed array over a static array.

如果您确实得出不使用标准容器的结论，这是我的第二个最佳建议：

void parser::eval_cmd(std::string& exp, pro::command fset[], size_t count)
{
    ...

    for (int i = 0; i < count; i++)
    {

大概调用者知道（或可以确定） fset 数组中的元素数量。 （参见这个宏可以转换为函数吗？< /a> 寻求帮助。）

Answer 2

我立即看到一个错误，尽管没有看到更多代码，但我
不能确定症状是什么。你是循环控制
条件使用sizeof(fset)：fset是一个指针，所以该值将
始终相同（通常为 4 或 8，具体取决于您是否处于 32
位或 64 位模式）。我 fset 的成员较少，那么你就会有
未定义的行为，如果有更多，您将不会检查任何
以后的功能。

我的建议是使用 std::map 作为 fset，并跳过
完全循环。

Answer 3

..., pro::command fset[])

相当于

..., pro::command *fset)

因此，当您执行 sizeof(fset) 时，它会计算 sizeof(command*) 而不是实际的 sizeof(command) 。如果您不知道 fset[] 大小，那么您可以编写一个 template 包装器：

template<unsigned int SIZE>  // <--- finds the sizeof fset
void parser::eval_cmd_array(std::string& exp, pro::command (&fset)[SIZE])
{
  void parser::eval_cmd(exp, fset, SIZE);  // <--- pass the size as 3rd param
}

现在您已经在原始函数中获得了数组大小；

void parser::eval_cmd(std::string& exp, pro::command fset[], unsigned int sizeof_fset)
{                                                          //^^^^^^^^^^^^^^^^^^^^^^^^^ 
 //...
   for (unsigned int i = 0; i < sizeof_fset; i++)
 //...  ^^^^^^^^ let it be unsigned :)
}