码迷,mamicode.com
首页 > 编程语言 > 详细

C++ 概念总结(基于 C++11)

时间:2016-05-07 09:59:25      阅读:242      评论:0      收藏:0      [点我收藏+]

标签:

C++ 概念总结(基于 C++11)

构造

  • 构造函数形式:
    • 默认构造函数
    • 拷贝构造函数
      • 定义: 当定义一个新对象并用一个同类型的对象对它进行初始化时,将显式使用复制构造函数
      • 形式: A(const A& h){}
      • 调用时机:
        • 当对象作为参数传递时
    • 赋值操作符:
      • 定义: 赋值操作符可以通过制定不同类型的右操作数而重载。
      • 形式: A& operator = (const A& h){}
      • 调用时机:
        • 当对象需要用 ‘=’ 进行赋值时
    • 移动构造函数
      • 定义: 源对象资源的控制权全部交给目标对象
      • 形式: A(A && h){}
      • 调用时机: 使用临时对象进行赋值
    • 移动赋值操作符: 基本同上
  • C++11 中的是 构造函数被子类继承,并且是隐式的.
  • 委派构造: 委派构造函数将构造任务委派给目标构造函数
    • 委派构造函数不能带有初始化列表
  • C++ 中的 初始化形式更加多样
    • 等号 “=”
    • 等号加上花括号 int a = {3 + 4}
    • 圆括号表达式 int a(3+4)
    • 花括号初始化列表 int a{3+4}
      • 对于自定义类需要借助 initializer_list 构造函数

移动语义

  • C++ 中的值类型分为 左值,右值,将亡值(可以简单的看成将被右值引用的值)
  • 右值操作: std::move / std::forword
  • 引用折叠: (&.. 总能被折叠为正确的 & / &&)

POD 类型

POD (Plain Old Data)字面上理解,是原始的数据,其体现了与 C 的兼容性,其优势如下

  • 字节赋值,代码中我们可以安全地使用 memset/memcpy 对 POD 类型进行初始化和拷贝等操作
  • 提供对 C 内存布局兼容. C++ 程序可以与 C 函数进行互相操作,因为 POD 类型的数据在 C 与 C++ 间的操作总是安全的
  • 保证了静态初始化的安全有效.静态初始化在很多时候能搞提高程序的性能,而 POD 类型的对象初始化往往更加简单(比如放入目标文件的 .bss 段,在初始化中直接被赋 0).

满足 POD 类型的必须为 trival 或者 standard layout

  • trilvial
    • 构造函数/析构函数/复制构造/移动构造/复制赋值运算符 必须为默认
    • 不能包含虚拟函数和虚拟基类
  • standard layout
    • 所有非静态数据成员均符合标准布局类型,其基类也符合标准布局.
    • 所有非静态成员都有相同的访问权限
    • 没有虚拟函数和虚基类
    • 类中第一个非静态成员的类型与其基类不同 //因为 C++ 的标准中定义类型相同的对象必须地址不同!
    • 在class或者struct继承时, 满足以下两种情况之一
      • 派生类中有非静态成员, 且只有一个仅包含静态成员的基类.
      • 基类有非静态成员,派生类没有非静态成员.
        (换句话说,非静态成员不能同时存在于基类和派生类中咯?)

C++11 引入非受限联合体的支持

自定义字面量

内联名字空间

  • 可以在父作用域直接被查找
  • ADL: 可以通过对象的名字空间直接推到出来

using 的扩展

  • 可以取代 typedef
  • 更加灵活的用法 template using MapString = std::map

动态类型

  • auto
  • 可以通过 typeid 查询的类的相关信息
  • decltype 推到四规则(假设 e 是 T 类型)
    • 如果没有带括号的标记符表达式或者类成员访问表达式,则返回推到类型 T = decltype(e) //表达式
    • 否则,如果 e 是一个将亡值,那么返回 T&&
    • 否则,如果 e 是一个左值,则返回 T&
    • 否则,decltype(e) 的推到值为 T //对象 e

C++11引入枚举类: enum class Type{}

智能指针

智能指针实际上是一个栈对象,并非指针类型,在栈对象生命期即将结束时,智能指针通过析构函数释放有它管理的堆内存

  • std::auto_ptr 管理从 new 形式获取的对象,在 auto_ptr 销毁的时候会释放这个对象.复制这个指针对象会导致它持有的对象移交所有权.
  • std::scoped_ptr 独享所有权,不可复制
  • std::shared_ptr 自带引用计数,看似完美
  • std::scoped_array 数组指针,也是禁用拷贝复制的
  • std::shared_array 数组指针,不再禁用拷贝复制
  • std::weak_ptr 引用,但不计数
  • std::intrusive_ptr 插入智能指针,需要手动增加计数

类型转换

  • 隐式转换
    • 算术转换(Arithmetic conversion) : 在混合类型的算术表达式中, 最宽的数据类型成为目标转换类型。
    • 一种类型表达式赋值给另一种类型的对象: 目标类型是被赋值对象的类型(void指针赋值给其他指定类型指针时,不存在标准转换,编译出错)
    • 将一个表达式作为实参传递给函数调用,此时形参和实参类型不一致:目标转换类型为形参的类型
    • 从一个函数返回一个表达式,表达式类型与返回类型不一致:目标转换类型为函数的返回类型
  • 显式类型转换
    • static_cast < type-id > ( expression )
      • 基本类型转换,但没有运行时类型检查来保证转换的安全性。
      • static_cast不能转换掉 const , volitale , __unaligned属性。
    • dynamic_cast < type-id > ( expression )
      • 说明: Type-id必须是类的指针,类的引用或者void *;type-id / expression 必须同为指针或者引用。
      • dynamic_cast具有类型检查的功能
    • reinpreter_cast (expression)
      • 关键字 re-inpreter 重解释! 不通类型之间的互转
    • const_cast (expression)
      • 去常量性

lambda 表达式

[ capture ] ( params ) mutable exception attribute -> ret { body }

  • [] 不截取任何变量
  • [&} 截取外部作用域中所有变量,并作为引用在函数体中使用
  • [=] 截取外部作用域中所有变量,并拷贝一份在函数体中使用
  • [=, &foo] 截取外部作用域中所有变量,并拷贝一份在函数体中使用,但是对foo变量使用引用
  • [bar] 截取bar变量并且拷贝一份在函数体重使用,同时不截取其他变量
  • [x, &y] x按值传递,y按引用传递
  • [this] 截取当前类中的this指针。如果已经使用了&或者=就默认添加此选项。

常量表达式 constexpr

  • 常量表达式函数:
    • 函数体只有单一的 return
    • 必须有返回值
    • 使用前必须定义
    • 返回语句表达式中不能使用非常量表达式的函数,全局数据,且必须是一个常量表达式
  • 自定义类型常量,需要添加常量构造函数 constexpr T(){}
  • C++11 支持变长模板 //代表 => tuple
  • constexpr 为编译时确定

原子操作模板: std::atomic

对齐支持: alignof / alignas

quick_exit/at_quick_exit

C++ 概念总结(基于 C++11)

标签:

原文地址:http://blog.csdn.net/mars_arbiter/article/details/51331334

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!