DCL30-J. Do not attempt to assign to the loop variable in an enhanced for loop

The enhanced for statement introduced in Java 1.5, commonly referred to as the for-each idiom, finds primary application in iterating over collections of objects. While similar to the usual for statement, this idiom cannot be used to assign values to the loop variable.

Noncompliant Code Example

The intention behind this noncompliant example is to initialize a Character array using an enhanced for loop. However, because the loop variable cannot be assigned to, the array is not suitably initialized.

Character[] array = new Character[10];
for(Character c: array) 
  c = 'x'; // initialization attempt

for(int i=0;i<array.length;i++) 
  System.out.print(array[i]);  // prints 10 "null"s

Compliant Solution

This compliant solution correctly initializes the array using a for loop.

Character[] array = new Character[10];
for(int i=0;i<array.length;i++) 
  array[i] = 'x';

Risk Assessment

Attempts to assign to the loop variable from within the enhanced for loop (for-each idiom) will be futile and may leave the class in a fragile, inconsistent state.

Automated Detection

TODO

Related Vulnerabilities

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

Other Languages

TODO

References

[[JLS 05]] Section 14.14.2 "The enhanced for statement"

DCL06-J. Beware integer literals beginning with '0'.      01. Declarations and Initialization (DCL)      01. Declarations and Initialization (DCL)