merlinzjl

导航

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,按引用访问其他所有动态变量。

posted on 2019-02-12 23:05  merlinzjl  阅读(141)  评论(0编辑  收藏  举报