为什么 std::reference_wrapper 在调用成员函数时不隐式转换为引用?

Why doesn't std::reference_wrapper implicitly cast to a reference when calling member function?

本文关键字:转换 引用 成员 reference std wrapper 为什么 调用 函数      更新时间:2023-10-16

我不明白为什么不能使用这样的std::reference_wrapper

#include <vector>
#include <functional>
struct Foo
{
    void f() {};
};
int main()
{
    std::vector<std::reference_wrapper<Foo>> vrFoo;
    Foo foo;
    vrFoo.push_back(foo);
    // vrFoo[0].f(); // error
    vrFoo[0].get().f(); // or static_cast<Foo&>(v[0]).f();
}

为什么我们必须使用get()成员函数?看起来std::reference_wrapper通过operator T&() const noexcept隐式转换为T&,请参阅http://en.cppreference.com/w/cpp/utility/functional/reference_wrapper那么为什么v[0]没有隐式转换为引用呢?

在其他情况下,如

std::cout << v[0] << std::endl

这个转换发生了(我在这里假设Foo过载operator<<

因为.总是用来访问它所应用的对象的成员。不考虑类型转换。

有一个建议是允许operator.重载,以完全实现您想要的功能,但这至少要到C++17才能成为标准,如果有的话。

正如@MikeSeymour所指出的,这是一个语言限制。

这就是为什么我认为std::reference_wrapper应该有一个重载的operator&,它返回被包装对象的地址:

template<class T>
struct reference_wrapper{
   ...
   T* operator &(){return ptr;}
}

以便以后可以使用&Foo->f()(*&Foo).f()来代替Foo.get().f()static_cast<T&>(Foo).f()