文章

C++ 零食铺

类型修饰符

decltype 类型指示符

decltype 即 declare type,译为“声明类型“。decltype 是为了解决这样的场景:根据表达式的类型推断出想要定义的变量的类型,但并不使用表达式的值去初始化这个变量,即灵活定义变量的类型。

例如,

1
2
3
4
const int ci = 0, &cj = ci;
decltype(ci) x = 0;     // x 的类型是 const int
decltype(cj) y = x;     // y 的类型是 const int&, 并且 y 绑定到变量 x
decltype(cj) z;     // 错误用法。z 和 y 都是引用类型,因此必须初始化

如果 decltype 使用的表达式不是一个变量,比如函数,那么 decltype 将使用表达式的结果对应的类型。

推导规则:

  • 如果 exp 是一个不被括号( )包围的表达式,或者是一个类成员访问表达式,或者是一个单独的变量,那么 decltype(exp) 的类型就和 exp 一致,这是最普遍最常见的情况。
  • 如果 exp 是函数调用,那么 decltype(exp) 的类型就和函数返回值的类型一致。
  • 如果 exp 是一个左值,或者被括号( )包围,那么 decltype(exp) 的类型就是 exp 的引用;假设 exp 的类型为 T,那么 decltype(exp) 的类型就是 T&。

例如,

1
2
3
int i = 0;
decltype((i)) d;    // 错误用法。d 是 int& , 必须被初始化
decltype(i) e; // 正确。e 是 int

注意:decltype((variable))(注意是双层括号)的结果永远是引用,而 decltype(variable) 的结果只有当 variable 本身是一个引用时才是引用。

参考:《C++ Primer》、http://c.biancheng.net/view/7151.html

标准库函数 begin 和 end

为了让数组的指针使用更加简单,C++11 引入了 beginend 函数(注意不是 vectorbegin/end )。这两个函数使用数组作为它们的参数,分别返回 指向数组首元素的指针 以及 指向数组尾元素下一位置的指针。 注意,end 返回的不是数组尾元素的指针。

1
2
3
4
5
6
7
8
9
10
int arr[] = {0, 1};
int *p = arr;
cout << std::begin(arr) << endl;
cout << std::end(arr) << endl;
cout << (++p) << endl;

// 输出
0x16f693390
0x16f693398
0x16f693394

++p 指向数组 arr 第二个元素,也是数组的尾元素,地址为首元素地址加4;而 end(arr) 返回的是数组尾元素的下一位位置的元素,所以地址是尾元素地址加4。

利用 beginend 能够很快地写出数组遍历操作:

1
2
3
4
5
int arr[10] = {0};
int *pbeg = begin(arr), *pend = end(arr);
while (pbeg != pend && *pbeg >= 0) {
    ++pbeg;
}

代码规范

不应在头文件中包含 using 声明

如果在头文件 A 中使用了 using 声明,那么每个使用了 A 的文件都会带有这个声明,可能会导致命名空间冲突。

本文由作者按照 CC BY-NC-SA 4.0 进行授权