C++模板中auto&&与带约束auto&&的差异及MSVC编译疑问

核心原因：约束作用于推导后的引用类型，而非底层值类型 #

你遇到的现象并非“万能引用变成仅右值引用”，而是约束的写法排除了左值引用的情况，且该行为符合C++20标准，并非MSVC特有问题。

具体推导过程 #

con auto&& x是C++20中带约束的模板函数简写，等价于：

template<con T>
void f(T&& x) {}

根据C++转发引用（万能引用）的规则：

• 传入右值Derived()时，模板参数T被推导为Derived（值类型），此时检查约束con<Derived>：
  • std::is_class_v<Derived>为true，且Derived继承自Base，满足约束，因此可以正常匹配。
• 传入左值Derived d时，模板参数T被推导为Derived&（左值引用类型），此时检查约束con<Derived&>：
  • std::is_class_v<Derived&>为false（引用类型不属于类类型），约束不满足，因此编译器提示“无匹配重载函数”。

解决方法：调整约束以支持引用类型 #

要让约束同时支持值类型和引用类型，需要将约束作用于移除引用后的底层类型，修改con的定义即可：

#include<concepts>
#include<type_traits>

class Base { public: Base() {} };
class Derived : public Base { public: Derived() {} };

template<typename T> 
concept con = std::is_class_v<std::remove_reference_t<T>>
&& std::derived_from<std::remove_reference_t<T>, Base>;

void f(con auto&& x) {}

int main()
{
   f(Derived()); // 右值：正常
   Derived d;
   f(d); // 左值：现在可以正常编译
}

这里用std::remove_reference_t<T>获取T移除引用后的类型，确保无论T是值类型还是引用类型，都能正确检查底层类的属性。

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