std::bind使用万能引用为何仍能按值接收可变参数？

你出现认知冲突的核心原因是混淆了 std::bind 参数接收阶段的类型推导规则 和 内部绑定参数的存储规则，二者是完全独立的两个环节：

• 首先你对万能引用的类型推导规则的理解是完全正确的：当你传入左值 n 时，Args 对应位置的类型确实会被推导为 int&，万能引用的作用仅仅是让 std::bind 可以无额外开销地接收任意值类别（左值/右值）、任意类型的入参，避免不必要的拷贝。
• 但 std::bind 的标准设计规范明确要求：默认所有绑定参数都按值存储。无论你传入的入参是左值还是右值，std::bind 内部都会将参数做类型退化（decay）后拷贝一份，存储在返回的可调用对象中。你示例中调用仿函数时，传给 function 的实际是 std::bind 内部存储的 n 的副本的引用，修改的也只是这个副本，自然不会影响外部原变量的值，所以输出为0。

补充说明 #

std::ref/std::cref 是专门用来打破默认按值存储规则的工具：它们会返回 reference_wrapper<T> 类型的包装对象，std::bind 识别到该类型时，会将其解引用为 T&/const T& 再传递给目标函数，不会额外拷贝副本，这样就能实现按引用传递的效果。你把示例里的绑定代码改为 std::bind(function, std::ref(n))，运行后输出就会是预期的1。

你之所以会觉得和完美转发特性冲突，是因为默认把「万能引用」和「直接完美转发参数」绑定在了一起，但 std::bind 并不是直接把接收的参数转发给目标函数，而是先把参数持久化存储下来，等到你主动调用返回的仿函数时才会传递参数，中间多了一层存储逻辑，和普通的直接转发参数的函数模板逻辑完全不同。

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