C++中如果存在前提为什么一定要说明

这篇文章主要介绍“C++中如果存在前提为什么一定要说明”，在日常操作中，相信很多人在C++中如果存在前提为什么一定要说明问题上存在疑惑，小编查阅了各式资料，整理出简单好用的操作方法，希望对大家解答”C++中如果存在前提为什么一定要说明”的疑惑有所帮助！接下来，请跟着小编一起来学习吧！

Reason（原因）

参数的含义可能会限制它在被调用方的使用。

Example（示例）

Consider:考虑：

double sqrt(double x);

这里x必须是非负值。类型系统无法（简单且自然地）表达这件事，因此我们必须使用其他方式。例如

double sqrt(double x); // x must be nonnegative

有些前提条件可以用断言表达。例如：

double sqrt(double x) { Expects(x >= 0); /* ... */ }

理想情况下，这个Expects(x >=0)应该成为sqrt接口的一部分，但是这不容易实现。到目前为止，我们将它放到定义（函数体）中。

Note（注意）

像Expects(p)那样正式定义需求是比较好的选择。如果无法实现，可以使用英语注释，例如

// the sequence [p:q) is ordered using <.

Note（注意）

很多成员函数具有类不变量包含的前提条件。不变量由构造函数建立并且必须在成员函数从类外被调用并退出时重新建立。我们不需要每个函数都提到它。

译者注：

1.类不变量是可以用于定义对象是否处于有效状态的一组条件。

2.类内调用时（私有成员函数），有时会破坏类不变量。

到此，关于“C++中如果存在前提为什么一定要说明”的学习就结束了，希望能够解决大家的疑惑。理论与实践的搭配能更好的帮助大家学习，快去试试吧！若想继续学习更多相关知识，请继续关注亿速云网站，小编会继续努力为大家带来更多实用的文章！