當一個類型有額外的修飾符時會發生什麼？

Question

可能重複：
Reference collapsing?

template< 
    class T = const std::vector<int> & 
> void f(const T &); 

如果T已經const和參考，會發生什麼？爲什麼此代碼編譯呢？

Answer 1

這將是const (const std::vector<int>&) &等同，並且在這種情況下，const將被忽略，因爲你不能有一個const引用爲const T，僅供參考爲const T.因爲引用不能被重新插拔一下，在const會無論如何。此外，忽略const您有(T&) &，並且由於C++ 11中的引用合併規則，這將變爲T&。所以最後的結果是const T&或const std::vector<int>&你的情況。

如果你有const T*，那麼它會有所作爲，因爲這將是const (const std::vector<int>&)* p這將使指針const。