为何无法在函数指针`void(*func)(T&&)`和范围for循环中使用万能引用？

你遇到的编译错误核心源于对万能引用的使用条件误解，以及范围for循环的元素类型匹配问题，具体拆解如下：

1. T&& val并非万能引用 #

万能引用（转发引用）的生效前提是：模板参数必须是推导得到的，且声明形式为U&&。但你调用ForEach<int>时，已明确指定模板参数T=int，此时T&&是普通的右值引用（int&&），而非万能引用。

而vec是const vector<T>（即const vector<int>），范围for循环遍历const容器时，每个元素的类型是const int&（带const属性的左值）。C++不允许将const int&绑定到int&&——右值引用只能绑定到可修改的右值，无法绑定到const左值，这直接触发了C2440类型转换错误。

2. std::forward用法错误 #

std::forward需要显式指定模板参数才能正确转发值类别，你写的std::forward(val)缺少模板参数，编译器无法推导转发目标类型，因此报出C2672找不到匹配函数的错误。即便修正为std::forward<decltype(val)>(val)，前面的类型不匹配问题依然无法解决。

3. 回调函数指针的类型不兼容 #

原ForEach的回调参数是void(*func)(T&&)，当T=int时，该指针指向void PrintFunc(int&&)版本。但遍历const容器时只能拿到const int&类型的元素，无法转换成int&&传递给回调，进一步加剧了类型不匹配。

为何修改后的代码能正常运行 #

修改后的ForEach函数统一使用const T&作为遍历元素类型和回调参数类型：

• const T&可以正常绑定到const容器的元素；
• 回调函数void(*func)(const T&)匹配PrintFunc(const int&)版本，类型完全兼容，因此编译通过并正常运行。

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