有趣的是，使用函數名稱作為函數指針等同于將address-of運算符應用于函數名稱！這是例子。typedef bool (*FunType)(int);bool f(int);int main() { FunType a = f; FunType b = &a; // Sure, here's an error. FunType c = &f; // This is not an error, though. // It's equivalent to the statement without "&". // So we have c equals a. return 0;}使用名稱是我們在數組中已經知道的東西。但是你不能寫這樣的東西int a[2];int * b = &a; // Error!它似乎與語言的其他部分不一致。這種設計的原理是什么？這個問題解釋了這種行為的語義及其起作用的原因。但是我對為什么用這種方式設計語言感興趣。更有趣的是，函數類型在用作參數時可以隱式轉換為指向自身的指針，但是在用作返回類型時，不會轉換為指向自身的指針！例：typedef bool FunctionType(int);void g(FunctionType); // Implicitly converted to void g(FunctionType *).FunctionType h(); // Error!FunctionType * j(); // Return a function pointer to a function // that has the type of bool(int).
3 回答
慕桂英546537
TA貢獻1848條經驗 獲得超10個贊
這是從C繼承的功能。
在C語言中，之所以允許使用它，主要是因為函數名稱本身并不意味著什么。您可以使用實際功能做的就是調用它。如果您不打電話，唯一可以做的就是獲取地址。由于沒有歧義，因此只要函數名稱后不帶a (來表示對該函數的調用，該名稱就等于該函數的地址。
這實際上與語言的另一部分相似-數組的名稱計算為該數組第一個元素的地址，除非在相當有限的情況下（用作&或的操作數sizeof）。
由于C允許這樣做，所以C ++也可以這樣做，主要是因為這仍然適用：您只能對函數進行調用或獲取其地址，因此，如果名稱后面沒有a (來表示函數調用，那么名稱的計算結果就毫無歧義。
慕容森
TA貢獻1853條經驗 獲得超18個贊
對于數組，使用address-of運算符時沒有指針衰減：
int a[2];
int * p1 = a; // No address-of operator, so type is int*
int (*p2)[2] = &a; // Address-of operator used, so type is int (*)[2]
這是有道理的，因為數組和指針是不同的類型，例如可以返回對數組的引用或將引用傳遞給函數中的數組。
但是，使用函數，還有其他可能的類型嗎？
void foo(){}
&foo; // #1
foo; // #2
假設只有＃2給出了type void(*)()，那么類型將&foo是什么？沒有其他可能性。
- 3 回答
- 0 關注
- 504 瀏覽
添加回答
舉報
0/150
提交
取消