Java Regex中的零长度匹配

Pattern pattern = Pattern.compile("a?");
Matcher matcher = pattern.matcher("ababa");
while(matcher.find()){
   System.out.println(matcher.start()+"["+matcher.group()+"]"+matcher.end());
}

输出：

0[a]1
1[]1
2[a]3
3[]3
4[a]5
5[]5

我知道的 ：

>“一个？”代表字符’a’的零或一次出现.

Java API说：

> matcher.start()返回上一个匹配的起始索引.
> matcher.end()返回最后一个字符匹配后的偏移量.
> matcher.group()返回与前一个匹配的输入子序列
比赛.对于具有输入序列s的匹配器,表达式
m.group()和s.substring(m.start(),m.end())是等价的.并为
某些模式(例如a *)匹配空字符串.这种方法
当模式成功匹配时,将返回空字符串
输入中的空字符串.

我想知道的是什么：

>在哪些情况下正则表达式引擎遇到零
出现一个给定的角色 – 这里是角色’a’.
>在那些情况下,start()实际返回的值是什么,
匹配器中的end()和group()方法.我已经提到了什么
java API说.但是在实际问题上我还不清楚
情况如上.