std :: function const正确性

假设我有一个像这样的可调用类型：

struct mutable_callable
{
    int my_mutable = 0;
    int operator()() { // Not const
        return my_mutable++;
    }
};

请注意，它mutable_callable具有一个operator()用于修改成员变量的非常量。

现在假设我创建了一个std::function我的类型之外的代码：

std::function<int()> foo = mutable_callable{};

现在我可以这样做：

void invoke(std::function<int()> const& z)
{
    z();
}

int main()
{
    invoke(foo); // foo changed.....oops
}

现在，据我所知，std::functions operator()的信息const如下：https : //en.cppreference.com/w/cpp/utility/functional/function/operator（）

所以我的直觉是您不应该这样做.....

但随后查看：https : //en.cppreference.com/w/cpp/utility/functional/function/function

这似乎对可调用类型是否具有常量没有任何限制operator()……

所以我的问题是：我认为这std::function<int()> const&与本质上是同一件事是正确的，std::function<int()>&两者之间的行为实际上没有区别……如果是这样，那为什么不const正确呢？

这归结为一样struct A { int* x; };，在这里const A a;，你可以修改的值的*(a.x)（但不是它指向的）。std::function（从类型擦除开始）存在一个间接级别，该级别const不传播。

不，std::function<int()> const& f不是没有意义的。在中，std::function<int()>& f您可以为分配一个不同的函子f，而在这种const情况下则不能这样做。