关键这个证明思路就是利用子类型约束，这样C#之类其他语言，甚至Go 2可能都逃不脱（我没细看需要验证）。
【 在 ilovecpp 的大作中提到: 】
: 还是有点意外。一般设计语言机制的时候还是会考虑编译器的计算复杂度。Java这个从简的泛型，没想到编译时（理论上）也没有时间复杂度上限。
:
: 【 在 hongdiao 的大作中提到: 】
: ...................
--
修改:milksea FROM 114.249.196.*
FROM 114.249.196.*