C++編程語言中還是有很多比較重要的函數在實際編程中起著比較大的作用。比如我們今天為大家介紹的C++內聯函數,就是一個應用頻繁,功能強大的函數。那麼就讓麼我們一起來看看它的一些基本概念吧。
C++內聯函數既能夠去除函數調用所帶來的效率負擔又能夠保留一般函數的優點。然而,內聯函數並不是萬能藥,在一些情況下,它甚至能夠降低程序的性能。因此在使用的時候應該慎重。
1.我們先來看看內聯函數給我們帶來的好處:從一個用戶的角度來看,內聯函數看起來和普通函數一樣,它可以有參數和返回值,也可以有自己的作用域,然而它卻不會引入一般函數調用所帶來的負擔。另外,它可以比宏更安全更容易調試。
當然有一點應該意識到,inline specifier僅僅是對編譯器的建議,編譯器有權利忽略這個建議。那麼編譯器是如何決定函數內聯與否呢?一般情況下關鍵性因素包括函數體的大小,是否有局部對象被聲明,函數的復雜性等等。
2.那麼如果一個函數被聲明為inline但是卻沒有被內聯將會發生什麼呢?理論上,當編譯器拒絕內聯一個函數的時候,那個函數會像普通函數一樣被對待,但是還會出現一些其他的問題。例如下面這段代碼:
- // filename Time.h
- #include< ctime>
- #include< iostream>
- using namespace std;
- class Time
- {
- public:
- inline void Show() { for (int i = 0; i< 10; i++)
cout< < time(0)< < endl;}- };
因為成員函數Time::Show()包括一個局部變量和一個for循環,所以編譯器一般拒絕inline,並且把它當作一個普通的成員函數。但是這個包含類聲明的頭文件會被單獨的#include進各個獨立的編譯單元中:
- // filename f1.cpp
- #include "Time.hj"
- void f1()
- {
- Time t1;
- t1.Show();
- }
- // filename f2.cpp
- #include "Time.h"
- void f2()
- {
- Time t2;
- t2.Show();
- }
結果編譯器為這個程序生成了兩個相同成員函數的拷貝:
- void f1();
- void f2();
- int main()
- {
- f1();
- f2();
- return 0;
- }
當程序被鏈接的時候,linker將會面對兩個相同的Time::Show()拷貝,於是函數重定義的連接錯誤發生。但是老一些的C++實現對付這種情況的辦法是通過把一個un-inlined函數當作static來處理。因此每一份函數拷貝僅僅在自己的編譯單元中可見,這樣鏈接錯誤就解決了,但是在程序中卻會留下多份函數拷貝。在這種情況下,程序的性能不但沒有提升,反而增加了編譯和鏈接時間以及最終可執行體的大小。
但是幸運的是,新的C++標准中關於un-inlined函數的說法已經改變。一個符合標准C++實現應該只生成一份函數拷貝。然而,要想所有的編譯器都支持這一點可能還需要很長時間。
另外關於C++內聯函數還有兩個更令人頭疼的問題。第一個問題是該如何進行維護。一個函數開始的時候可能以內聯的形式出現,但是隨著系統的擴展,函數體可能要求添加額外的功能,結果內聯函數就變得不太可能,因此需要把inline specifier去除以及把函數體放到一個單獨的源文件中。另一個問題是當內聯函數被應用在代碼庫的時候產生。當內聯函數改變的時候,用戶必須重新編譯他們的代碼以反映這種改變。然而對於一個非內聯函數,用戶僅僅需要重新鏈接就可以了。
這裡想要說的是,內聯函數並不是一個增強性能的靈丹妙藥。只有當函數非常短小的時候它才能得到我們想要的效果,但是如果函數並不是很短而且在很多地方都被調用的話,那麼將會使得可執行體的體積增大。最令人煩惱的還是當編譯器拒絕內聯的時候。在老的實現中,結果很不盡人意,雖然在新的實現中有很大的改善,但是仍然還是不那麼完善的。一些編譯器能夠足夠的聰明來指出哪些函數可以內聯哪些不能,但是,大多數編譯器就不那麼聰明了,因此這就需要我們的經驗來判斷。如果C++內聯函數不能增強行能,就避免使用它!