如何修复学生ID验证程序中的语法与逻辑错误？

问题背景 #

我正在编写一个验证Student ID（字符串类型）的程序，要求ID长度为13位，且前三个字符依次为'c'、'f'、'h'（即开头为'cfh'）。原代码中ERROR code 002的判断逻辑存在错误，我尝试修改后问题仍未解决，请求帮助修复语法与逻辑错误。

原代码 #

procedure Tfrmmain.btnvalClick(Sender: TObject);
var ver: boolean;
    i, buttonSelected: integer;
begin
  ver := true;
  stID := edtID.Text;
  i := length(stID);

  //eRROR code 000
  if edtID.text = '' then begin errormessagelbl.caption := 'Enter a Student ID';
    errormessagelbl.Font.Color := clred;
    edtID.SetFocus;
      {if edtID.SetFocus = true then errormessagelbl.caption := '';}
    exit;
  end;

  //eRROR code 001
  if i <> 13 then begin beep;
    ver := false;
      if not ver then begin errormessagelbl.caption := 'Invalid ID: 001';
        errormessagelbl.Font.Color := clred;
        exit;
      end;

    edtID.text := '';
    edtID.SetFocus;
    exit;
  end;

  //eRROR code 002
  if (stID[1] = 'c') AND (stID[2] = 'f') then begin errormessagelbl.caption := 'Invalid ID: 002'; //focus line
    errormessagelbl.Font.Color := clred;
    exit;
  end;


  buttonSelected := MessageDlg('Are you sure that' + '''s correct!',mtConfirmation, mbYESNO, 0);
  if buttonSelected = mrYES then application.Terminate;
  if buttonSelected = mrNO then begin edtID.text := '';
    edtID.SetFocus;
  end;
end;

错误分析 #

1. 原ERROR code 002逻辑完全颠倒：当前代码是当ID前两位为'c'和'f'时判定无效，这与“前三位必须是'cfh'”的需求完全相反。
2. 你尝试修改的代码逻辑错误：NOT (stID[1] = 'c') OR (stID[2] = 'f') OR (stID[3] = 'h') 的逻辑会导致只要第一个字符不是'c'，或者第二个是'f'，或者第三个是'h'就判定无效，完全不符合需求。

修复方案 #

正确的逻辑是：只要ID的前三个字符不全是依次为'c'、'f'、'h'，就判定为无效。我们可以直接对“前三个字符符合要求”的条件取反，或者用德摩根定律拆分逻辑。

修复后的完整代码如下，同时优化了原代码中冗余的变量判断与代码格式：

procedure Tfrmmain.btnvalClick(Sender: TObject);
var i, buttonSelected: integer;
    stID: string; // 改为局部变量，避免全局变量风险
begin
  stID := edtID.Text;
  i := length(stID);

  //eRROR code 000
  if edtID.text = '' then begin 
    errormessagelbl.caption := 'Enter a Student ID';
    errormessagelbl.Font.Color := clred;
    edtID.SetFocus;
    exit;
  end;

  //eRROR code 001
  if i <> 13 then begin 
    Beep;
    errormessagelbl.caption := 'Invalid ID: 001';
    errormessagelbl.Font.Color := clred;
    edtID.Clear;
    edtID.SetFocus;
    exit;
  end;

  // 修复后的ERROR code 002：前三个字符不是'c'、'f'、'h'则无效
  if not ( (stID[1] = 'c') AND (stID[2] = 'f') AND (stID[3] = 'h') ) then begin 
    errormessagelbl.caption := 'Invalid ID: 002';
    errormessagelbl.Font.Color := clred;
    edtID.SetFocus;
    exit;
  end;

  buttonSelected := MessageDlg('Are you sure that''s correct!', mtConfirmation, mbYESNO, 0);
  if buttonSelected = mrYES then 
    Application.Terminate
  else begin
    edtID.Clear;
    edtID.SetFocus;
  end;
end;

额外优化说明 #

• 把stID改为局部变量，避免全局变量带来的意外问题
• 移除了冗余的ver变量判断，简化代码逻辑
• 使用edtID.Clear替代edtID.text := ''，更符合Delphi的API习惯
• 调整代码缩进，提升可读性

内容的提问来源于stack exchange，提问作者Litha