＞同じ文字群でも文字列リテラルの返す値は
＞いつでも等しいわけじゃない
もちろんその通り。コンパイラによっては
同じ文字列を検出する最適化オプションがある場合もある。

＞'a'ってうのは決まった値を返しますよね？
当然。これは環境にもよるがただのchar型整数で
windowsなら0x61以外の何者でもない。