在Java中使用@FunctionalInterface批注标记功能接口是否是强制性的?