首页 > 代码库 > c++几个新特性

c++几个新特性

template 模板

1、出于通用性考虑,程序库中几乎所有东西都被设计为template形式,不支持template几乎不能使用标准程序库。

2、所谓template,是针对“一个或多个尚未明确的类型”所撰写的函数或类。使用template时,可以显示地(explicitly)或隐式地(implicitly)将类型当作参数传递。

3、目前唯一能让“template的运用”具有可移植的方式,就是在头文件中以inline function实现template function。(编译器会对函数模板进行两次编译:在声明的地方对模板代码本身进行编译、语法检查,在调用的地方对参数替换后的代码进行编译。)

4、Nontype Templates参数(非类型模板参数):type可以作为template的参数,非nontype也可以作为template参数。nontype参数因而被看作整个template类型的一部分 

例如:bitset<32> flags32  //bitset with 32 bits

        bitset<50> flags50   //bitset with 50 bits

5、Default Template Parameters(缺省模板参数):template classes可以有缺省参数。

例如:template <class T, class container = vector<T> >

         class Myclass;

         Myclass<int> x1;  //equivalent to Myclass<int, vector<int> >

6、关键字typename 关键字typename被用来作为类型之前的标识符,如typename T::SubType * ptr 与T::SubType *ptr区别。

 

基本型别的显式初始化

1、如果采用不含参数的、明确的constructor(构造函数)调用语法,基本类型初始化为0。

int i1;      //undefined value
int i2 = int(); //initialized with zero

此特性能够保证template类型能够在任何类型都有一个确定的初值

 

异常处理

1、通常异常处理,C++标准程序库可以在不“污染”函数接口(亦即参数和返回值)的情况下处理异常。如果你遇到一个意外情况,可以“抛出一个异常”来停止一般的(正常的)处理流程。

class Error;
void f()
{
      ...
      if(exception-condition)
      {
           throw Error();   //create object of class Error and throw it as exception
      }
}

异常机制能够保证程序在发生异常时候,像return一样优雅的退出,局部对象得到析构

int main()
{
      try{
           .....
           f();
           ..... 
      }
      catch (const Error&){
            .....            //handle exception
      }
}

在这里,try区段中任何选型为Error的异常都将在catch中获得处理

注意区分:异常处理、错误处理

 

关键字exlplict

1、关键字explicit的作用,可以禁止“单参数构造函数(single argument constructor)”被用于自动类型转换。

例如:集合类型(collection classes),可以将初始长度作为参数传递给构造函数,例如你可以申明一个构造函数,以stact的初始大小为参数:

class Stack
{
       explicit Stack(int size);  //create stack with initial size
       .....
};

//声明了explicit,则
Stack s;
s = 40; //将会曝出编译错误,如没有声明,则会调用Stack(40)

 

新的类型转换操作符(Type Conversion Operators)

1、static_cast

将一个值以符合逻辑的方式转换类型;可以看作“利用原值重建一个临时对象,并在设立初值时使用类型转换”。唯有当上述的类型转换有所定义,整个转换才会成功。所谓的“有所定义”,可以是语言内建规则,也可以是程序员自定的转换动作。

float x;
...
cout << static_cast<int>(x); //print x as int

f(static_cast<string>("hello")); //call f() for string instead of char*

2、dynamic_cast

将多态类型(ploymorphic type)向下转型(downcast)为其实际静态类型(real static type).这是唯一在执行时期进行校验的转型动作,你可以用它来检验某个多态对象的类型。

class Car; //abstact base class(has at least one virtual function)

class Cabriolet : public Car{
      ....
} ;

void f(Car* cp)
{
      Cabriolet* p = dynamic_cast<Cabriolet*>(cp)
      if(p == NULL)
      {
            //did not refer to an object of type cabriolet
            ...
       }
}

3、const_cast

设定或去除类型的常数型(constness),亦可以去除volatile饰词,除此之外不用于任何转换

4、reinterpret_cast

此操作符与实际编译器定义

 

常数静态成员的初始化(constant static members)

我们终于能够在class声明中对“整数型常数静态成员”直接赋予初值。

class MyClass
{
      static const int num = 100;
      int elems[num];
      ...
};

//注意,你还必须为class之中声明的常静态成员,定义一个空间
const int MyClass::num;   //no initialization here

 

main()定义式

其中已经内置了return 0

 

c++几个新特性