C++ 2.0 新特性语言特性

最新推荐文章于 2023-09-13 11:42:38 发布

SimonxxSun

最新推荐文章于 2023-09-13 11:42:38 发布

阅读量913

点赞数

分类专栏： STL

本文链接：https://blog.csdn.net/SimonxxSun/article/details/86493203

版权

STL 专栏收录该内容

10 篇文章 2 订阅

订阅专栏

只谈新东西

C++ 2.0 新特性包括语言特性和标准库两个层面，后者以头文件形式呈现的。

标准库的东西全部都放在名称空间 std 中。

一、可变参数模板 Variadic template

统一的初始化

explicit 接收多个参数时的构造函数

一、可变参数模板 Variadic template

创建可变参数模板，需要理解几个要点：

模板参数包 template<typename... Types>
函数参数包 void show_list(Types... args)
展开参数包 args...
递归 show_list(args...)

#include<iostream>
#include<string>

//definition for 1 parameters -- terminating call
template<typename T>
void show_list(T value) 
{
    std::cout << value << "\n";
};

//definition for more parameters
template<typename T, typename... Args>         $$$$$$$$$$$
void show_list(T value, Args... args)          $$$$$$$$$$$
{
    std::cout<< value << " ";
    show_list(args...);
}

int main()
{
    int n = 14;
    double x = 2.71828;
    std:: string mr = "Mr. String objects!";
    show_list(n,x);
    show_list(x*x,'1',7,mr);
    return 0;
}

模板参数包 Args 基本上是一个类型列表，函数参数包 args 基本上是一个值列表。

如需要知道当前函数参数包内的参数个数，可以使用 sizeof...(args)。

将省略号放在函数参数包名的右边，实现将参数包展开：show_list(args...) —> show_list(5，'L'，0.5)。

展开与递归的核心理念是：对列表的第一项进行处理，再将余下的内容传递给递归调用，以此类推，直到列表为空。实现这种思想的主要语句如下：

template<typename T，typename... Args>
void show_list(T value，Args... args) {
。。。
show_list(args...)； }

每次迭代调用，只处理一个参数，参数列表就会减少一项，余下的类型和值，分别被包装到 Args 和 args 中，给下一次迭代调用。

改进：当前的的版本按值传递一切。对于这里使用的简单类型来说没有问题，但是如果函数要处理的是大型的类的话，这样做的效率就会很低。在可变参数模板中，可指定展开模式，可将下述代码：

show_list(Args... args) ；替换为如下代码：

show_list(const Args&... args)；这将对每个函数参数应用模式 const&。这样，最后分析的参数将不是 std::string mr，而是 const std::string& mr。

例1：

PRINT_TUPLE 通过①递归调用自己：通过 get(IDX)(t) 先取出 tuple 的参数，然后再通过下标 IDX +1是否与 MAX 相等来判断是否到达末尾。

通过②特化调用到最后一个的情况，结束递归。

例2：可变参数模板递归的继承：tuple

例3：可变参数模板递归的复合（内含）:

每一个 tup 对象里面都包含一个少一个元素的子对象。

统一的初始化

vector<string> cities {"Berlin","New York","London","Cairo","Cologne","Braunschweig"};

其实是利用一个事实：编译器看到 {t1,t2,,,,,,tn} 便做出一个 initializer_list<T>，它关联至一个 array<T,n>。

explicit 接收多个参数时的构造函数

explicit 明确的，要求编译器不能做隐式的自动类型转换（如将一个 int 转换为一个特定的类对象）。

class P
{
public:
    P(int a, int b)
    {
        cout<< "P(int a, int b) \n";
    }

    P(initializer_list<int>)
    {
        cout<<"P(initializer_list<int>) \n";
    }

    explicit P(int a, int b, int c)
    {
        cout<<"explicit P(int a, int b, int c) \n";
    }
};
void fp(const P&) {};


//test

P p1 = {77, 5, 42};             //Error! converting to 'P' from initializer list would use explicit constructor
P p2 (77， 5， 42);             //explicit P(int a, int b, int c)
fp( P{47, 11} );                //Error! converting to 'const P' from initializer list would use explicit constructor

default 与 delete

构造函数可以有多个，所以在提供了默认构造函数的情况下也可以用 default 去生成编译器默认的那个构造函数。

拷贝构造函数只有一个不能重载，自己定义了后就不能再生成 default copy constructor。

模板的模板参数

想要处理的问题：一个函数接收两个参数，一个容器类型的对象和一个数据类型的对象，在这个函数中实现创建这种数据类型的容器并 insert 数据。

1.要解决这个问题所采用的常规思路，传入一个所需数据类型的临时对象，利用iterator_traits::value_type得到数据的类型。

2.使用模板的模板参数

template <class T，template<class T> class Container> 作为模板参数

需要用到模板别名特性：using itType = std::vector<T，allocator<T>>

noexpect 设置不抛出异常

通常用在移动构造函数与移动赋值运算符函数声明的后面，当其所放入的容器是 vector 或者 deque 时（这两个容器涉及内存不够时的容器成长过程），必须要给 move constructor 和 move operator 加上 noexpect。

lambda 函数

使用情形：

lambda 函数，允许定义为一个 inline function，可以用来作为一个参数或者函数对象使用，不带名称。
与之前的函数对象不同，加上 ( ) 不代表生成临时对象，而是代表直接调用 lambda 函数。可将编写的 lambda 函数赋值给一个 auto I 对象，调用时就用 I () 。

[...] 导入符号，可填入要取用的外部变量，可设置参数传递或者引用传递
(...) 参数列表 {...} 函数本体
mutable 可改变的 hrowspec 允许抛出异常
—>retype 用箭头指出返回类型，返回类型后置语法
仅当 lambda 表达式完全由一条返回语句组成时，自动类型推断才管用；否则，需要使用新增的返回类型后置语法 例：[ ] (double x) -> double { int y = x ; return x - y ;} //return type is double

与 Functor 函数对象n的等效

按顺序编译时 id = 0 已经传入 f() 了，作为形参已经被保存起来了。
如果没写 mutable，那么 id 确实不能++。

[...]中按值传递与按引用传递的对比：

//等效
int tobefound = 5;
auto lambda1 = [tobefound](int val) {return val == tobefound;}

class LocalFunc
{
    int lvar;
public:
    LocalFunc(int var) : lvar(var) {};
    bool operator() (int val)
    {return val == lval;}
}
LocalFunc lambda2(tobefound);

bool b1 = lambda1(5);
bool b2 = lambda2(5);

SimonxxSun

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
C++ 2.0 新特性语言特性

只谈新东西C++ 2.0 新特性包括语言特性和标准库两个层面，后者以头文件形式呈现的。标准库的东西全部都放在名称空间 std 中。目录一、可变参数模板 Variadic template统一的初始化explicit 接收多个参数时的构造函数default 与 delete模板的模板参数noexpect 设置不抛出异常lambda 函数使用...
复制链接

扫一扫