当前位置：文江博客话题详情

您应该检查构造函数中的参数值是否错误？

发布于 2024-07-16 10:04:08 字数 54 浏览 9 评论 0原文

您是否在每个构造函数中检查数据有效性，还是只是假设数据正确并在参数有问题的特定函数中抛出异常？

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

忆梦 2024-07-23 10:04:09

我同意一般情况下的 Sharptooth，但有时有些对象可能具有某些功能有效而某些功能无效的状态。在这些情况下，最好推迟检查具有这些特定依赖项的函数。

通常您需要在构造函数中进行验证，因为这意味着您的对象将始终处于有效状态。但某些类型的对象需要特定于功能的检查，这也没关系。

回复收藏 0 原文

冷月断魂刀 2024-07-23 10:04:09

这是一个很难的问题。在过去的几年里，我多次改变了与这个问题相关的习惯，所以我想到了一些想法：

检查构造函数中的参数就像检查传统方法的参数一样......所以我不会在这里区分...
检查方法的参数当然有助于确保传递的参数正确，但也引入了您必须编写的更多代码，在我看来，这并不总是有回报...特别是当您编写简短的代码时经常委托给其他方法的方法，我猜你最终会得到 50% 的代码只是做参数检查...
此外，考虑到当你为你的类编写单元测试时，你不希望有为所有方法传递有效参数...通常只传递对当前测试用例重要的参数是有意义的，因此进行检查会减慢您编写单元测试的速度...

我认为这实际上取决于情况...我最终的结果是仅当我知道参数确实来自外部系统（例如用户输入、数据库、Web 服务或类似的东西...）时才编写参数检查。如果数据来自我自己的系统，我大多数时候不会编写测试。

回复收藏 0 原文

烟雨凡馨 2024-07-23 10:04:09

我总是尝试尽早失败。所以我最终检查了构造函数中的参数。

回复收藏 0 原文

〆一缕阳光ご 2024-07-23 10:04:09

理论上，在调用函数之前，调用代码应始终确保满足先决条件。构造函数也是如此。

在实践中，程序员很懒，为了确保最好还是检查前提条件。断言在那里派上用场。

例子。请原谅我的非大括号语法：

// precondition b<>0
function divide(a,b:double):double;
begin
  assert(b<>0); // in case of a programming error. 
  result := a / b;
end;

// calling code should be:
if foo<>0 then
  bar := divide(1,0)
else
  // do whatever you need to do when foo equals 0

或者，您可以随时更改前提条件。对于构造函数来说，这并不是很方便。

// no preconditions.. still need to check the result
function divide(a,b:double; out hasResult:boolean):double;
begin
  hasResult := b<>0; 
  if not hasResult then
    Exit;
  result := a / b;
end;

// calling code:
bar := divide(1,0,result);
if not result then
  // do whatever you need to do when the division failed

In theory, the calling code should always ensure that preconditions are met, before calling a function. The same goes for constructors.

In practice, programmers are lazy, and to be sure it's best to still check preconditions. Asserts come in handy there.

Example. Excuse my non-curly brace syntax:

// precondition b<>0
function divide(a,b:double):double;
begin
  assert(b<>0); // in case of a programming error. 
  result := a / b;
end;

// calling code should be:
if foo<>0 then
  bar := divide(1,0)
else
  // do whatever you need to do when foo equals 0

Alternatively, you can always change the preconditions. In case of a constructor this is not really handy.

// no preconditions.. still need to check the result
function divide(a,b:double; out hasResult:boolean):double;
begin
  hasResult := b<>0; 
  if not hasResult then
    Exit;
  result := a / b;
end;

// calling code:
bar := divide(1,0,result);
if not result then
  // do whatever you need to do when the division failed

回复收藏 0 原文