std :: chức năng const chính xác

Giả sử tôi có một loại có thể gọi như vậy:

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

Lưu ý rằng mutable_callablecó một hằng số operator()sửa đổi một biến thành viên .....

Bây giờ giả sử tôi tạo ra một std::functionloại của tôi:

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

Bây giờ tôi có thể làm điều này:

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

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

Bây giờ như xa như tôi có thể nói với std::functions operator()là consttheo: https://en.cppreference.com/w/cpp/utility/functional/function/operator ()

Vì vậy, cảm giác ruột của tôi là bạn không nên làm điều này .....

Nhưng sau đó nhìn vào: https://en.cppreference.com/w/cpp/utility/feftal/feft/feft

Điều này dường như không đặt ra bất kỳ ràng buộc nào về việc loại có thể gọi được có hằng số hay không operator()......

Vì vậy, câu hỏi của tôi là: Tôi đúng khi cho rằng std::function<int()> const&về cơ bản là giống như std::function<int()>&điều đó thực sự không có sự khác biệt giữa hành vi của hai người ...... và nếu đó là trường hợp tại sao nó không constđúng?

Điều này sôi xuống giống như struct A { int* x; };, trong đó const A a;bạn có thể sửa đổi giá trị của *(a.x)(nhưng không phải là nơi nó trỏ đến). Có một mức độ gián tiếp trong std::function(từ kiểu xóa) thông qua đó constkhông được truyền bá.

Và không, std::function<int()> const& fkhông phải là vô nghĩa. Trong một std::function<int()>& fbạn sẽ có thể chỉ định một functor khác f, mà bạn không thể làm trong consttrường hợp này.