std::forward是否存在参数非变量名的使用场景？

是的，std::forward的参数完全可以是变量名以外的合法表达式，只要能通过模板参数正确保留表达式的值类别即可。以下是几个常见的实际场景：

1. 转发类成员访问表达式 #

当需要转发对象的成员变量时，直接以成员访问表达式作为std::forward的参数：

template <class T>
void process(T&& obj) {
    // 转发obj.data，保留obj的左/右值属性对应的成员值类别
    do_something(std::forward<decltype(obj.data)>(obj.data));
}

这里obj.data是成员访问表达式，而非单纯变量名。通过decltype(obj.data)获取成员的类型（包含值类别信息），配合std::forward实现正确转发。

2. 转发函数调用结果表达式 #

在包装函数中，直接转发函数调用的结果：

template <class Func, class... Args>
decltype(auto) wrap_and_forward_result(Func&& func, Args&&... args) {
    // 直接转发func调用后的结果表达式
    return std::forward<decltype(std::forward<Func>(func)(std::forward<Args>(args)...))>(
        std::forward<Func>(func)(std::forward<Args>(args)...)
    );
}

虽然实际代码中更倾向于先将结果存入auto&&变量再转发，但直接用函数调用表达式作为std::forward参数是完全合法的。

3. 转发数组下标表达式 #

对于数组类型的转发，以下标表达式作为参数：

template <class T, size_t N>
void pass_array_element(T(&& arr)[N], size_t idx) {
    // 转发arr[idx]，保留原数组的左/右值属性
    use_element(std::forward<decltype(arr[idx])>(arr[idx]));
}

这里arr[idx]是数组下标表达式，通过decltype获取其类型后，用std::forward转发对应的左/右值。

本质原因 #

std::forward的核心逻辑是：根据显式指定的模板参数类型，将参数表达式转换为对应的值类别（左值或右值）。只要能通过decltype或显式模板参数提供正确的类型信息，任何合法的可求值表达式都可以作为它的参数——这也是你示例中FWD宏能灵活适配各种场景的原因，比如FWD(obj.data)会展开为std::forward<decltype(obj.data)>(obj.data)，完全支持非变量名表达式。

内容的提问来源于stack exchange，提问作者Dr. Gut