要分析这段代码的输出结果，我们需要确切地理解每一步的代码执行过程。下面是详细分析：

```python
a = [1, 2, 3] # 初始化列表 a
for i in range(len(a)): # 遍历列表的索引 i
if i == 0:
a[i] = i + 1 # 如果索引是0，a[0] = 0 + 1 = 1
elif i == 2:
a[i] = i + 3 # 如果索引是2，a[2] = 2 + 3 = 5
else:
a[i] = i - 1 # 其他情况下，即i==1时，a[1] = 1 - 1 = 0
print(a)
```

逐步执行代码：

1. 初始列表 `a = [1, 2, 3]`
2. 当 `i = 0`，执行 `a[0] = 0 + 1`，所以 `a` 变为 `[1, 2, 3]`
3. 当 `i = 1`，执行 `a[1] = 1 - 1`，所以 `a` 变为 `[1, 0, 3]`
4. 当 `i = 2`，执行 `a[2] = 2 + 3`，所以 `a` 变为 `[1, 0, 5]`

所以，最终输出的列表 `a` 是 `[1, 0, 5]`。

因此，正确答案是：**A: [1, 0, 5]**。