参考答案：C

解析： 在程序中，a1和a2均为char类型的变量，判断条件a1+1＜a2的执行过程是：在 Unicode字符集中找到字符'B'的下一个字符，即'C'，再将字符'C'和字符'c'的索引值做比较，在 Unicode字符集中，'C'的索引值小于'c'的索引值，因此条件表达式为true，条件分支++a1；将被执行，因此a1的值变为'C'。