我注意到日食JDT
uses
void
as a primitive type.这可以被认为是正确的吗?
解决方法
我发现,在这种情况下,你不能打败Java语言规范.关于空虚不是原始的事实是非常清楚的.
首先,空缺不在list of primitive types.后来,JLS明确指出:
the Java programming language does not allow a “cast to void” — void is not a type
07001 (emphasis mine)
此外,无效出现在list of keywords中,而不是文字列表.
你看到你所做的是因为Michael Borgwardt的explained nicely.
所以,回答你的标题:不.在Java中,void不能被认为是一个原语.回答你的身体:是的,Eclipse JDT代码是正确的,它需要做什么.