C++11

auto 变量类型推导

变量/表达式类型推导,C++11引入了autodecltype关键字,使用他们可以在编译期就推导出变量或者表达式的类型,方便开发者编码也简化了代码。

  • auto:让编译器在编译期就推导出变量的类型,可以通过=右边的类型推导出变量的类型。
auto a = 10; // 10是int型,可以自动推导出a是int

decltype 表达式类型推导

  • decltype:相对于auto用于推导变量类型,而decltype则用于让编译器在编译期就推导表达式类型,这里只用于编译器分析表达式的类型,表达式实际会进行运算
cont int &i = 1;
int a = 2;
decltype(i) b = 2; // b是const int&

关于auto和decltype的详细介绍请看:一文吃透C++11中auto和decltype知识点

左值右值

众所周知C++11新增了右值引用,这里涉及到很多概念:

  • 左值:可以取地址并且有名字的东西就是左值。
  • 右值:不能取地址的没有名字的东西就是右值。
  • 纯右值:运算表达式产生的临时变量、不和对象关联的原始字面量、非引用返回的临时变量、lambda表达式等都是纯右值。
  • 将亡值:可以理解为即将要销毁的值。
  • 左值引用:对左值进行引用的类型。
  • 右值引用:对右值进行引用的类型。
  • 移动语义:转移资源所有权,类似于转让或者资源窃取的意思,对于那块资源,转为自己所拥有,别人不再拥有也不会再使用。
  • 完美转发:可以写一个接受任意实参的函数模板,并转发到其它函数,目标函数会收到与转发函数完全相同的实参。
  • 返回值优化:当函数需要返回一个对象实例时候,就会创建一个临时对象并通过复制构造函数将目标对象复制到临时对象,这里有复制构造函数和析构函数会被多余的调用到,有代价,而通过返回值优化,C++标准允许省略调用这些复制构造函数。

这里的详细介绍请看:左值引用、右值引用、移动语义、完美转发,你知道的不知道的都在这里

列表初始化

在C++11中可以直接在变量名后面加上初始化列表来进行对象的初始化,详细介绍一定要看这篇文章:学会C++11列表初始化

std::function对象

类模版std::function是一种通用、多态的函数封装。std::function的实例可以对任何可以调用的目标实体进行存储、复制、和调用操作,这些目标实体包括普通函数、Lambda表达式、函数指针、以及其它函数对象等。std::function对象是对C++中现有的可调用实体的一种类型安全的包裹(我们知道像函数指针这类可调用实体,是类型不安全的)。

通常std::function是一个函数对象类,它包装其它任意的函数对象,被包装的函数对象具有类型为T1, …,TN的N个参数,并且返回一个可转换到R类型的值。std::function使用 模板转换构造函数接收被包装的函数对象;特别是,闭包类型可以隐式地转换为std::function。

最简单的理解就是:

通过std::function对C++中各种可调用实体(普通函数、Lambda表达式、函数指针、以及其它函数对象等)的封装,形成一个新的可调用的std::function对象;让我们不再纠结那么多的可调用实体。

//代码出自链接:http://www.jellythink.com/archives/771
#include <functional>
#include <iostream>
using namespace std;

// 普通函数
int TestFunc(int a) {
    return a;
}

// Lambda表达式
auto lambda = [](int a) -> int { return a; };

// 仿函数(functor)
class Functor {
  public:
    int operator()(int a) {
        return a;
    }
};

// 1.类成员函数
// 2.类静态函数
class TestClass {
  public:
    int ClassMember(int a) {
        return a;
    }
    static int StaticMember(int a) {
        return a;
    }
};

// function对象
std::function<int(int)> Functional;

int main() {
    // 普通函数
    Functional = TestFunc;
    int result = Functional(10);
    cout << "普通函数:" << result << endl;

    // Lambda表达式
    Functional = lambda;
    result = Functional(20);
    cout << "Lambda表达式:" << result << endl;

    // 仿函数
    Functor testFunctor;
    Functional = testFunctor;
    result = Functional(30);
    cout << "仿函数:" << result << endl;

    // 类成员函数
    TestClass testObj;
    Functional = std::bind(&TestClass::ClassMember, testObj, std::placeholders::_1);
    result = Functional(40);
    cout << "类成员函数:" << result << endl;

    // 类静态函数
    Functional = TestClass::StaticMember;
    result = Functional(50);
    cout << "类静态函数:" << result << endl;

    return 0;
}

注意的事项:

关于可调用实体转换为std::function对象需要遵守以下两条原则:

  • 转换后的std::function对象的参数能转换为可调用实体的参数;
  • 可调用实体的返回值能转换为std::function对象的返回值。

std::function对象最大的用处就是在实现函数回调(实际工作中就是用到了这一点),使用者需要注意,它不能被用来检查相等或者不相等,但是可以与NULL或者nullptr进行比较。

为什么要用std::function

std::function实现了一套类型消除机制,可以统一处理不同的函数对象类型。以前我们使用函数指针来完成这些;现在我们可以使用更安全的std::function来完成这些任务。

std::bind

lambda表达式

c++11新增了std::function、std::bind、lambda表达式等封装使函数调用更加方便,详细介绍请看:搞定c++11新特性std::function和lambda表达式

模板的改进

C++11关于模板有一些细节的改进:

  • 模板的右尖括号
  • 模板的别名
  • 函数模板的默认模板参数

详细介绍请看:C++11的模板改进

并发

c++11关于并发引入了好多好东西,有:

  • std::thread相关
  • std::mutex相关
  • std::lock相关
  • std::atomic相关
  • std::call_once相关
  • volatile相关
  • std::condition_variable相关
  • std::future相关
  • async相关

详细介绍请看:c++11新特性之线程相关所有知识点

这里也使用c++11来实现的线程池和定时器,可以看:

C++线程池的实现之格式修订版

C++定时器的实现之格式修订版

智能指针

很多人谈到c++,说它特别难,可能有一部分就是因为c++的内存管理吧,不像java那样有虚拟机动态的管理内存,在程序运行过程中可能就会出现内存泄漏,然而这种问题其实都可以通过c++11引入的智能指针来解决,相反我还认为这种内存管理还是c++语言的优势,因为尽在掌握。

c++11引入了三种智能指针:

  • std::unique_ptr
  • std::shared_ptr
  • std::weak_ptr

详细介绍请看:c++11新特性之智能指针

for遍历容器

// c++11之前,迭代器遍历 
for (auto iter = vec.begin(); iter != vec.end(); iter++) {   
    cout << *iter << endl;
}
// c++11基于范围的for循环
for (int i : vec) { 
    cout << "i" << endl;
}

委托构造函数

委托构造函数允许在同一个类中一个构造函数调用另外一个构造函数,可以在变量初始化时简化操作,(类似初始化表里调用构造函数?)

class A { A(int a) { a = a; } ==A(int a, int b) : A(a)=={ b = b; } }

不使用委托构造函数:

class A {
   A(){}
   A(int a) { a_ = a; }

   A(int a, int b) { // 好麻烦
       a_ = a;
       b_ = b;
  }

   A(int a, int b, int c) { // 好麻烦
       a_ = a;
       b_ = b;
       c_ = c;
  }

   int a_;
   int b_;
   int c_;
};

使用委托构造函数:

class A {
   A(){}
   A(int a) { a_ = a; }

    // 委托构造
   A(int a, int b) : A(a) { 
   b_ = b; 
   }

    // 委托构造
   A(int a, int b, int c) : A(a, b) { 
   c_ = c; 
   }

   int a_;
   int b_;
   int c_;
};

初始化变量是不是方便了许多。

继承构造函数

继承构造函数可以让派生类直接使用基类的构造函数,如果有一个派生类,我们希望派生类采用和基类一样的构造方式,可以直接使用基类的构造函数,而不是再重新写一遍构造函数。

只需要使用using Base::Base继承构造函数,就免去了很多重写代码的麻烦。

class Derived : Base { ==using Base::Base;== //子类继承构造函数 };

不使用继承构造函数:

struct Base {
   Base() {}
   Base(int a) { a_ = a; }
   Base(int a, int b) : Base(a) { b_ = b; }
   Base(int a, int b, int c) : Base(a, b) { c_ = c; }

   int a_;
   int b_;
   int c_;
};

struct Derived : Base {
   Derived() {}
   Derived(int a) : Base(a) {} // 好麻烦
   Derived(int a, int b) : Base(a, b) {} // 好麻烦
   Derived(int a, int b, int c) : Base(a, b, c) {} // 好麻烦
};
int main() {
   Derived a(1, 2, 3);
   return 0;
}

使用继承构造函数:

struct Base {
   Base() {}
   Base(int a) { a_ = a; }
   Base(int a, int b) : Base(a) { b_ = b; }
   Base(int a, int b, int c) : Base(a, b) { c_ = c; }

   int a_;
   int b_;
   int c_;
};

struct Derived : Base {
   using Base::Base;
};

int main() {
   Derived a(1, 2, 3);
   return 0;
}

nullptr

nullptr是c++11用来表示空指针,新引入的常量值,在c++中如果表示空指针语义时建议使用nullptr而不要使用NULL,因为NULL本质上是个int型的0,其实不是个指针。

void func(void *ptr) {
   cout << "func ptr" << endl;
}

void func(int i) {
   cout << "func i" << endl;
}

int main() {
   func(NULL); // 编译失败,会产生二义性
   func(nullptr); // 输出func ptr
   return 0;
}

final

c++11关于继承新增关键字,final用于修饰一个,表示禁止该类进一步派生虚函数的进一步重载

final用于修饰一个类

class Base ==final== {};

struct Base final {
   virtual void func() {
       cout << "base" << endl;
  }
};

struct Derived : public Base{ // 编译失败,final修饰的类不可以被继承
   void func() override {
       cout << "derived" << endl;
  }
};

override

c++11关于继承新增关键字,override用于修饰派生类中的成员函数标明该函数重写了基类函数,如果一个函数声明了override但父类却没有这个虚函数,编译报错,使用override关键字可以避免开发者在重写基类函数时无意产生的错误。

override修饰派生类中的成员函数

void mfunc() ==override== { …}

struct Base {
   virtual void func() { // 虚函数
       cout << "base" << endl;
  }
};

struct Derived : public Base{
    // override 标明重写了基类函数
   void func() override { // 确保func被重写
       cout << "derived" << endl;
  }

   void fu() override { // error,基类没有fu(),不可以被重写

  }
};

default

c++11引入default特性,default生成默认能自动生成的特殊成员函数。

多数时候用于声明构造函数为默认构造函数,如果类中有了自定义的构造函数,编译器就不会隐式生成默认构造函数,如下代码:

struct A {
   A(int i) { a = i; }
   int a;
};

int main() {
   A a; // 编译出错
   return 0;
}

上面代码编译出错,因为没有匹配的构造函数,因为编译器没有生成默认构造函数,而通过default,程序员只需在函数声明后加上“=default;”,就可将该函数声明为 default 函数,编译器将为显式声明的 default 函数自动生成函数体,显式生成默认构造函数,如下:

struct A {
   A() = default; //显式声明自动生成默认构造函数
   A(int i) { a = i; }
   int a;
};

int main() {
   A a; // ok
   return 0;
}

delete

delete 禁用默认能自动生成的特殊成员函数。

c++中,如果开发人员没有定义特殊成员函数,那么编译器在需要特殊成员函数时候会隐式自动生成一个默认的特殊成员函数,例如拷贝构造函数或者拷贝赋值操作符,如下代码:

struct A {
   A() = default;
   int a;
   A(int i) { a = i; }
};

int main() {
   A a1;
   A a2 = a1;  // 正确,调用编译器隐式生成的默认拷贝构造函数
   A a3;
   a3 = a1;  // 正确,调用编译器隐式生成的默认拷贝赋值操作符
}

而我们有时候想禁止对象的拷贝赋值,可以使用delete修饰,如下:

struct A {
   A() = default;
   A(const A&) = delete;
   A& operator=(const A&) = delete;
   int a;
   A(int i) { a = i; }
};

int main() {
   A a1;
   A a2 = a1;  // 错误,拷贝构造函数被禁用
   A a3;
   a3 = a1;  // 错误,拷贝赋值操作符被禁用
}

delele函数在c++11中很常用,std::unique_ptr就是通过delete修饰来禁止对象的拷贝的。

explicit

explicit专用于修饰构造函数,表示只能显式构造,可以被隐式转换

不用explicit:

struct A {
   A(int value) { // 没有explicit关键字
       cout << "value" << endl;
  }
};

int main() {
   A a = 1; // 可以隐式转换
   return 0;
}

使用explicit:

struct A {
   explicit A(int value) { // explicit关键字
       cout << "value" << endl;
  }
};

int main() {
   A a = 1; // error,不可以隐式转换
   A aa(2); // ok
   return 0;
}

const

因为要讲后面的constexpr,所以这里简单介绍下const。

const字面意思为只读,可用于定义变量,表示变量是只读的,不可以更改,如果更改,编译期间就会报错。

主要用法如下:

  1. 常变量,用于定义常量,const的修饰的变量不可更改。

    const int value = 5;
    
  2. 指针常量——指针类型的常量(int const p) 指针也可以使用const,这里有个小技巧,从右向左读,即可知道const究竟修饰的是指针还是指针所指向的内容。指针常量和常量指针 本质上一个常量,指针用来说明常量的类型,表示该常量是一个指针类型的常量。在指针常量中,指针自身的值是一个常量,不可改变,始终*指向同一个地址,但地址内容可以修改,在定义的同时必须初始化。用法如下:

    int a = 10, b = 20;
    int * const p = &a; // 指针本身是常量
    *p = 30; // p指向的地址是一定的,但其内容可以修改
    
  3. 常量指针——指向“常量”的指针(const int p, int const p) 常量指针本质上是一个指针,常量表示指针指向的内容,说明该指针指向一个“常量”。在常量指针中,指针指向的内容是不可改变的,指针看起来好像指向了一个常量。用法如下:

  4. int a = 10, b = 20;
    const int *p = &a; // 指针指向的变量为常量
    p = &b; // 指针可以指向其他地址,但是内容不可以改变
    
  5. 常引用,在函数参数中使用const,一般会传递类对象时会传递一个const的引用或者指针,这样可以避免对象的拷贝,也可以防止对象被修改。

    class A{};void func(const A& a);
    
  6. 常成员变量,const修饰类的成员变量,表示是成员常量,不能被修改,可以在初始化列表中被赋值

    class A {
        const int m_value = 5; // 直接赋值
    };
    
    class B {
        B(int v) : m_value(v){} //初始化表赋值
    
        const int m_value;
    };
    
  7. 常成员函数,修饰类成员函数,表示在该函数内不可以修改该类的成员变量。

    class A{
    void func() const;
    };
    
  8. 常对象,修饰类对象,类对象只能调用该对象的const成员函数。

    class A {
        void func() const;
    };
    
    const A a;
    a.func();
    

constexpr

constexpr是c++11新引入的关键字,用于编译时的常量和常量函数,这里直接介绍constexpr和const的区别:

两者都代表可读,const只表示read only的语义,只保证了运行时不可以被修改,但它修饰的仍然有可能是个动态变量,而 constexpr修饰的才是真正的常量,它会在编译期间就会被计算出来,整个运行过程中都不可以被改变,constexpr可以用于修饰函数,这个函数的返回值会尽可能在编译期间被计算出来当作一个常量,但是如果编译期间此函数不能被计算出来,那它就会当作一个普通函数被处理。如下代码:

#include<iostream>
using namespace std;

constexpr int func(int i) {
   return i + 1;
}

int main() {
   int i = 2;
   func(i);// 普通函数
   func(2);// 编译期间就会被计算出来
}

enum class

c++11新增有作用域枚举类型,看代码

不带作用域的枚举代码:

enum AColor {
   kRed,  // 0
   kGreen,
   kBlue
};

enum BColor {
   kWhite,  // 0
   kBlack,
   kYellow
};

int main() {
   if (kRed == kWhite) { // 
       cout << "red == white" << endl;
  }
   return 0;
}

如上代码,不带作用域的枚举类型可以自动转换成整形,且不同的枚举可以相互比较,代码中的红色居然可以和白色比较,这都是潜在的难以调试的bug,而这种完全可以通过有作用域的枚举来规避。

有作用域的枚举代码:

enum class AColor {
   kRed,
   kGreen,
   kBlue
};

enum class BColor {
   kWhite,
   kBlack,
   kYellow
};

int main() {
   if (AColor::kRed == BColor::kWhite) { // 编译失败
       cout << "red == white" << endl;
  }
   return 0;
}

使用带有作用域的枚举类型后,对不同的枚举进行比较会导致编译失败,消除潜在bug,

同时带作用域的枚举类型可以选择底层类型,默认是int,可以改成char等别的类型。

enum class AColor : char {
   kRed,
   kGreen,
   kBlue
};

我们平时编程过程中使用枚举,一定要使用有作用域的枚举取代传统的枚举。

非受限联合体

c++11之前union中数据成员的类型不允许有非POD类型,而这个限制在c++11被取消,允许数据成员类型有非POD类型,看代码:

struct A {
   int a;
   int *b;
};

union U {
   A a; // 非POD类型 c++11之前不可以这样定义联合体
   int b;
};

对于什么是POD类型,大体上可以理解为对象可以直接memcpy的类型。

sizeof(类属性)

c++11中sizeof可以用的类的数据成员上,看代码:

sizeof(==A::m_data==)

c++11前:

struct A {
   int m_data[10];
   int a;
};

int main() {
   A a;
   cout << "size " << sizeof(a.m_data) << endl; //必须创建对象
   return 0;
}

c++11后:

struct A {
   int m_data[10];
   int a;
};

int main() {
   cout << "size " << sizeof(A::m_data) << endl; //不需要创建对象
   return 0;
}

想知道类中数据成员的大小在c++11中是不是方便了许多,而不需要定义一个对象,在计算对象的成员大小。

assertion

c++11引入static_assert声明,用于在编译期间检查,如果第一个参数值为false,则打印message,编译失败。

static_assert(true/false, message);

static_assert(true message);  // ok,没有输出
static_assert(false, message); // 报错,打印信息

自定义字面量

c++11可以自定义字面量,我们平时c++中都或多或少使用过chrono中的时间,例如:

std::this_thread::sleep_for(std::chrono::milliseconds(100)); // 100ms
std::this_thread::sleep_for(std::chrono::seconds(100)); // 100s

其实没必要这么麻烦,也可以这么写:

std::this_thread::sleep_for(100ms); // c++14里可以这么使用,这里只是举个自定义字面量使用的例子
std::this_thread::sleep_for(100s);

这就是自定义字面量的使用,示例如下:

struct mytype {
   unsigned long long value;
};
constexpr mytype operator"" _mytype ( unsigned long long n ) {
   return mytype{n};
}
mytype mm = 123_mytype;
cout << mm.value << endl;

关于自定义字面量,可以看下chrono的源代码。

内存对齐

什么是内存对齐

理论上计算机对于任何变量的访问都可以从任意位置开始,然而实际上系统会对这些变量的存放地址有限制,通常将变量首地址设为某个数N的倍数,这就是内存对齐。

为什么要内存对齐

  1. 硬件平台限制,内存以字节为单位,不同硬件平台不一定支持任何内存地址的存取,一般可能以双字节、4字节等为单位存取内存,为了保证处理器正确存取数据,需要进行内存对齐。
  2. 提高CPU内存访问速度,一般处理器的内存存取粒度都是N的整数倍,假如访问N大小的数据,没有进行内存对齐,有可能就需要两次访问才可以读取出数据,而进行内存对齐可以一次性把数据全部读取出来,提高效率。

在c++11之前如果想创建内存对齐需要:

void align_cpp11_before()
{
   static char data[sizeof(void *) + sizeof(A)];
   const uintptr_t kAlign = sizeof(void *) - 1;
   char *align_ptr =
       reinterpret_cast<char *>(reinterpret_cast<uintptr_t>(data + kAlign) & ~kAlign);
   A *attr = new (align_ptr) A;
}

c++11关于内存对齐新增了一些函数:

void align_cpp11_after()
{
   static std::aligned_storage<sizeof(A),alignof(A)>::type data;
   A *attr = new (&data) A;
}

还有:alignof()、std::alignment_of()、alignas(),关于内存对齐详情可以看这篇文章:内存对齐之格式修订版

thread_local 变量

c++11引入thread_local,用thread_local修饰的变量具有thread周期,每一个线程都拥有并只拥有一个该变量的独立实例,一般用于需要保证线程安全的函数中。

对于一个线程私有(局部)变量,一个线程拥有且只拥有一个该实例,类似于static,但仅限于当前线程。

#include <iostream>
#include <thread>

class A {
  public:
    A() {
    }

    void test(const std::string &name) {
        //! thread_local 每一个线程都拥有并只拥有一个该变量的独立实例
        thread_local int thLoc_count = 0; // 1 2 3 4 1 2 3 4
        // static int thLoc_count = 0; // 1 2 3 4 5 6 7 8
        // int thLoc_count = 0; // 1 1 1 1 1 1 1 1
        ++thLoc_count;
        std::cout << name << ": " << thLoc_count << std::endl;
    }
};

void func(const std::string &name) {
    A a1;
    a1.test(name + "_a1");
    a1.test(name + "_a1");
    std::cout << "...." << std::endl;
    A a2;
    a2.test(name + "_a2");
    a2.test(name + "_a2");
}

int main() {
    std::thread(func, "thread1").join();
    std::cout << "-----------" << std::endl;
    std::thread(func, "thread2").join();
    return 0;
}

输出:

thread1_a1: 1
thread1_a1: 2
....
thread1_a2: 3
thread1_a2: 4
-----------
thread2_a1: 1
thread2_a1: 2
....
thread2_a2: 3
thread2_a2: 4

验证上述说法,对于一个线程私有变量,一个线程拥有且只拥有一个该实例,类似于static。

基础数值类型

c++11新增了几种数据类型:long long、char16_t、char32_t等

随机数功能

c++11关于随机数功能则较之前丰富了很多,典型的可以选择概率分布类型,先看如下代码:

#include <time.h>
#include <iostream>
#include <random>

using namespace std;

int main() {
   std::default_random_engine random(time(nullptr));

   std::uniform_int_distribution<int> int_dis(0, 100); // 整数均匀分布
   std::uniform_real_distribution<float> real_dis(0.0, 1.0); // 浮点数均匀分布

   for (int i = 0; i < 10; ++i) {
       cout << int_dis(random) << ' ';
  }
   cout << endl;

   for (int i = 0; i < 10; ++i) {
       cout << real_dis(random) << ' ';
  }
   cout << endl;

   return 0;
}

输出:

38 100 93 7 66 0 68 99 41 7
0.232202 0.617716 0.959241 0.970859 0.230406 0.430682 0.477359 0.971858 0.0171148 0.64863

代码中举例的是整数均匀分布和浮点数均匀分布,c++11提供的概率分布类型还有好多,例如伯努利分布、正态分布等,具体可以见最后的参考资料。

正则表达式

c++11引入了regex库更好的支持正则表达式,见代码:

#include <iostream>
#include <iterator>
#include <regex>
#include <string>

int main() {
   std::string s = "I know, I'll use2 regular expressions.";
// 忽略大小写
   std::regex self_regex("REGULAR EXPRESSIONS", std::regex_constants::icase);
   if (std::regex_search(s, self_regex)) {
       std::cout << "Text contains the phrase 'regular expressions'\n";
  }

   std::regex word_regex("(\\w+)");  // 匹配字母数字等字符
   auto words_begin = std::sregex_iterator(s.begin(), s.end(), word_regex);
   auto words_end = std::sregex_iterator();

   std::cout << "Found " << std::distance(words_begin, words_end) << " words\n";

   const int N = 6;
   std::cout << "Words longer than " << N << " characters:\n";
   for (std::sregex_iterator i = words_begin; i != words_end; ++i) {
       std::smatch match = *i;
       std::string match_str = match.str();
       if (match_str.size() > N) {
           std::cout << " " << match_str << '\n';
      }
  }

   std::regex long_word_regex("(\\w{7,})");
   // 超过7个字符的单词用[]包围
   std::string new_s = std::regex_replace(s, long_word_regex, "[$&]");
   std::cout << new_s << '\n';
}

chrono 时间

c++11关于时间引入了chrono库,源于boost,功能强大,chrono主要有三个点:

  • duration
  • time_point
  • clocks

duration

std::chrono::duration表示一段时间,常见的单位有s、ms等,示例代码:

// 拿休眠一段时间举例,这里表示休眠100ms
std::this_thread::sleep_for(std::chrono::milliseconds(100));

sleep_for里面其实就是std::chrono::duration,表示一段时间,实际是这样:

typedef duration<int64_t, milli> milliseconds;
typedef duration<int64_t> seconds;

duration具体模板如下:

1 template <class Rep, class Period = ratio<1> > class duration;

Rep表示一种数值类型,用来表示Period的数量,比如int、float、double,Period是ratio类型,用来表示【用秒表示的时间单位】比如second,常用的duration已经定义好了,在std::chrono::duration下:

  • ratio<3600, 1>:hours
  • ratio<60, 1>:minutes
  • ratio<1, 1>:seconds
  • ratio<1, 1000>:milliseconds
  • ratio<1, 1000000>:microseconds
  • ratio<1, 1000000000>:nanosecons

ratio的具体模板如下:

template <intmax_t N, intmax_t D = 1> class ratio;

N代表分子,D代表分母,所以ratio表示一个分数,我们可以自定义Period,比如ratio<2, 1>表示单位时间是2秒。

time_point

表示一个具体时间点,如2020年5月10日10点10分10秒,拿获取当前时间举例:

std::chrono::time_point<std::chrono::high_resolution_clock> Now() {   
    return std::chrono::high_resolution_clock::now();}
// std::chrono::high_resolution_clock为高精度时钟,下面会提到

三种时钟

时钟,chrono里面提供了三种时钟:

  • steady_clock
  • system_clock
  • high_resolution_clock
steady_clock

稳定的时间间隔,表示相对时间,相对于系统开机启动的时间,无论系统时间如何被更改,后一次调用now()肯定比前一次调用now()的数值大,可用于计时。

system_clock

表示当前的系统时钟,可以用于获取当前时间:

int main() {
   using std::chrono::system_clock;
   system_clock::time_point today = system_clock::now();

   std::time_t tt = system_clock::to_time_t(today);
   std::cout << "today is: " << ctime(&tt);

   return 0;
}
// today is: Sun May 10 09:48:36 2020
high_resolution_clock

high_resolution_clock表示系统可用的最高精度的时钟,实际上就是system_clock或者steady_clock其中一种的定义,官方没有说明具体是哪个,不同系统可能不一样,之前看gcc chrono源码中high_resolution_clock是steady_clock的typedef。

更多关于chrono的介绍可以看下:RAII妙用之计算函数耗时

新增数据结构

  • std::unordered_set:基于hash表实现的set,内部不会排序,使用方法和set类似

  • std::unordered_map:基于hash表实现的map,内部不会排序,使用方法和set类似

  • std::array:数组,在越界访问时抛出异常,建议使用std::array替代普通的数组

  • std::forward_list:单向链表,只可以前进,在特定场景下使用,相比于std::list节省了内存,提高了性能

    std::forward_list<int> fl = {1, 2, 3, 4, 5};
    for (const auto &elem : fl) {
       cout << elem;
    }
    
  • std::tuple:元组类型,类似pair,但比pair扩展性好

    std::tuple<int, double, int, double> tp(0, 1, 2, 3); // 元组
    cout << "0 " << std::get<0>(tp);
    cout << "1 " << std::get<1>(tp);
    cout << "2 " << std::get<2>(tp);
    cout << "3 " << std::get<3>(tp);
    

新增算法

  • all_of:检测表达式是否对范围[first, last)中所有元素都返回true,如果全部都满足,则返回true

    std::vector<int> v(10, 2);
    bool ret = std::all_of(v.cbegin(), v.cend(), [](int i) { return i % 2 == 0; });
    if (ret) {
        std::cout << "All numbers are even\n";
    }
    
  • any_of:检测表达式是否对范围[first, last)中至少一个元素返回true,如果满足,则返回true,否则返回false,用法和上面一样

  • none_of:检测表达式是否对范围[first, last)中所有元素都不返回true,如果都不满足,则返回true,否则返回false,用法和上面一样

  • find_if_not:找到第一个不符合要求的元素迭代器,和find_if相反

  • copy_if:复制满足条件的元素

  • itoa:对容器内的元素按序递增

    std::vector<int> l(10);
    std::iota(l.begin(), l.end(), 19); // 19为初始值
    for (auto n : l) std::cout << n << ' ';
    // 19 20 21 22 23 24 25 26 27 28
    
  • min_element,max_element:返回容器内最大元素和最小元素位置

    int main() {
       std::vector<int> v = {3, 9, 1, 4, 2, 5, 9};
    
       auto result = std::minmax_element(v.begin(), v.end());
       std::cout << "min element at: " << *(result.first) << '\n';
       std::cout << "max element at: " << *(result.second) << '\n';
       return 0;
    }
    // min element at: 1
    // max element at: 9
    
  • is_sorted、is_sorted_until:返回容器内元素是否已经排好序。

reference

C++11新特性,所有知识点都在这了! https://zh.cppreference.com/w/cpp/language/range-for https://juejin.im/post/5dcaa857e51d457f7675360b https://zhuanlan.zhihu.com/p/21930436 https://zh.wikipedia.org/wiki/Nullptr https://zh.wikipedia.org/wiki/Constexpr https://zh.cppreference.com/w/cpp/language/enum https://kheresy.wordpress.com/2019/03/27/using-enum-class/ https://zh.cppreference.com/w/cpp/language/union http://c.biancheng.net/view/7165.html https://zhuanlan.zhihu.com/p/77585472 http://www.cplusplus.com/reference/random/ https://zh.cppreference.com/w/cpp/regex https://www.cnblogs.com/jwk000/p/3560086.html https://zh.cppreference.com/w/cpp/algorithm/all_any_none_of

results matching ""

    No results matching ""