c++ - Brainfuck 解释器奇怪的输出

Question

我决定使用 Borland 的 CppBuilder6 用 C++ 编写一个简单的 Brainfuck IDE。我已经为 RichEdit 装上了我的，让它看起来有点像记事本。然后我为输入添加了 TEdit，为输出添加了 TMemo。经过一些测试后，我认为 RichEdit 组件不适合我的情况，因此我将其更改为 TMemo。

在我的代码中，输入 = Edit2，代码 = Memo2，输出 = Memo1。我重写了两次，这个版本似乎是最正确的；我决定不使用指针(我考虑过它甚至写了指针版本，不幸的是它没有用所以为了简化我已经删除了指针)。

char *cells = (char*)calloc(65536,1); //Should i use malloc?
int cellp = 0;
void __fastcall BFIde::interpret() {
        char* pf = Memo2->Lines->Text.c_str(); //Weird output
        char* p = (char*)malloc(strlen(pf)+1);
        strcpy(p, pf); //Because pf is constant, i need to copy it into not constant string.
        int pp = 0;

        MessageBox(NULL,p,NULL,MB_OK); //To ensure that program is correct, but it ain't.

        while(p[pp]){
                switch(p[pp]){
                        case '>':
                                cellp++;
                                break;
                        case '<':
                                cellp--;
                                break;
                        case '+':
                                MessageBox(NULL, "Plus", NULL, MB_OK); //When executing test code, never gets shown.
                                cells[cellp]++;
                                break;
                        case '-':
                                cells[cellp]--;
                                break;
                        case '.':{ //It should look other, but I've replaced it to ensure that output is correct.
                                char arr[2]={cells[cellp],0};MessageBox(NULL, arr, NULL, MB_OK);}
                                break;
                        case ',': //Remove first character and pass it to program
                                if(Edit2->Text == "")cells[cellp] = 0;
                                else {cells[cellp] = Edit2->Text.c_str()[0];char* str;strcpy(str, Edit2->Text.c_str());Edit2->Text=str++;}
                                break;
                        case '[':{ //Propably works.
                                int bal = 1;
                                if (cells[cellp] == '\0') {
                                        do {
                                                pp++;
                                                if      (p[pp] == '[') bal++;
                                                else if (p[pp] == ']') bal--;
                                        } while ( bal != 0 );
                                }
                                break;
                        }
                        case ']':
                                int bal2 = 0;
                                do {
                                        if      (p[pp] == '[') bal2++;
                                        else if (p[pp] == ']') bal2--;
                                        pp--;
                                } while ( bal2 != 0 );
                                break;
                }
                pp++;
        }
        MessageBox(NULL, IntToStr(cellp).c_str(), NULL, MB_OK); //To check that something was parsed. Shows 0 everytime (not expected).
}

当我输入一些代码时，例如。 “+。”并执行此功能(通过按钮)，这将显示一系列消息框。第一个:┼(第 8 行)，第二个:0(第 55 行)，仅此而已。预期结果是写:第一个 +.，第二个 Plus，第三个为空。我在我的代码中做错了什么？也许我错过了什么。

Answer 1

您的代码中存在与内存相关的错误。 interpret() 的第一行采用指向临时 AnsiString 的指针，该指针随后立即被释放，因此后续代码行使用指向无效的悬垂指针内存。同样，在您的 ',' 处理程序中，您试图将数据复制到未指向有效内存的未初始化指针。在访问 cells[] 数组时，您没有进行任何边界检查。

您的 ']' 处理程序中也存在逻辑错误。您没有检查当前单元格数据是否为 ​​0 来决定下一条跳转到哪条指令，并且在查找开头的 '[' 时您没有正确地向后查找。

尝试更像这样的东西:

static const int maxCells = 65536;

class BFIde : public TForm
{
__published:
    TEdit *Edit2;
    TMemo *Memo1;
    TMemo *Memo2;
    TButton *Button1;
    void __fastcall Button1(TObject *Sender);
private:
    char cells[maxCells];
    int cellp;
    char& cellData();
    void __fastcall interpret(const AnsiString &commands, AnsiString input);
public:
    __fastcall BFIde(TComponent *Owner);
};

__fastcall BFIde::BFIde(TComponent *Owner)
    : TForm(Owner)
{
}

char& __fastcall BFIde::cellData()
{
    if ((cellp < 0) or (cellp >= maxCells))
        throw Exception("Accessing cells out of bounds");
    return cells[cellp];
}

void __fastcall BFIde::interpret(const AnsiString &commands, AnsiString input)
{
    Memo1->Clear();

    memset(cells, 0, maxCells);
    cellp = 0;

    const char* start = commands.c_str();
    const char* p = start;

    while (*p)
    {
        switch (*p)
        {
            case '>':
                ++cellp;
                break;

            case '<':
                --cellp;
                break;

            case '+':
                cellData()++;
                break;

            case '-':
                cellData()--;
                break;

            case '.':
            {
                char ch = cellData();
                Memo1->SelStart = Memo1->GetTextLen();
                Memo1->SelLength = 0;
                Memo1->SelText = ch;
                break;
            }

            case ',':
            {
                char ch;
                if (input.Length() == 0) {
                    ch = '\0';
                }
                else {
                    ch = input[1];
                    input.Delete(1, 1);
                }
                cellData() = ch;
                break;
            }

            case '[':
            {
                if (cellData() == '\0')
                {
                    int bal = 1;
                    while (*++p)
                    {
                        if (*p == '[') {
                            ++bal;
                        }
                        else if (*p == ']')
                        {
                            if (--bal == 0)
                                break;
                        }
                    }
                    if (bal != 0)
                        throw Exception("Unbalanced loop");
                }
                break;
            }

            case ']':
            {
                if (cellData() != '\0')
                {
                    int bal = 1;
                    while (p > start)
                    {
                        --p;
                        if (*p == ']') {
                            ++bal;
                        }
                        else if (*p == '[')
                        {
                            if (--bal == 0)
                                break;
                        }
                    }
                    if (bal != 0)
                        throw Exception("Unbalanced loop");
                }
                break;
            }
        }

        ++p;
    }

    ShowMessage(cellp);
}

void __fastcall BFIde::Button1(TObject *Sender)
{
    interpret(Memo2->Lines->Text,  Edit2->Text);
}