互斥锁定/解锁顺序

不,订单没有保证。它恰好在你的机器上(例如,在我的电脑上)以这种方式工作 ok 并非总是正确的)。

不,订单没有保证。

您可以尝试使用条件变量:

#include <thread>
#include <vector>
#include <array>
#include <list>
#include <mutex>
#include <condition_variable>

const int MAX = 100; //***
std::mutex testVecMtx;
std::vector<int> testVec;
std::array<std::condition_variable,MAX+1> Notifications; //***
int Current = 0; //***

void testPush(int v){
  std::unique_lock<std::mutex> lk(testVecMtx);
  while (v != Current){
    Notifications[v].wait(lk);
  }

  testVec.push_back(v);
  Current++;

  if (v != MAX)
    Notifications[v+1].notify_all();
}

int main(){
  std::list<std::thread> thList;

  for (int i = 0; i < MAX; i++){
    thList.push_front(std::thread(testPush,i));
  }

  for (auto &i : thList){
        i.join();
  }

  bool ok = true;

  for (int i = 0; i < (testVec.size() - 1) && ok ;i++){
    ok = (testVec[i + 1] - testVec[i]) == 1;

  }

  if (ok){
    int stop = 243; // 1st breaking point here...
//    std::cout<<"Ok"<<std::endl;
  }
  else{
    int stop = 432; // ...and 2nd here
  }
}