爲什麼參數修飾符（即'const'或'volatile'）不被視爲函數類型或簽名的一部分？

Question

注意以下兩種功能具有相同的類型和簽名：

void foo1(int t) {} // foo1 has type 'void(*)(int)', and signature '(*)(int)' 
void foo2(const int t) {} // Also type 'void(*)(int)', signature '(*)(int)' 

（該const不是功能類型或功能簽名的一部分）。同樣，返回類型上的修飾符（const或volatile）不會影響函數類型或函數簽名。

但是，在函數定義本身（未顯示）中，命名變量t確實在foo2中保留const資格。

有許多StackOverflow的問題，討論爲什麼函數的返回類型不被視爲函數簽名（用於重載決議）的一部分。

但是，我找不到任何StackOverflow問題，詢問爲什麼參數修飾符（const或volatile）不是函數的類型或簽名的一部分。另外，我直接看了C++ 11標準文檔，發現很難解開。

參數修飾符（即const和volatile）不屬於函數的類型或簽名的一部分的基本原理是什麼？

附錄爲了清楚起見，從下面R.MartinhoFernandes的答案，我要澄清，在C++（我認爲）的說法修飾符const和volatile如果他們頂級只忽略作爲函數類型/簽名的一部分級別修飾符 - 請參閱下面的答案。

Answer 1

參數修飾符（即const和volatile）不屬於函數的類型或簽名的一部分的基本原理是什麼？

從來電者的角度來看，void foo(int)和void foo(int const)之間沒有區別。無論你傳遞給它什麼修改器，它都不會被修改：函數將得到一個副本。

從實施者的角度來看，唯一不同的是，void foo(int x)可以發生變異在人體內x（即你的本地副本），但你不能用void foo(int const x)變異x。

C++承認了這兩種觀點。通過使兩個聲明void foo(int);和void foo(int const);聲明相同的功能來確認來電者的視角。通過允許您聲明一個函數void foo(int x);，但將其定義爲void foo(int const x) { /*...*/ }來確認實現者的角度，如果要確保您不會意外地分配給參數。

請注意，這僅適用於適用於整個類型的頂級const，即const。在int const&或int const*之類的東西中，修飾符僅適用於類型的一部分，因爲「指向（const（int））」的指針，因此它不是頂級const。然而，在int *const中，const再次適用於整個類型，如「const（pointer to（int））」中所示。