C++学习笔记17

桃扇骨 2022-06-08 05:07 206阅读 0赞

**1，构造函数初始化列表异常处理。**  
为了处理构造函数成员初始化列表产生的异常，必须将构造函数编写为函数测试块（function try block）。

![这里写图片描述][SouthEast]

关键字try出现在成员初始化列表之前，测试块的复合语句包围了构造函数的函数体。catch子句既可以处理从成员初始化列表中抛出的异常，也可以处理从构造函数函数体中抛出的异常。

析构函数应该从不抛出异常，因为析构函数都是自动调用的，不会自动加上try测试块，因此析构函数中异常的抛出将直接导致系统调用terminate强制退出。在实践中，由于析构函数释放资源，不太可能出现异常，此外标准库类型都保证它们的析构函数不会引发异常。

如果在构造函数中发生异常，则该对象可能只是部分被构造，即使对象只是部分被构造，也要保证将会适当的撤销已构造的成员（资源回收，否者会造成内存泄漏）。

**2，对于常见的主流编译器，写不写inline有什么影响？**  
inline处理的具体流程是，在编译的时候，对于一个可以inline的函数，在每一个调用这个函数的地方，直接以这个函数的内容替代，因此默认不会生成这个函数的函数体。下面是我的一点总结：

1）首先要明白一点的就是只有在编译器开启优化选项的时候，才会有inline行为的存在，比如对g++在-O0时就不会作任何的inline处理；

2） 不管是\#pragma auto\_inline(on/off)还是inline指令，都仅仅是对编译器提出inline的建议，最终是否进行inline由编译器自己决定；任何编译器都可以在优化程序时对程序进行inline处理，对于-O2的优化方式，编译器会通过启发式算法决定是否值得对一个函数进行inline，同时要保证不会对生成文件的大小产生较大影响。 而-O3模式则不在考虑生成文件的大小。

3） 当使用\#pragma auto\_inline(off)指令时，会关闭对函数的inline处理，这时即使在函数前面加了inline指令，也不会对函数进行inline处理。

4） 将类的成员函数的定义直接写在类的声明中时，视为隐式的inline请求，编译器会自动进行inline处理。而对于类的成员函数声明在.h文件中，定义在.c或.cpp文件中时，不会进行inline处理。这是由于在inline处理在编译时进行，而对于调用改成员函数的.cpp文件只会include那个类的头文件，在编译时是找不到那个成员函数的定义的。 我看到网上有人说可以，但是我试了一下是不行的，加inline指令会报undefined reference错误。

**3，完美转发**  
完美转发（perfect forwarding）问题是指函数模板在向其他函数传递参数时该如何保留该参数的左右值属性的问题。

也就是说函数模板在向其他函数传递自身形参时，如果相应实参是左值，它就应该被转发为左值；同样如果相应实参是右值，它就应该被转发为右值。

这样做是为了保留在其他函数针对转发而来的参数的左右值属性进行不同处理（比如参数为左值时实施拷贝语义；参数为右值时实施移动语义）的可能性。

如果将自身参数不分左右值一律转发为左值，其他函数就只能将转发而来的参数视为左值，从而失去针对该参数的左右值属性进行不同处理的可能性。

[SouthEast]: /images/20220608/3cc72719de32418d821d6b5b5c281957.png