宣告子概觀
宣告子是用來指定物件或函式名稱的宣告元件。 宣告子也可將具名物件指定為物件、指標、參考或陣列。 當宣告子未指定基底類型時，會將基底類型中的類型資訊修改為指定的衍生類型，如指標、參考和陣列。 套用至函式時，宣告子會搭配類型規範，將函式的傳回類型完整指定為物件、指標或參考。 (在宣告中討論的規範，可表示如類型和儲存類別等屬性。 在本節以及在 Microsoft 專有的修飾詞中討論的修飾詞則會修改宣告子)。下圖顯示 MyFunction 的完整宣告，以及呼叫宣告的元件。
規範、修飾詞和宣告子
.gif "修飾詞、規範和宣告子")
Microsoft 特定的
大部分的 Microsoft 擴充關鍵字都可做為形成衍生類型的修飾詞使用，不過它們並不是規範或宣告子。 (請參閱 Microsoft 專有的修飾詞)。
END Microsoft 特定的
宣告子在宣告語法中會出現在選用規範清單之後。 宣告中將會討論這些規範。宣告可以包含多個宣告子，不過，每個宣告子只能宣告一個名稱。
下列範例宣告顯示如何將規範和宣告子合併，以組成完整的宣告：
const char *pch, ch;
在上述宣告中，關鍵字 const 和 char 組成規範清單。 其中列出兩個宣告子：*pch 和 ch。 宣告多個實體的宣告包含類型規範，後面接著宣告子的逗號分隔清單，最後以分號結尾。
簡單物件的宣告子
簡單物件 (如 int 或 double) 的宣告子只需要由其名稱表示，並可選擇是否加上括號。
int i; // declarator is i
int (i); // declarator is (i)
指標、參考和陣列的宣告子
在名稱前面插入指標運算子會使物件變成指標或參考。 * 運算子會將名稱宣告為指標，& 運算子會將其宣告為參考。
int *i; // declarator is *i
int **i; // declarator is **i;
int &i = x; // declaratory is &i
附加 const 或 volatile 會為指標指定這些特殊屬性。 在宣告子中使用這些規範 (相對於在類型規範中使用) 會修改指標的屬性，而不是修改所指向的物件：
char *const cpc; // const pointer to char
const char *pcc; // pointer to const char
const char *const cpcc; // const pointer to const char
如需詳細資訊，請參閱 const 和 volatile 指標。
類別或結構成員的指標是使用適當的巢狀命名規範加以宣告：
int X::* pIntMember;
int ::X::* pIntMember; // the initial :: specifies X is in global scope
char Outer::Inner::* pIntMember; // pointer to char in a nested class
在名稱之後將選擇性常數運算式用方括號括住，會使物件變成陣列。 後續括號會宣告陣列的其他維度。
int i[5]; // array with five elements of type int numbered from 0 to 4
int i[]; // array of unknown size
char *s[4]; // array of pointers to char
int i[2][2]; // two dimensional array
函式的宣告子
內含引數清單的括號是在宣告函式的名稱之後使用。 以下宣告一個傳回類型為 int 的函式，以及三個類型為 int 的引數。
int f(int a, int b, int c);
如需引數清單的詳細資訊，請參閱函式宣告。
函式的指標和參考的宣告方式是在函式名稱的前面加上指標或參考運算子，如下所示。 需要括號 (通常是選擇性的) 來區分函式的指標與傳回指標的函式：
int (*pf)(int); // pointer to function returning int
int *f(int i); // function returning pointer to int
int (&pf)(int); // reference to function
成員函式的指標會使用巢狀命名規範加以區分：
int (X::* pmf)(); // pointer to member function of X returning int
int* (X::* pmf)(); // pointer to member function returning pointer to int
請參閱成員的指標。
相同宣告中的函式和物件
函式和物件可能會在相同宣告中進行宣告，如下所示：
int i, *j, f(int k); // int, pointer to int, function returning int
此語法在某些情況下可能會使人產生誤解。 下列宣告
int* i, f(int k); // pointer to int, function returning int (not int*)
看起來可能與 int 指標，以及傳回 int* 的函式宣告相同，但其實不是。 那是因為 * 屬於 i 的宣告子，而不是屬於 f 的宣告子。
使用 typedef 簡化宣告子語法
不過，好一點的技巧是使用 typedef 或括號和 typedef 關鍵字的組合。 考慮為函式宣告指標陣列：
// Function returning type int that takes one
// argument of type char *.
typedef int (*PIFN)( char * );
// Declare an array of 7 pointers to functions
// returning int and taking one argument of type
// char *.
PIFN pifnDispatchArray[7];
可以在未使用 typedef 宣告的情況下寫入相同的宣告，不過這太複雜，其中的潛在錯誤可能會超過所帶來的優點：
int ( *pifnDispatchArray[7] )( char * );
如需 typedef 的詳細資訊，請參閱 typedef 規範。
單一基底類型的指標、參考和陣列可以在單一宣告 (以逗號分隔) 中合併如下
int a, *b, c[5], **d, &e=a;
更複雜的宣告子語法
您可以結合指標、參考、陣列和函式宣告子，將這類物件指定為函式的指標陣列和陣列的指標等等。
下列遞迴文法完整描述指標宣告子的語法。
declarator 會定義為下列其中一項：
1. identifier
2. qualified-name
3. declarator ( argument-list ) [cv-qualfiers] [exception-spec]
4. declarator [ [ constant-expression ] ]
5. pointer-operator declarator
6. ( declarator )
- 而 pointer-operator 定義為下列其中一項：
* [cv-qualifiers]
& [cv-qualifiers]
:: nested-name-specifier * [cv-qualfiers]
由於宣告子可能包含其他宣告子，因此可以使用上述規則建構較複雜的衍生類型 (例如指標的陣列、傳回函式指標陣列的函式)。 若要進行建構的每個步驟，可從表示基底資料類型的識別項，以及使用先前的運算式做為 declarator，套用上述語法規則開始。 套用語法規則的順序應該與以英文所述運算式的方式相反。 如果要對陣列或函式運算式套用 pointer-operator 語法規則，同時若您需要陣列或函式的指標，請使用括號，如下表中最後一個資料列所示。
下列範例顯示建構「10 個類型為 int 指標的陣列指標」。
動詞化運算式 |
宣告子 |
套用的語法規則 |
|---|---|---|
|
1 |
|
指向 |
|
5 |
10 的陣列 |
|
4 |
指向 |
|
6，然後 5 |
如果使用多個指標、參考、陣列或函式修飾詞，宣告子可能會變得相當複雜。 解譯更複雜的宣告子主題中說明如何讀懂更複雜的宣告子語法。 這個主題適用於 C 和 C++，不過，在 C++ 中，* 在所有位置都可表示指標，而限定名稱 (例如 MyClass::*) 則可為類別的成員指定指標。