C++23中的std::forward_like：完美转发的增强-CSDN博客

本文链接：https://blog.csdn.net/Z_oioihoii/article/details/147617716

文章目录

在C++23标准中， std::forward_like的引入为模板编程中的完美转发提供了更强大的功能。本文将深入探讨 std::forward_like的设计理念、实现机制以及使用场景，帮助读者更好地理解和应用这一新特性。

一、背景与动机

（一）完美转发的局限性

完美转发是C++模板编程中的一个重要概念，其目的是在模板函数中保持参数的原始类型和值类别（左值或右值），从而准确地将参数传递给其他函数。然而，在某些情况下，传统的完美转发机制存在局限性。例如，对于指针、容器或自定义类型的成员访问，完美转发可能会丢失原始的值类别。

（二）`std::forward_like`的提出

为了解决这些问题，C++23引入了std::forward_like。它允许开发者在转发参数时，根据另一个对象的值类别来调整转发行为。这使得在复杂的模板编程场景中，能够更灵活地处理参数的转发。

二、`std::forward_like`的设计与实现

（一）基本语法

std::forward_like的基本语法如下：

template <typename T, typename U>
constexpr decltype(auto) forward_like(U&& u) noexcept;

其中，T是参考对象的类型，U是需要转发的对象的类型。std::forward_like会根据T的值类别来调整U的转发行为。

（二）实现原理

std::forward_like的实现基于C++的类型特性。它通过std::remove_cvref_t等类型特性，去除类型中的const和volatile修饰符以及引用类型，从而实现对值类别的调整。

（三）与`std::forward`的区别

std::forward是根据模板参数的类型来决定转发行为，而std::forward_like则是根据一个参考对象的值类别来调整转发行为。这使得std::forward_like在处理复杂类型时更加灵活。

三、使用场景

（一）成员访问

在模板类中，std::forward_like可以用于成员访问，确保成员的值类别与类对象的值类别一致。例如：

template <typename T>
struct Data {
    T* value;
    template <typename Owner>
    decltype(auto) operator*(this Owner&& owner) {
        return std::forward_like<Owner>(*owner.value);
    }
};

在这个例子中，std::forward_like根据Owner的值类别来转发*owner.value，从而保持一致的值类别。

（二）Lambda表达式

在Lambda表达式中，std::forward_like可以用于转发捕获的变量。例如：

template <typename F>
auto check(F&& f) {
    return [f = std::forward<F>(f)](this auto&& owner) noexcept(!std::invoke(std::forward_like<decltype(owner)>(f)));
}

这里，std::forward_like根据owner的值类别来转发f，确保在不同调用场景下保持一致的行为。

（三）容器和智能指针

std::forward_like还可以用于容器和智能指针的成员访问。例如：

struct FarStates {
    std::unique_ptr<TypeTeller> ptr;
    std::optional<TypeTeller> opt;
    std::vector<TypeTeller> container;

    auto&& from_opt(this auto&& self) {
        return std::forward_like<decltype(self)>(self.opt.value());
    }

    auto&& operator[](this auto&& self, std::size_t i) {
        return std::forward_like<decltype(self)>(container.at(i));
    }

    auto&& from_ptr(this auto&& self) {
        if (!self.ptr)
            throw std::bad_optional_access{};
        return std::forward_like<decltype(self)>(*self.ptr);
    }
};