能否修改捕获的Delphi Exception对象Message后重新抛出？

示例代码 #

try
  // ...
  raise EFileNotFoundException.Create('File not found!');
except
  on E: EFileNotFoundException do begin
    E.Message := Format('"%s": %s', ['nonexistent.txt', E.Message]);    // hmm...
    raise;
  end;
end;

问题1：这段代码是否能保证每次编译，属于文档明确的非未定义行为？ #

• 在Delphi、Free Pascal等主流Pascal实现中，EException及其子类（包括EFileNotFoundException）的Message属性是可写的公开/发布属性，官方文档明确允许修改该属性值。
• 这段代码的语法完全符合语言规范，不存在未定义行为，只要使用标准的VCL/FCL异常类，就可以稳定编译并执行，不会出现编译层面的不确定性。

问题2：这是否属于良好实践？若否，正确做法是什么？ #

是否为良好实践？ #

这种直接修改原异常对象Message后重新抛出的做法不属于良好实践，原因如下：

• 篡改了原始异常的信息，可能丢失最初抛出异常时的上下文细节，不利于问题排查；
• 部分异常类设计了专属属性存储特定信息（比如EFileNotFoundException通常带有FileName属性），直接修改Message违背了异常类的设计意图；
• 若后续异常处理逻辑依赖原始Message内容，会引发不可预期的问题。

正确做法（不修改抛出异常代码的前提下） #

根据使用的Pascal环境，有两种推荐方式：

1. 利用异常类的专属属性
   如果使用Delphi的VCL，EFileNotFoundException自带FileName属性，可直接设置该属性后重新抛出，异常的默认提示会自动包含文件名（或后续处理逻辑可通过该属性获取文件名）：

   try
     // ...
     raise EFileNotFoundException.Create('File not found!');
   except
     on E: EFileNotFoundException do begin
       E.FileName := 'nonexistent.txt';
       raise;
     end;
   end;
   

2. 创建新异常并关联原始异常
   若异常类没有对应专属属性，或需要保留原始异常的完整上下文，可创建新的异常实例，将原异常作为内部异常关联，同时构造包含文件名的新提示：

   try
     // ...
     raise EFileNotFoundException.Create('File not found!');
   except
     on E: EFileNotFoundException do begin
       raise EFileNotFoundException.CreateFmt('"%s": %s', ['nonexistent.txt', E.Message]) 
         with InnerException(E);
     end;
   end;
   

   这种方式既添加了文件名信息，又保留了原始异常的调用栈和细节，便于后续排查问题。

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