Добавить элемент в std::list в многопоточности без мьютекса для C++

Question

Для текущего кода вывод будет отличаться размером в мл. Я путаюсь из-за того, что эта программа не падает, и многопоточность пытается изменить список в list_thread_safe. как std::list обрабатывает это в C++? во-первых, спасибо

(Раскомментируйте код для mutex, он получит тот же размер ml.)

#include <iostream>
#include <thread>
#include <string>
#include <vector>
#include <map>
#include <unistd.h>
#include <list>
#include <mutex>
#include <algorithm>

std::mutex list_mutex; 
class list_thread_safe {
public:
    list_thread_safe() {
        std::cout<<"construct a list thread safe"<<std::endl;
    }

    ~list_thread_safe() {
        std::cout<<"destruct a list thread safe"<<std::endl;

    }

    void add_to_list(int new_v) {
        // std::lock_guard<std::mutex> guard(list_mutex);

        // add 10 elements to list 
        l.push_back(new_v);    
        l.push_back(new_v);  
        l.push_back(new_v);    
        l.push_back(new_v);     
        l.push_back(new_v);    
        l.push_back(new_v);  
        l.push_back(new_v);    
        l.push_back(new_v); 
        l.push_back(new_v);    
        l.push_back(new_v);  
    }
    std::list<int> l;

};

void add1_times(list_thread_safe& lts,int thread_num, int n) {
    for (int i=0; i< n ; i++) {
        lts.add_to_list(i);
    }
    std::cout<<"thread num "<<thread_num<<" done "<<std::endl;
    std::cout<<"thread list size: "<<lts.l.size()<<std::endl;

}
int main(){
    list_thread_safe ml;
    std::vector<std::thread> ths;
    int thread_num = 10;
    int add_num = 20;
    for(size_t i = 0; i < thread_num; i++)
    {
      printf("%d ", i);
      ths.push_back(std::thread(std::bind(add1_times, std::ref(ml), i, add_num)));
    }

    std::for_each(ths.begin(), ths.end(), std::mem_fn(&std::thread::join));
    std::cout<<"ml size:"<<ml.l.size()<<std::endl;

}

Answer 1

"... как std::list обрабатывает это..."

std::list не является потокобезопасным. Это безопасно читать std::list на более чем одной теме. Но небезопасно иметь несколько потоков, изменяющих список, или один поток, изменяющий список, и несколько читателей.