C++ 一些特性

1、  初始化列表std::initializer_list,头文件<initializer_list>

C++11提供了模板类template<class T> class initializer_list，可将其用于构造函数的参数，如果类有接受initializer_list作为参数的构造函数，则初始化列表语法就只能用于该构造函数。列表中的元素必须是同一种类型或可转换为同一种类型。除了可以用于构造函数外，还可将initializer_list用作常规函数的参数。用法如下

int sum(const std::initializer_list<int> &list)

{

int sum = 0;

for (auto it = list.begin(); it < list.end(); it++)

{

sum = sum + *it;

}

return sum;

}

int _tmain(int argc, _TCHAR* argv[])

{

int s = sum({ 1, 2, 3, 4 });

std::cout << s << std::endl;

return 0;

}

 
 
2、  C++提供了多种简化声明的功能，尤其在使用模板时。

C++11将auto用于实现自动类型推断。

auto num = 10;//num is type int

同时还可以简化模板。

for (auto it = list.begin(); it < list.end(); it++)

关键字decltype将变量的类型声明为表达式指定的类型，下面的语句的含义是，让y的类型与x相同，其中x是一个表达式。

decltype（x）y;

返回类型后置，即在函数名和参数列表后面指定返回类型。如下所示：

double f1(double, int);

auto f2(double, int) -> double;

这样就能解决在编译器遇到参数列表之前，T和U还不在作用域内，因此必须在参数列表后使用decltype。

template<typename T,typename U>

auto f3(T, U) ->decltype(T*U);

3、

在函数后noexcept来指出函数不会发生异常。

void get() noexcept;

在函数前加上explicit解决自动类型转换的问题。

explicit Test(double);//指定只能是double值，像int值就不行

关键字delete可用于禁止编译器使用特定方法。

关键字default只能用于6个特殊函数，可以显示地声明这些方法的默认版本。

虚函数说明符override指出你要覆盖一个虚函数，将其放在参数列表后面。这样，如果参数类型不对，编译器就会报错。

说明符final禁止派生类覆盖特定的虚方法。

4、  lambda表达式

int count = 6;

[&count](int x){count += (x % 13); };

lambda表达式对提使用函数谓词的STL算法来说尤其如此。

什么是函数谓词？函数谓词是一个判断式，一个返回bool值的函数/函数符/lambda函数。

我们以计算一个vector<int>中有多少个被3整除的数为例，使用标准模板库中count_if函数：

函数指针：

bool f3(int x){ return x % 3 == 0; }

vector<int> temp = { 1, 2, 3, 4, 5, 6 };

count = count_if(temp.begin(), temp.end(), f3);

函数符( 它是一个类对象，重载了操作符() )：

class f_mode

{

private:

int dv;

public:

f_mode(int d = 1) :dv(d){}

bool operator()(int x) { return x % 3 == 0;}

};

f_mode f4(3);

bool result = f4(7);//返回7%3 == 0, 即返回false

vector<int> temp = { 1, 2, 3, 4, 5, 6 };

count = count_if(temp.begin(), temp.end(), f4);

最后是使用lambda的情况，在C++11中对于接受函数指针或函数符的函数，可使用匿名函数定义(lambda)作为其参数。

[](int x){return x%3 == 0;}

这与函数f3很像

bool f3(int x){ return x % 3 == 0; }

使用[]替代了函数名(这就是匿名的由来);没有声明返回类型。返回类型相当于使用decltype根据返回值推断得到的，这里为bool。如果lambda不包含返回语句，推断出的返回类型为void。就当前这个示例而言，可以写成如下：

vector<int> temp = { 1, 2, 3, 4, 5, 6 };

count = count_if(temp.begin(), temp.end(),[](int x){return x%3 == 0;});

仅当lambda表达式完全由一条返回语句组成时，自动类型推断才管用；否则需要使用新增的返回类型后置语法:

[](double x)->double{int y=x;return x-y;}

我们在使用时，如果想重复使用一个lambda，那我们可以为这个lambda指定一个名称，这样就不用编写多次lambda了。

auto f5 = [](int x){return x%3 == 0;}

vector<int> temp = { 1, 2, 3, 4, 5, 6 };

count = count_if(temp.begin(), temp.end(),f5);

也可以直接当成函数来使用：

bool result = f5(13);

lambda还有一些额外的功能。lambda可访问作用域内的任何动态变量；要捕获要使用的变量，可将其名称放在中括号内。如果只指定了变量名[z]，将按值访问变量；如果在名称前加上引用[&count]，将按引用访问变量。[&]让您能够按引用访问所有动态变量，[=]让您能够按值访问所有动态变量，还能混合使用，[&, ted]让你能够按值访问ted，按引用访问其他所有动态变量。