Saves space by not creating out-of-line copies of inline functions controlled by #pragma statements. Using this option will generate linker errors if the such functions are not inlined everywhere they are called
（GCC 4.02或以后）使g++不導(dǎo)出ELF（Executable and Linking Format，Linux和Solaris等系統(tǒng)上默認(rèn)的2進(jìn)制文件格式）中用hidden標(biāo)識(shí)的object模塊內(nèi)或庫內(nèi)的符號(hào)。該選項(xiàng)能減少目標(biāo)文件大小，加快符號(hào)表的查找，從而改善運(yùn)行性能。但是，該選項(xiàng)也會(huì)因?yàn)椴煌膙isibility等級(jí)而導(dǎo)致模塊間拋出異常發(fā)生問題，詳見后面的““Visibility Attributes and Pragmas for GCC C++ Libraries”一節(jié)。如果沒有使用該選項(xiàng)，那么默認(rèn)的visibility值是default，即導(dǎo)出所有目標(biāo)文件和庫里的符號(hào)。
當(dāng)非模板的友元函數(shù)定義在模板里時(shí)不給出警告。In the C++ language template specification, a friend must declare or define a nontemplate function if the name of the friend is an unqualified identifier.
ABI Differences in g++ Versions C++ ABI是一套API標(biāo)準(zhǔn)，定義了C++庫提供的數(shù)據(jù)類型、類、方法、頭文件等的接口和規(guī)范。對(duì)庫和目標(biāo)文件來說，物理組織、參數(shù)傳遞方式和命名方式是很重要的，所以需要一個(gè)統(tǒng)一的接口，使編譯出來的C++程序與提供的庫的接口一致。這種一致性對(duì)語言特有的一些屬性更加重要，比如拋出異常和捕捉異常的時(shí)候。 從版本3開始的GNU C++編譯器，都遵循一個(gè)工業(yè)標(biāo)準(zhǔn)的C++ ABI規(guī)范，定義在http://www.codesourcery.com/cxx-abi/abi.html。雖然這個(gè)規(guī)范是為64位Itanium定制的，但是它適用于任何平臺(tái)，并且已經(jīng)作為GNU/Linux和BSD系統(tǒng)的C++ ABI的實(shí)現(xiàn)。 版本3.4以前的g++使用ABI版本1，之后使用ABI版本2。不同ABI版本之間的程序和庫不能混用。如果你不確定自己g++的ABI版本，可以用g++ --version命令檢查g++的版本，或用一個(gè)偽編譯命令顯示ABI標(biāo)識(shí)符，命令行如下： g++ -E -dM - < /dev/null | awk '/GXX_ABI/ {print $3}' 如果顯示102，那么就是版本1；如果顯示1002，就是版本2。如果你必須用到以前版本ABI的庫，那么給g++加上選項(xiàng)-fabi-version=n，其中n就是你要兼容的ABI版本。這樣做只能算作權(quán)宜之計(jì)，把所有舊的代碼和庫更新到當(dāng)前版本才是最佳解決方案。 GNU C++ Implementation Details and Extensions 本文雖然不討論怎樣寫好C++程序，但是當(dāng)你用GCC的C++編譯器編譯你的C++程序的時(shí)候，你可以從GCC的擴(kuò)展中得到許多好處，包括編譯器自身的優(yōu)勢(shì)和g++使用的標(biāo)準(zhǔn)C++庫libstdc++的優(yōu)勢(shì)。本節(jié)提煉出最為重要的一些擴(kuò)展特性，并討論它們?cè)贑++規(guī)范和編譯器行為方面的一些差異。 Attribute Definitions Specific to g++ 作為對(duì)visibility屬性（詳見于“Visibility Attributes and Pragmas for GCC C++ Libraries”）的補(bǔ)充，g++提供了2個(gè)額外的屬性，即init_priority(priority)和java_interface屬性。 The init_priority Attribute 該屬性允許用戶控制某個(gè)名字空間里的對(duì)象的初始化順序。通常，對(duì)象的初始化順序是它們?cè)谀硞€(gè)代碼單元里的定義順序。init_priority只有一個(gè)整型參數(shù)，值為101到65535，越小表示優(yōu)先級(jí)越大。比如，在下面的偽碼里，類MyClass將比類YourClass先初始化： class MyClass { … }; class YourClass { __attribute__ ((visibility("default"))) void MyMethod(); … }; 要改變它們的初始化順序，你可以把代碼改成下面這樣： class MyClass { __attribute__ ((init_priority(65535))); … }; class YourClass { __attribute__ ((init_priority(101))); … }; 你只需要注意所使用的優(yōu)先級(jí)數(shù)值的順序，具體使用了哪個(gè)數(shù)值則無所謂（即只要MyClass的優(yōu)先級(jí)數(shù)值比YourClass大就行了，是不是65535和101則無所謂）。 The java_interface Attribute 該屬性通知g++某個(gè)類是一個(gè)Java接口類，并只能在標(biāo)識(shí)了extern “Java”的模塊內(nèi)使用。調(diào)用這個(gè)類的函數(shù)使用的是GCC Java編譯器的接口表機(jī)制（interface table mechanism），而不是通常的C++虛函數(shù)表機(jī)制（virtual function table mechanism）。 提示記住，Java的運(yùn)行時(shí)環(huán)境需要更多的初始化工作。當(dāng)你混合使用C++和Java代碼時(shí)，最好用Java寫主程序，這樣能保證調(diào)用Java函數(shù)前初始化工作已經(jīng)做足了。C++ Template Instantiation in g++ 模板是C++最有用和最有趣的特性之一，能減少重復(fù)代碼，提高復(fù)用率，簡(jiǎn)化調(diào)試和代碼維護(hù)工作。模板也有利于編譯時(shí)的類型檢查，比如，使用了模板就不用再傳遞void指針，因?yàn)槟憧梢园涯０鍏?shù)實(shí)例化成任何需要的類型。 g++通過增加3個(gè)功能擴(kuò)展了標(biāo)準(zhǔn)的ISO模板定義： l?支持使用extern關(guān)鍵詞對(duì)實(shí)例化類型進(jìn)行前置申明； l?The ability to instantiate the support data required by the compiler for a named template class without actually instantiating it by using the inline keyword l?The ability to only instantiate the static data members of a class without instantiating support data or member functions by using the static keyword 基本上，GCC的g++編譯器支持Borland和Cfront（AT&T）兩種模板特性。要支持Borland的模板實(shí)例化和使用特性，g++使用-frepo選項(xiàng)允許預(yù)處理器在處理每個(gè)翻譯單元（源代碼文件）時(shí)進(jìn)行模板實(shí)例化，并把信息存在.rpo文件里。這些文件被后面的編譯過程使用，并由鏈接器最后合并成單個(gè)編譯單元。要支持Cfront特性，g++內(nèi)置了一個(gè)模板實(shí)例化庫并在鏈接的時(shí)候合并到代碼里。Cfront要求使用模板的代碼要么進(jìn)行顯式實(shí)例化，要么包含定義模板的申明文件。你可以把顯式實(shí)例化放在代碼的任何地方，或一個(gè)包含的頭文件里。對(duì)于后者，你可能要去掉-fno-implicit-templates選項(xiàng)，這樣你只得到了顯式實(shí)例化的那些實(shí)例。 Function Name Identifiers in C++ and C GCC編譯器預(yù)定義了2個(gè)標(biāo)識(shí)符存儲(chǔ)當(dāng)前函數(shù)的標(biāo)識(shí)。__FUNCTION__標(biāo)識(shí)符只存儲(chǔ)函數(shù)名字，__PRETTY_FUNCTION__則存儲(chǔ)函數(shù)的全稱。在C程序里，這2種名字是一樣的，但是在C++程序里它們有區(qū)別。下面的程序展示了這種區(qū)別： #include <iostream> using namespace std; class c { public: void method_a(void) { cout<<"Function "<<__FUNCTION__<<" in "<<__FILE__<< endl; cout<<"Pretty Function "<<__PRETTY_FUNCTION__<<" in " << __FILE__ << endl; } }; int main(void) { c C; C.method_a(); return 0; } 運(yùn)行的輸出是： $ ./a.out Function method_a in FUNCTION_example.cc Pretty Function void c::method_a() in FUNCTION_example.cc 在C++里，__FUNCTION__和__PRETTY_FUNCTION__是變量，而不是宏定義，所以#ifdef __FUNCTION__是沒有意義的。 注意如果你的GCC是3.2版本或更高，那么__FUNCTION__和__PRETTY_FUNCTION__的行為就和C99定義的__func__變量是一樣的。早于3.2版本的GCC編譯器把__FUNCTION__和__PRETTY_FUNCTION__定義成字符串，所以它們可以和其他字符串進(jìn)行串接操作。Minimum and Maximum Value Operators g++編譯器加入了<?和>?操作符，分別表示2個(gè)數(shù)值中較小的和較大的那個(gè)。比如，下面的代碼把10賦給min變量： min = 10 <? 15; 而下面的代碼把15賦給max： max = 10 >? 15; 提示既然這些操作符是語言提供的，那么它們也能對(duì)任何類或enum類型進(jìn)行重載。Using Java Exception Handling in C++ Applications Java和C++的異常處理模型是不同的，雖然g++能猜測(cè)C++代碼何時(shí)使用了Java異常，你最好還是明確標(biāo)識(shí)出這種情況，避免鏈接錯(cuò)誤。要告訴g++一塊代碼可能使用Java異常，把下面的代碼放在該翻譯單元中任何catch和throw代碼之前： #pragma GCC java_exceptions 你不能在一個(gè)翻譯單元里同時(shí)使用Java和C++異常。 Visibility Attributes and Pragmas for GCC C++ Libraries 寫C++庫的時(shí)候一個(gè)普遍的問題就是可見的ELF符號(hào)太多了，其實(shí)許多符號(hào)都不能被外部使用，也不用對(duì)外公開。GCC版本4.02及更高提供了-fvisibility=value選項(xiàng)和相關(guān)的內(nèi)置屬性，使你可以控制這種行為，使用的方式和微軟C++編譯器提供的__declspec(dllexport)方式相似。新的-fhidden選項(xiàng)有2個(gè)可選值：default，導(dǎo)出目標(biāo)文件的所有符號(hào)（這也是默認(rèn)的行為）；hidden，不導(dǎo)出當(dāng)前目標(biāo)模塊的符號(hào)。還可以在函數(shù)或類前加如下代碼來進(jìn)行設(shè)置：__attribute__ ((visibility("default")))和__attribute__ ((visibility("hidden")))。 默認(rèn)情況下，ELF導(dǎo)出全部符號(hào)。要隱藏特定目標(biāo)文件的符號(hào)，需要在編譯該文件的時(shí)候加上-fvisibility=hidden選項(xiàng)。這將導(dǎo)致makefile的復(fù)雜性大大增加，因?yàn)槟阋葱枰謩?dòng)設(shè)置每個(gè)文件的編譯選項(xiàng)，要么改變?nèi)志幾g選項(xiàng)導(dǎo)致任何符號(hào)都不能導(dǎo)出。這在類庫正常拋出異常或者調(diào)試某些變量的時(shí)候?qū)嵲谑莻€(gè)災(zāi)難。 讓指定的符號(hào)可見的好方式是聯(lián)合使用代碼屬性設(shè)置和編譯選項(xiàng)-fvisibility=hidden。如果要導(dǎo)出某個(gè)符號(hào)，先在它們的定義前加上__attribute__((visibility("default")))，比如下面這樣： class MyClass { int i; __attribute__ ((visibility("default"))) void MyMethod(); … }; 然后給makefile增加-fvisibility=hidden的編譯選項(xiàng)，這樣所有其他的符號(hào)就被隱藏了。另一個(gè)稍微好點(diǎn)的方法是定義一個(gè)宏，并放到所有你不想導(dǎo)出的符號(hào)定義前面，然后使用默認(rèn)的導(dǎo)出所有符號(hào)，如下所示： #define LOCAL __attribute__ ((visibility("hidden"))) class MyClass { int i; LOCAL void MyMethod(); … }; 編譯時(shí)不使用-fvisibility=value選項(xiàng)，這樣除了MyMethod被隱藏，其他符號(hào)都被導(dǎo)出。 還有一種控制可見屬性的pragma語法現(xiàn)在還能使用，不過將來可能要去掉，如下面這樣： extern void foo(int); #pragma GCC visibility push(hidden) extern void bar(int); #pragma GCC visibility pop 符號(hào)foo會(huì)被導(dǎo)出，但是bar則不會(huì)。這種方式雖然很簡(jiǎn)單方便，但是建議你還是使用visibility和__attribute__。
