为了分析这段代码的输出，我们可以逐步执行代码，并观察 `a` 列表在每一步的变化。代码如下：

```python
a = [1, 2, 3]
for i in range(len(a)):
if i == 0:
a[i] = i + 1
elif i == 2:
a[i] = i + 3
else:
a[i] = i - 1
print(a)
```

让我们逐步分析每一步：

1. **初始状态**：`a = [1, 2, 3]`

2. **第一轮迭代（i = 0）**：
- 条件 `if i == 0` 为真，因此执行 `a[i] = i + 1`。
- 这导致 `a[0] = 0 + 1 = 1`。
- 现在 `a = [1, 2, 3]`。
- 然后进行 `print(a)`，输出 `[1, 2, 3]`。

3. **第二轮迭代（i = 1）**：
- 通过条件 `elif i == 2`，它是假的。
- 执行 `else` 语句 `a[i] = i - 1`。
- 这导致 `a[1] = 1 - 1 = 0`。
- 现在 `a = [1, 0, 3]`。
- 然后进行 `print(a)`，输出 `[1, 0, 3]`。

4. **第三轮迭代（i = 2）**：
- 条件 `elif i == 2` 为真，因此执行 `a[i] = i + 3`。
- 这导致 `a[2] = 2 + 3 = 5`。
- 现在 `a = [1, 0, 5]`。
- 然后进行 `print(a)`，输出 `[1, 0, 5]`。

因此，最终 `a` 的值是 `[1, 0, 5]`。故正确答案是选项 A: `[1, 0, 5]`。