C++学习笔记

C++学习笔记

1、explicit关键字的用法：

C++ explicit关键字用来修饰类的构造函数，表明该构造函数是显式的，既然有"显式"那么必然就有"隐式"，那么什么是显示而什么又是隐式的呢？
 如果c++类的构造函数有一个参数，那么在编译的时候就会有一个缺省的转换操作：将该构造函数对应数据类型的数据转换为该类对象，如下面所示：

class MyClass  
{  
public:  
MyClass( int num );  
}  
//.  
MyClass obj = 10; //ok,convert int to MyClass 

在上面的代码中编译器自动将整型转换为MyClass类对象，实际上等同于下面的操作：

MyClass temp(10);  
MyClass obj = temp; 

上面的所有的C++ explicit关键字相关的操作即是所谓的"隐式转换"。
如果要避免这种自动转换的功能，我们该怎么做呢？嘿嘿这就是关键字explicit的作用了，将类的构造函数声明为"显式"，也就是在声明构造函数的时候前面添加上explicit即可，这样就可以防止这种自动的转换操作，如果我们修改上面的MyClass类的构造函数为显式的，那么下面的代码就不能够编译通过了，如下所示：

class MyClass  
{  
public:  
explicit MyClass( int num );  
}  
//.  
MyClass obj = 10; //err,can't non-explict convert 

总结：通过使用explicit关键字来标记构造函数，可以禁止这个类的隐式转换，而且explicit关键字只能放在类定义中，而且只适用于仅有一个参数的构造函数。

2、mutable关键字的用法：

mutalbe的中文意思是“可变的，易变的”，跟constant（既C++中的const）是反义词。
　　在C++中，mutable也是为了突破const的限制而设置的。被mutable修饰的变量，将永远处于可变的状态，即使在一个const函数中。
　　我们知道，如果类的成员函数不会改变对象的状态，那么这个成员函数一般会声明成const的。但是，有些时候，我们需要在const的函数里面修改一些跟类状态无关的数据成员，那么这个数据成员就应该被mutalbe来修饰。
　　下面是一个小例子： 

class ClxTest
{
　public:
　　void Output() const;
};

void ClxTest::Output() const
{
　cout << "Output for test!" << endl;
}

void OutputTest(const ClxTest& lx)
{
　lx.Output();
}

　　类ClxTest的成员函数Output是用来输出的，不会修改类的状态，所以被声明为const的。
　　函数OutputTest也是用来输出的，里面调用了对象lx的Output输出方法，为了防止在函数中调用其他成员函数修改任何成员变量，所以参数也被const修饰。
　　如果现在，我们要增添一个功能：计算每个对象的输出次数。如果用来计数的变量是普通的变量的话，那么在const成员函数Output里面是不能修改该变量的值的；而该变量跟对象的状态无关，所以应该为了修改该变量而去掉Output的const属性。这个时候，就该我们的mutable出场了——只要用mutalbe来修饰这个变量，所有问题就迎刃而解了。
　　下面是修改过的代码：
class ClxTest
{
　public:
　　ClxTest();
　　~ClxTest();

　　void Output() const;
　　int GetOutputTimes() const;

　private:
　　mutable int m_iTimes;
};

ClxTest::ClxTest()
{
　m_iTimes = 0;
}

ClxTest::~ClxTest()
{}

void ClxTest::Output() const
{
　cout << "Output for test!" << endl;
　m_iTimes++;
}

int ClxTest::GetOutputTimes() const
{
　return m_iTimes;
}

void OutputTest(const ClxTest& lx)
{
　cout << lx.GetOutputTimes() << endl;
　lx.Output();
　cout << lx.GetOutputTimes() << endl;
}

　　计数器m_iTimes被mutable修饰，那么它就可以突破const的限制，在被const修饰的函数里面也能被修改。

3、超类方法有默认参数：

子类和超类都可以有不同的默认参数，但是使用的参数依赖于变量的声明类型，而不是底层的对象，例子如下：

class A{public:virtual void go(int i = 2){ cout << "A's go with param " << i << endl;}};class B : public A{public:virtual void go(int i = 7){ cout << "B's go with param " << i << endl;}};int main(){A a;B b;A *p = &b;a.go();b.go();p->go();}

输出结果为:

原因分析：C++把默认参数与指示对象的变量类型绑定在一起，而不是与对象本身绑定，也是由于这个原因，在C++中，不能继承默认参数，如果一定要有默认的话，父类和子类的默认参数必须是一样的，这样才不会出现问题