,

JavaVectorでキャストするのがめんどくさい上に危険と思っていたのですが、最近のJavaではそれをしなくてよいというのはうすうす知っていたのですが、改めて確認したのでメモ。ついでに取り出すときのfor文も短く書くことができるようになったことを知りました。

import java.util.*;
public class TestString {
	String text;
	public TestString(String s){
		text = s;
	}
	public String get(){
		return text;
	}
	public static void main(String[] args){
		Vector v = new Vector();
		v.addElement(new TestString("a"));
		v.addElement(new TestString("b"));
		v.addElement(new TestString("c"));
//		v.addElement("a"); // error
		for(TestString j : v){
			System.out.println(j.get());
		}
	}
}