注解中的空值限制
在Java注解中，元素值不允許使用null引用。這是注解使用中的一項重要約束規則，違反該規則將導致編譯錯誤。需要注意的是，雖然禁止使用null值，但允許為String類型元素指定空字符串(“”)，為數組類型元素指定空數組({})。
空值約束示例
以下兩種注解用法都會觸發編譯錯誤，因為它們嘗試將null作為注解元素值：
@ToDo(items=null) // 錯誤：數組元素不能為null
@Name(first=null, last="Jacobs") // 錯誤：字符串元素不能為null
合法替代方案
當需要表示"空值"概念時，應當使用對應類型的空值表示形式：
@ToDo(items={}) // 正確：使用空數組
@Name(first="", last="Jacobs") // 正確：使用空字符串
設計原理
這項約束主要基于以下考慮：
- 類型安全性：確保注解值始終具有明確類型
- 編譯時檢查：所有注解值必須在編譯時可確定
- 一致性：避免運行時因null值導致的異常情況
需要特別注意，即使是可選的注解元素（具有default默認值），在顯式賦值時也不允許使用null值。這項約束適用于所有類型的注解元素，包括基本類型、字符串、類對象、枚舉、注解類型以及它們的數組形式。
注解類型的六大限制
Java注解類型作為一種特殊的接口形式，在使用時存在若干重要限制。這些限制確保了注解的簡潔性和可預測性，開發者必須嚴格遵守這些規范才能正確定義和使用注解。
限制1：繼承限制
注解類型不允許使用繼承機制。具體表現為：
- 禁止使用
extends子句繼承其他注解類型 - 所有注解類型都隱式繼承
java.lang.annotation.Annotation接口
// 錯誤示例：注解類型不能繼承
public @interface WrongVersion extends BasicVersion {int extended();
}
每個注解類型自動包含Annotation接口的四個方法：
equals()hashCode()toString()annotationType()
特別注意：這些繼承的方法不代表注解元素，不能作為元素使用。例如@Version(toString="Hello")是無效的，因為toString不是聲明的元素。
限制2：方法參數限制
注解元素方法聲明不得包含任何參數：
// 錯誤示例：帶參數的方法
public @interface WrongVersion {String concatenate(int major, int minor); // 編譯錯誤
}
這是因為注解元素本質上相當于類的字段，Java運行時會自動生成代理類來實現getter方法。參數的存在與注解作為元數據的本質相沖突。
限制3：異常聲明限制
注解元素方法不能聲明拋出異常：
// 錯誤示例：帶throws子句的方法
public @interface WrongVersion {int major() throws Exception; // 編譯錯誤int minor(); // 合法
}
由于注解元素僅用于表示數據值，異常聲明在此場景下沒有實際意義。
限制4：返回類型限制
方法返回類型必須為以下類型之一：
- 基本數據類型（byte/short/int/long/float/double/boolean/char）
- String類型
- Class類型（可帶泛型）
- 枚舉類型
- 注解類型
- 上述類型的數組（不允許嵌套數組）
// 正確示例：多樣的返回類型
public @interface ValidTypes {int primitive();String text();Class type();Class specificType();ReviewStatus enumType();Version annotationType();String[] array();
}
特別說明：Class類型可以使用泛型限定，如Class表示僅接受Test類，Class表示接受Test及其子類。
限制5：方法覆蓋限制
注解類型不能聲明與Object或Annotation接口方法同名的方法：
// 錯誤示例：嘗試覆蓋toString()
public @interface InvalidAnnotation {String toString(); // 編譯錯誤
}
這是因為所有注解類型已經隱式繼承了這些方法，重復聲明會導致沖突。
限制6：泛型限制
注解類型不能是泛型類型：
// 錯誤示例：泛型注解
public @interface GenericAnnotation { // 編譯錯誤T <
