c++ - 为什么add_const<T>中的T若为引用则add_const<T>::type仍为T？

Question

为什么add_const对引用无效，比如我认为，add_const<int &>::type应该是const int &才对，
而实际上，add_const<int &>::type仍旧是int &

Answer 1

引用只有底層const，沒有頂層const。
假如add_const對int &產生改變，則其type會是int &const，顯然是不對的

Answer 2

template <typename T, 
    bool = is_reference<T>::value ||
    is_function<T>::value ||
    is_const<T>::value
>
struct add_const;

然後寫了true和false的特化

要加reference有一個add_lvalue_reference和add_rvalue_reference