C无法解析为变量-Java

Question

I have problems with this java code:

for(Clause c : clauses)
  {
  if(c.s == 0)
  {
    switch(c.formula.type)
    {

    //LITERAL
    case 0:

      {
          ArrayList<Clause> clauses_without_c = ((ArrayList<Clause>) clauses.clone());
          clauses_without_c.remove(c);
      }
    }
  }
}

And i got error "c cannot be resolved to variable" in line:

clauses_without_c.remove(c);

What's the problem?

Answer 1

I'll bet that clone() isn't doing what you think it is.

If clauses is an ArrayList, you should be reading the javadocs:

Returns a shallow copy of this ArrayList instance.

You should create a new container instance and deep copy all the values into it.