哈工大软件构造实验三 使用Vote类的构造方法时遇到的错误

在实验三中，我们设计了一个类Vote用来表示一张选票，其定义如下图所示：

它使用了一个泛型C，指代投票时的候选人类型。C是一个immultable的变量，我们可以把他当作Integer或者String来思考。

然后我们写出Vote的构造方法如下：

此构造方法传入参数是一个投票项VoteItem的集合。我们可以发现，VoteItem同样是一个包含了泛型C的类，当时没有注意这点，因此在后面使用该构造方法时产生了混淆。

这是最开始时我犯下的错误，注意红框中的内容，这一行代码并没有报Error，而只有一个Warning。在实例化一个像Vote这样的含泛型的类时，我们需要用<>来指定泛型的类型，否则将生成一个Raw Type，而等式左边又指定了泛型的类型，因此编译器将给出一个unchecked的Warning。很多人会忽略在编写代码时产生的Warnings，这其实是一个不太好的习惯，例如在这里事实上代码已经产生了我们期望之外的结果：我们希望泛型的类型是Integer，但结果却是VoteItem<Integer>。如果我们忽视这个Warning继续写代码的话，之后我们就会发现错误不可避免地发生了（如上图红色箭头所指向的位置）。

这是第二种错误，我尝试在右边的Vote后面用<VoteItem<Integer>>来避免Raw Type的Warning，结果产生了一个Error，报错显示The constructor is undefined。原因是等式右边紧接着Vote的<>中，将泛型设置为了VoteItem<Integer>，因此构造方法中的参数类型应当是VoteItem<VoteItem<Integer>> ，与content的类型不符。这个错误实际上与第一个本质相同，不过更早地产生了Error，有助于我们发现代码错误的位置。

接下来是正确的写法：

我们要设置的泛型C是Candidate的类型，而不是VoteItem的类型。在这里它应当是Integer，修改之后，代码不再有任何Warnings或Errors。上图中我们采用了省略的写法，完整的写法是Vote<Integer> item = new Vote<Integer>(content);这两者没有任何区别。 

通过这次错误，我认识到重视编译器给出的Wrnings也很重要，即使它们有时候不影响程序的编译和运行，但它们往往暗示了潜在的错误或缺陷。