当模板参数T=int&时，为何set(const T val)与set(const int& val)不等价？

先看你的代码：

template <class T>
struct ClassA{
public:
    T data;                   // T == int&;
public:
    void set(const T val){    // T == int&; 为何不等价于set(const int& val)
       this->data = val;
    }
};

void main(){
    int num = 1;
    ClassA<int&> instance {num};
    const int val = 100;
    instance.set(val);  // gcc错误：binding reference of type 'int&' to 'const int' discards qualifiers
}

核心原因是const限定符无法作用在引用本身上：

• 当T=int&时，const T展开后不是const int&，而是int& const——但C++里引用本身是变量的别名，从绑定后就不能再指向其他对象，所以const修饰引用本身毫无意义，编译器会直接忽略这个const。
• 最终实例化后的set函数签名是void set(int& val)，而非你预期的void set(const int& val)。

这直接导致了编译错误：你传入的const int val是const类型，要绑定到int&类型的参数，相当于把const int隐式转换为int&，这会丢弃const限定符，违反C++的类型安全规则，因此gcc抛出错误。

如果想要达到const int&的参数效果，可借助引用折叠规则，将模板参数改为const T& val——当T=int&时，const T&会被折叠为const int&；或者更严谨的方式，使用类型萃取：void set(const typename std::remove_reference_t<T>& val)，确保无论T是否为引用类型，最终参数都是对应值的const引用。

内容的提问来源于stack exchange，提问作者likecpp