问在C++中线程中有一个with循环的条件变量

EN

#include <iostream>

#include <thread>
#include <condition_variable>
#include <vector>

int main() {
        int n_core = std::thread::hardware_concurrency();
    std::vector<std::thread> workers;
    int max = 100;
    int count = 0;
    std::condition_variable cv;
    std::mutex mutex;
    int timecalled = 0;


    for (int i = 0; i < n_core; i++) {
        workers.emplace_back(std::thread{[&max, &count, &mutex, &cv]() {
            while (true) {
                std::unique_lock<std::mutex> lk{mutex};
                std::cout << std::this_thread::get_id() << " cv" << std::endl;
                cv.wait(lk, [&count]() { return count == 1; });
                std::cout << std::this_thread::get_id() << " - " << count << std::endl;
                count--;
                std::cout << std::this_thread::get_id() << " notify dec" << std::endl;
                cv.notify_all();
            }
        }});
    }

    while (max > 0) {
        std::unique_lock<std::mutex> lk{mutex};
        std::cout << std::this_thread::get_id() << " cv" << std::endl;
        cv.wait(lk, [&count]() { return count == 0; });
        std::cout << std::this_thread::get_id() << " created token" << std::endl;
        count++;
        max--;
        timecalled++;
        std::cout << std::this_thread::get_id() << " notify inc" << std::endl;

        cv.notify_all();
    }

    for (auto &w : workers) {
        w.join();
    }

    std::cout << timecalled << std::endl; // must be equal to max
    std::cout << count << std::endl; // must be zero

}

100
0