HashSet基于HashMap实现，允许存储一个null元素。它通过hashCode和equals方法确保元素的唯一性。添加重复元素时，add方法会返回false，表示添加失败，而不会抛出异常。在理想情况下（没有哈希冲突），查找元素的时间复杂度是O(1)。选项A正确，HashSet确实允许一个null元素。选项B正确，通过hashCode和equals方法保证唯一性。选项D正确，contains方法在理想情况下复杂度为O(1)。选项C错误，添加重复元素不会抛出异常。