如何安全完美转发C++结构体的多个成员？

你之前的写法存在语义不准确的问题，虽然在部分场景下能运行，但并非最佳实践，甚至可能在特定类型下引发未定义行为。以下是理论和实践都安全的实现方式：

核心问题分析 #

原代码中多次调用std::forward<Bundle>(info).xxx的问题在于：它通过转发整个结构体来获取成员，而非直接根据原结构体的值类别转发成员本身。如果传入的是右值临时对象，std::forward<Bundle>(info)会将结构体转换为右值，但此时如果成员是移动-only类型（比如std::unique_ptr），若widget构造函数对第一个成员执行了移动操作，第二个成员的状态会变为未指定，后续访问可能导致错误。

推荐实现方式 #

1. C++23及以上：使用std::forward_like（最优解） #

C++23引入的std::forward_like可以直接根据原始对象的值类别，转发成员的对应引用类型，语义清晰且简洁：

#include <utility>

template<typename Bundle>
auto make_widget(Bundle&& info) {
    return widget(
        std::forward_like<Bundle>(info.one_field),
        std::forward_like<Bundle>(info.another_field)
    );
}

std::forward_like<Bundle>(x)的逻辑是：如果Bundle是左值引用类型，就将x转为左值引用；如果Bundle是右值引用类型，就将x转为右值引用，完美匹配我们需要的转发语义。

2. C++23之前：手动实现成员转发逻辑 #

如果项目还在使用C++20及更早标准，可以手动实现一个类似forward_like的工具函数：

#include <type_traits>
#include <utility>

// 辅助函数：根据原始对象的值类别转发成员
template<typename Bundle, typename Member>
constexpr auto forward_member(Bundle&&, Member&& member) noexcept {
    if constexpr (std::is_lvalue_reference_v<Bundle>) {
        return std::forward<Member>(member);
    } else {
        return std::move(member);
    }
}

template<typename Bundle>
auto make_widget(Bundle&& info) {
    return widget(
        forward_member(std::forward<Bundle>(info), info.one_field),
        forward_member(std::forward<Bundle>(info), info.another_field)
    );
}

或者直接在函数内通过类型判断实现：

#include <type_traits>
#include <utility>

template<typename Bundle>
auto make_widget(Bundle&& info) {
    return widget(
        std::forward<std::conditional_t<std::is_lvalue_reference_v<Bundle>,
                                       decltype(info.one_field)&,
                                       decltype(info.one_field)&&>>(info.one_field),
        std::forward<std::conditional_t<std::is_lvalue_reference_v<Bundle>,
                                       decltype(info.another_field)&,
                                       decltype(info.another_field)&&>>(info.another_field)
    );
}

总结 #

• 避免通过转发整个结构体来获取成员，应直接针对成员进行值类别匹配的转发。
• C++23优先用std::forward_like，这是标准提供的最优解决方案。
• 旧标准下的手动实现，本质都是根据原始参数的引用类型，决定成员是按左值还是右值转发。

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