一些c++ case

int literal;
  std::vector clause;
  for(int i = 0 ;i < num ; i++)
  {
    clause.clear();
    while(1)
    {
      std::cin >> literal;
      if(literal == 0) break;
      else clause.push_back(literal);
    }
    clauses.push_back(clause);
  }

clause.clear(); 与clauses.push_back(clause); 可以及时释放不用暂存空间；

利用break推出此次循环，进入下一次循环；

其中std::vector> clauses;