std::function const 正確性

Question

假設我有一個像這樣的可調用類型：

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::function s 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正確的？

Answer 1

這歸結為與struct A { int* x; };相同struct A { int* x; }; struct A { int* x; }; , 其中在一個const A a; 您可以修改*(ax)的值（但不能修改它指向的位置）。 std::function有一個間接級別（來自類型擦除）， const不會通過它傳播。

不， std::function<int()> const& f並非毫無意義。 在std::function<int()>& f您可以將不同的函子分配給f ，而在const情況下則不能這樣做。