C++ Core Guidelines 笔记01

CppCoreGuidelines

由C++原作者发起的一个modern C++ guidelilne. 在这里,配套的github页面在这里

CppCoreGuidelines 配套一组 Guideline Support Library,源码位于这里

我只记录了对自己有启发的内容。笔记中的大部分代码片段是复制于原文,我自己增加的代码片段会标注清楚。

P.1 Express ideas directly in code.

class Date {
public:
    Month month() const;  // do
    int month();          // don't
    // ...
};

所以,推荐的做法是利用type对所有可能的概念进行建模。例如不用一个primitive类型int来表示月份,而用一个专门的Month类。但是这样做需要实现Month的一些运算用的接口,例如加法,减法。

change_speed(Speed s);    // better: the meaning of s is specified
// ...
change_speed(2.3);        // error: no unit
change_speed(23m / 10s);  // meters per second

这里推荐我们实际使用value literal,也就是像23m,10s一样的实现。

P.1 tips

使用gsl::index而不是int

P.3 Express intent

我理解的是在一段scope的开始,或者开始阶段,最好能够尽可能的指明接下来一段scope要进行的事。
不推荐的示例->

gsl::index i = 0;
while (i < v.size()) {
    // ... do something with v[i] ...
}

原文认为i在scope外,没有必要。只看while的开头部分,没有对接下来要发生的循环提供更多信息。循环是为了做和v无关的事,还是要访问v,修改v?下面的代码有略微清楚的intent:我们要访问v中的所有元素,但不修改这些元素。
推荐的示例->

for (const auto& x : v) { /* do something with the value of x */ }

也可以尝试使用for_each

对于参数列表,有点类似于 P.1 ,定义专门的类。

draw_line(int, int, int, int);  // obscure
draw_line(Point, Point);        // clearer

原文强调,如果发生如下情况,很可能是函数设计的不够好。
functions with many parameters of built-in types

P3 and P5 tips

使用gsl中的span来代替指针和size的组合。

void read(span<int> r); // read into the range of integers r

int a[100];
read(a);        // better: let the compiler figure out the number of elements

P.6 What cannot be checked at compile time should be checkable at run time

extern void f4(vector<int>&);   // separately compiled, possibly dynamically loaded
extern void f4(span<int>);      // separately compiled, possibly dynamically loaded
                                // NB: this assumes the calling code is ABI-compatible, using a
                                // compatible C++ compiler and the same stdlib implementation

void g3(int n)
{
    vector<int> v(n);
    f4(v);                     // pass a reference, retain ownership
    f4(span<int>{v});          // pass a view, retain ownership
}

原文说上述示例至少让f4有check范围(size or boundness)的可能。
下面代码是两个例子拼成的。

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

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

此时increment2有能力进行范围检查,use3不会因为混淆n和m造成问题。

P.9 Don’t waste time or space

这里的示例没有解释特别细致。我理解到的指导意见是需要local copy时,尽量不要使用new delete pair,这在其他guideline里也有提到。但是这并不是因为效率问题,应该是为了防止leak。原文提到了struct内部变量声明的次序会引起空间浪费,这个在以前看到过但是并不记得正确的处理方法,一下也查不到其他guideline。

不要像下述代码片段一样在for循环中使用类似size()的函数除非size()真的会返回变化的数值。

void lower(zstring s)
{
    for (int i = 0; i < strlen(s); ++i) s[i] = tolower(s[i]);
}
展开阅读全文
©️2020 CSDN 皮肤主题: 大白 设计师: CSDN官方博客 返回首页
实付0元
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值