编译器警告“返回值可能未定义”

Question

我经常使用以下代码：

function GetNumber(Handle : THandle) : Integer;
begin
FLock.BeginRead;
try
  if FMap.TryGetValue(Handle, Object) then
    raise EArgumentException.Create('Invalid handle');
  Result := Object.Number;
finally
  FLock.EndRead;
end;
end;

不幸的是，编译器对所有这些方法都给出了警告：

[DCC Warning] Unit.pas(1012): W1035 Return value of function 'GetNumber' might be undefined

我知道这个警告，但在这种情况下，我根本看不出有任何原因。或者是否有我遗漏的情况会导致未定义的结果值？我理解try..except 的警告，但对于try..finally，这对我来说没有意义。

问题：

• 警告有什么原因吗？
• 我怎样才能摆脱它（将Result := Object.Number 行移出锁定不是一种选择，我想避免在每个函数的顶部写一个完全不必要的Result := 0 行）

谢谢！

Answer 1

这是一个编译器错误。如果try/finally 被删除，则不会发出警告。编译器早就能够认识到raise 免除了编码器分配返回值的义务。无论出于何种原因，try/finally 似乎都混淆了它的分析。

---

再想一想，也许这不是编译器错误。如果finally 块中的代码停止了异常传播怎么办？显然没有except 处理程序，但我更怀疑System 或SysUtils 单元中的异常支持例程之一可能能够阻止异常进一步发展。

Answer 2

警告有什么原因吗？

我看不到一个，但它在那里是因为raise

我怎样才能摆脱它（将 Result := Object.Name 行移出 锁不是一种选择，我想要 避免完全写一个 不必要的结果 := 0 行在顶部 每个函数）

将 raise 语句移动到它自己的过程中。

function GetNumber(Handle : THandle) : Integer;
    procedure InvHandle;
    begin
        raise EArgumentException.Create('Invalid handle');
    end;
begin
    FLock.BeginRead;
    try
        if FMap.TryGetValue(Handle, Object) then
            InvHandle;
        Result := Object.Number;
    finally
        FLock.EndRead;
    end;
end;

Answer 3

一个任务

Result := ...;

在finally 块中缺失。