别生气学习如何规划行动是学习的全部。
稍微修改你的（更简单的）第一个版本应该提供解决方案。

bool isAnagram( char *str1, char *str2 ) {
    unsigned char cnt1[256] = { 0 }; // 0-255 is sufficient range for tallying
    unsigned char cnt2[256] = { 0 };

    while( *str1 && *str2 ) {
        cnt1[ tolower( (unsigned char)*str1++ ) ]++;
        cnt2[ tolower( (unsigned char)*str2++ ) ]++;
    }

    if( *str1 || *str2 )
        return false;

    for( size_t i = 0; i < sizeof cnt1; i++ )
        if( cnt1[i] != cnt2[i] )
            return false;

    return true;
}

注意事项：
1.在这样的函数中，较短的变量名更容易阅读/扫描。

1. str1和str2是本地和消耗性的;用作指针简化了代码。
   1.大写字母字符将作为其对应的大写字母进行计数。
   1.转换为unsigned char可以防止b7被设置时出现的 sign extension。
   1.你的“直方图”统计是精心策划的！干得漂亮！
   1.数组元素的索引应该是size_t i（永远不会为负）。

编辑

如果你真的想给人留下深刻印象，把for()循环和return true;替换为：

return memcmp( cnt1, cnt2, sizeof cnt1 ) == 0;

或者，更进一步：

return !*str1 && !*str2 && !memcmp( cnt1, cnt2, sizeof cnt1 );

五行代码用一行来表达。
字谜：“活”，“邪恶”，“卑鄙”，“面纱”...：-）

这里有一个解决方案给你。你已经很接近了--我只是稍微修改了你的代码。注意tolower（）的用法及其在代码中的位置。这将导致计数数组按计划递增。这将产生一个不区分大小写的解决方案，如输出所示。编辑：还注意到@Aconcagua的评论中添加了“unsigned char”。可运行代码可在here上使用。

#include <stdio.h>
#include <ctype.h> /* tolower() */
#include <stdbool.h> /* bool, true, false */
    
bool isAnagram(char* pattern, char* string) 
{
    int count[256] = {0};
    int count2[256] = {0};
    int i;
    
    for (i = 0; pattern[i] && string[i]; i++) {
        count[tolower((unsigned char)pattern[i])]++;   /* added tolower() + cast */
        count2[tolower((unsigned char)string[i])]++;   /* added tolower() + cast */
    }
    if (pattern[i] || string[i]) {
        return false;
    }
    for (i = 0; i < 256; i++) {
        if (count[i] != count2[i]) {
            return false;
        }
    }
    return true;
    
}

int main () 
{
    printf("%s\n", isAnagram("Batman", "Manbat")?"TRUE":"FALSE");
    printf("%s\n", isAnagram("Batman", "Cat")?"TRUE":"FALSE");
    printf("%s\n", isAnagram("Strut", "Trust")?"TRUE":"FALSE");
  
    return(0);
}

输出量：

TRUE
FALSE
TRUE