让我来帮你拆解这个问题——你遇到的其实是C语言字符串操作里一个经典的「重叠内存陷阱」，咱们一步步说清楚：

为什么直接用strcpy(s + i + 1, s + i)会出问题？ #

首先得搞懂strcpy的工作逻辑：它会从源指针指向的位置开始，逐个字节复制到目标指针，直到碰到字符串终止符'\0'才停下。但这里有个致命前提：源和目标的内存区域绝对不能重叠，一旦重叠，结果就是「未定义行为」——编译器想怎么折腾都可以，无限循环、崩溃、输出乱码都是可能的。

拿你输入的brain举例子：原字符串是b r a i n \0（索引0到5），当处理到元音a（索引i=2）时，你执行strcpy(s+3, s+2)：

• 源是s+2，也就是从a开始的子串a i n \0
• 目标是s+3，也就是原来i的位置

这时候内存区域完全重叠了，strcpy开始复制的瞬间就乱套了：

1. 先把s[2]的a复制到s[3]，原本的i被覆盖成a
2. 接着要复制s[3]的内容到s[4]——但此时s[3]已经变成了a，不是原来的i了
3. 然后复制s[4]的内容到s[5]，原本的终止符'\0'被覆盖成a
4. 现在整个字符串里再也找不到'\0'了，strcpy会一直往后疯狂复制，越界访问内存，直接导致程序无限循环、无法正常返回。

这就是重叠内存带来的灾难——它直接毁掉了字符串的终止标记，让strcpy变成了停不下来的怪物。

为什么用aux辅助字符串就没问题？ #

因为aux是一块完全独立的内存区域，和原字符串s没有任何重叠。当你先执行strcpy(aux, s+i)，会把s+i对应的子串完整复制到aux里（包括自带的'\0'），然后再把aux的内容复制到s+i+1：

• 此时源是aux（独立内存，内容不会被修改）
• 目标是s+i+1，两者完全不重叠

strcpy可以安安稳稳地把aux里的内容复制过去，不会出现覆盖源数据的情况，自然能正确插入*，程序也能正常结束。

给你两个优化小建议 #

1. 用memmove替代strcpy处理重叠内存：memmove是专门为重叠内存场景设计的函数，它会先判断内存位置，选择从前往后或者从后往前复制，彻底避免覆盖问题。比如你可以把代码改成：

if(strchr("aeiou", s[i])){
    // strlen(s)-i+1 是要包含终止符'\0'的长度
    memmove(s + i + 1, s + i, strlen(s) - i + 1); 
    s[i+1] = '*';
}

这样就不需要辅助字符串aux了，更高效也更安全。

2. 优化循环效率：你的原代码循环条件是i < strlen(s)，但每次插入字符后字符串长度会变长，而且每次调用strlen都要遍历整个字符串，效率很低。建议先保存原长度，再调整循环逻辑：

int len = strlen(s);
for (int i = 0; i < len; ) {
    if(strchr("aeiou", s[i])){
        memmove(s + i + 1, s + i, len - i + 1);
        s[i+1] = '*';
        len++; // 字符串长度加1
        i += 2; // 跳过当前元音和刚插入的*
    } else {
        i++;
    }
}

这样既避免了重复计算字符串长度，还能跳过已经处理过的位置，效率提升不少。

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