询问下述C++代码的运行输出及"#"+'a'表达式的类型转换逻辑

运行结果 #

• 第一行代码cout << "#" + 'a' << endl;属于未定义行为，实际运行时可能输出乱码、空白内容，甚至直接触发程序崩溃，结果随运行环境变化没有固定值。
• 后续三行代码的输出固定为 #a。

原理说明 #

"#" + 'a'的类型转换与运算规则 #

很多开发者会误以为这里是字符串拼接操作，本质是混淆了C风格字符串字面量和std::string的运算逻辑，实际执行逻辑如下：

• "#"是C风格字符串字面量，原生类型为const char[2]（存储'#'和字符串结束符'\0'两个字符），在算术运算场景下会自动隐式转换为const char*类型，指向第一个字符'#'的内存地址。
• 'a'是char类型，在ASCII编码规则下本质是值为97的整数。
  C++的指针算术规则里，指针 + 整数等价于将指针向后偏移「整数 × 指针指向类型的字节数」的内存位置，这里char占1字节，所以运算结果是原指针向后偏移97字节的新内存地址。
  而原字符串字面量仅占用2字节的合法内存，偏移97字节后的地址已经属于非法访问的野指针，cout尝试从该地址开始打印字符串直到遇到'\0'，因此输出结果完全不可控，属于未定义行为。

s += 'a'的运算规则 #

这里s是std::string类的实例，std::string专门重载了+=运算符，其中一个重载实现的入参就是char类型，作用是将传入的字符追加到当前字符串的末尾。因此执行s += 'a'后，原本存储"#"的字符串就变成了"#a"，打印结果固定。

内容的提问来源于stack exchange，提问作者Tushar Gupta