P.7:尽早捕获运行时错误

原创已于 2022-06-21 16:50:42 修改 · 109 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#c++

于 2022-06-01 16:41:09 首次发布

本文探讨了如何通过修改函数定义和使用方式来减少潜在的崩溃风险，提供三个实例分析了错误易发点，并给出反例以展示正确处理边界条件的重要性。此外，还涉及了物理意义检查和数据类型安全的考虑。

原因：避免“神秘”崩溃。

避免导致(可能无法识别)的错误。

例子

void increment1(int* p, int n) // bad: error-prone
{
for (int i = 0; i < n; ++i) ++p[i];
}

void use1(int m)
{
const int n = 10;
int a[n] = {};
// ...
increment1(a, m); // maybe typo, maybe m <= n is supposed
// but assume that m == 20
// ...
}

例

void increment2(span<int> p)
{
for (int& x : p) ++x;
}

void use2(int m)
{
const int n = 10;
int a[n] = {};
// ...
increment2({a, m}); // maybe typo, maybe m <= n is supposed
// ...
}

例

void use3(int m)
{
const int n = 10;
int a[n] = {};
// ...
increment2(a); // the number of elements of a need not be repeated
// ...
}

反例

Date read_date(istream& is); // read date from istream

Date extract_date(const string& s); // extract date from string

void user1(const string& date) // manipulate date
{
auto d = extract_date(date);
// ...
}

void user2()
{
Date d = read_date(cin);
// ...
user1(d.to_string());
// ...
}

例

class Jet { // Physics says: e * e < x * x + y * y + z * z
float x;
float y;
float z;
float e;
public:
Jet(float x, float y, float z, float e)
:x(x), y(y), z(z), e(e)
{
// Should I check here that the values are physically meaningful?
}

float m() const
{
// Should I handle the degenerate case here?
return sqrt(x * x + y * y + z * z - e * e);
}

???
};