6

假设我有以下代码：

function DoSomething:Boolean;
var obj : TMyObject;
i : Integer;
begin
  Result := False; //We haven't executed GetValue() correctly yet
  obj := TMyObject.Create();
  try
    //perform some code that may produce an exception        
    i := obj.GetValue();
    //Set the return to True as we executed GetValue() successfully
    Result := True;
  finally
    //do some cleanup
    obj.Free; 
  end;
end;

Delphi 编译器抱怨分配给 Result 的值从未在第一行中使用。

我可能遗漏了一些明显的东西，但我不明白为什么编译器会优化它（如果优化是打开的）。

我一直被教导明确设置我的变量，以免混淆它们的值是什么。最重要的是，如果GetValue()函数产生异常，该Result := True;行将永远不会执行。所以我们受德尔福初始化变量的支配。

那么这是安全/可接受的代码吗？我是否应该简单地删除该方法的第一行，这会使其更难阅读？如果失败，我将不得不关闭特定的编译器警告，但我不愿意这样做，因为此警告消息可以提供有用的信息。

4

2 回答 2

16

编译器是正确的。将 False 分配给 Result 是徒劳的，您的函数可以返回的唯一值是 True。

两种可能的执行路径是：

  1. 该函数不会引发异常并返回 True。
  2. 该函数确实引发了异常，因此根本不返回结果值。

解决方法很简单，去掉设置Result为False的那行代码。在这一点上，返回值没有任何用途变得完全清楚，您可以简单地将函数转换为过程。

于 2012-06-13T06:18:48.067 回答
5

您的函数只有两个结果。它要么返回，要么True引发异常，因此您可以将其转换为过程而不是使警告消失。

如果您希望函数的结果是False当GetValue()引发异常时，您必须捕获该异常DoSomething并将返回值设置为False. 在这种情况下，您应该启动函数，将返回值初始化为True.

像这样的东西：

function DoSomething:Boolean;
var
  obj : TMyObject;
  i: Integer;
begin
  Result := True;
  obj := TMyObject.Create();
  try
    try
      i := obj.GetValue();
    except
      Result := False;
    end;
  finally
    obj.Free;
  end;
end;
于 2012-06-13T05:46:52.543 回答