对于静态类型语言来说,类型可谓是语言最核心的部分,C++也不例外。
初始化列表
初始化列表(initializer_list)参数由花括号 {} 包裹的参数组成,如
// 求和函数
int sum(initializer_list<int> lst) {
int total = 0;
for (auto val : lst) {
total += val;
}
return total;
}
// 函数调用
sum({1, 2, 3, 4, 5});
统一初始化
C++11统一初始化建立在初始化列表之上,编译器在看到初始化列表 initializer_list 后会将其中的参数取出,依次赋值给参数列表,如
class MyClass {
public:
MyClass(int a, float b) {}
};
MyClass myClass{10, 10.0f};
// 基本类型初始化
int i{1};
double d{1.0};
float f{1.01}; // !Error, double -> float
统一初始化除了多态(基类指针指向子类对象实例),要求值与类型完全匹配,参数不允许出现截断,如不允许使用 int 初始化 char 类型。
类型推导
可能很多程序员都受够了C++标准模板库的迭代器名称,当类型比较复杂时,代码又臭又长,但又无可奈何,如
std::map<std::string, std::vector<std::shared_ptr<MyClass>>>::iterator iter;
C++11中的类型推导可以帮我们解决这些麻烦的输入过程,让编译器自己推导变量的类型,如
auto myiter = mymap.begin();
C++14还加入了返回值类型推导,如
auto add(int a, int b) {
return a + b;
}
特别注意,auto 关键字会去除引用和 const 限定符,因此需要时必须手动添加,如
const string message = "helle";
const string &getString() {
return message;
}
// 去除引用和 const 限定符
auto s1 = getString();
s1[0] = 'H';
decltype 关键字用于声明与给定类型相同的类型,且不会修改类型限定符,如
string s1 = "my string";
// 声明与变量 s1 相同的类型
decltype(s1) s2 = "my string 2";
decltype(auto) s2 = getString();
s2[0] = 'H'; // !Error, decltype 不会去除限定符
decltype 关键字在元编程中使用广泛,在此这个章节中不再详细陈述。
类型别名
C++中定义变量,需要先声明其类型,对于一些复杂的类型,可能难以书写和阅读,C++11之前,我们通常使用 typedef 关键字来定义一个类型的别名,如
typedef std::map<int, std::string> MyMap;
C++11中的 using 指令,也可以用来定义类型别名,与 typedef 的效果完全一致,如
// int 指针的别名
using IntPtr = int*;
// vector 别名
using StringVector = std::vector<std::string>;
// 函数指针别名
using MatchFunction = bool (*)(int, int);
// 成员函数指针
using MemberPtr = int (Empolyee::*)() const;
// 成员函数指针赋值
MemberPtr methodPtr = &Empolyee::getName;
// 调用成员函数,需要指定调用的对象
Empolyee empolyee;
(empolyee.*methodPtr)()
既然功能 typedef 与一致,C++11为何要增加 using 别名呢,这是因为 typedef 缺失了一个重要的特性,如上例代码中的 map,如果我们只想指定 key 的类型,让 value 的类型待定,很遗憾,typedef 做不到。
using 可以帮助我们完成这项任务,熟悉C++的小伙伴们可能会觉得眼熟,这个特性和模板的偏特化特别像,如下代码
// 我们指定 key 为 int,让 value 类型待定
template<T> using MyMap = std::map<int, T>;
// 通过别名定义 std::map<int, std::string> 变量
MyMap<std::string> mymap;