C言語で、bit全探索のシフト部分がうまく書けません。

Question

以下のようなコードを書きました。
４つの文字列の組み合わせを全列挙するだけのものです。
ネット上のサンプルと比較しても綺麗なコードではないですが、とりあえず自分で書いてみました。
しかし、何もプリントできません。

基本的な間違いをしている気がしますが何がおかしいのでしょうか。
***の部分をコメントアウトすると、ABCDの文字列が列挙されますので、シフト演算の作法が間違っているのではないかと思うのですが。

#include<stdio.h>
#include <string.h>
int main(void){
    char a[4] = "ABCD";
    char b[4];
    int i, j, k, m;
    for(i = 0; i < 16; i++){
        k = 0;
        memset(b, '\0', sizeof(b));
        for(j = 0; j < 4; j++){
            if(i & (1 << j)){      // ***
               b[k] = a[j];
               k++;
            }                      // ***
        }
        for(m = 0; m < 4; m++){
            printf("%c", b[m]);
        }
        printf("\n");
    }
    return 0;
}

Comments

[y_waiwai]

実行するとどういう出力がされるのか提示しよう

[fu_3823]

分かりにくくてすみませんでした。＊＊＊部分をコメントアウトしないと、何も表示されません。4つの文字の組み合わせ16パターンを表示したかったのですが、配列bには何も格納されないような動きにみえます。

[ozwk]

> 何も表示されません

こちらで実行したら何かしらは表示されています。

[episteme]

僕とこではこんなの↓出たよ?
1-0D
1-1C
3-01-1DC
1-2B
5-01-2DB
3-11-2CB
7-03-11-2DCB
1-3A
9-01-3DA
5-11-3CA
11-05-11-3DCA
3-21-3BA
13-03-21-3DBA
7-13-21-3CBA
15-07-13-21-3DCBA

[kaina]

paiza ioで実行した場合もepistemeさんの結果と同じですね。
https://paiza.io/projects/Mo0Q-d_NswIg_9GZzU24ow
質問者さんの実行環境を追記いただいても良いですか？

[dodox86]

面白い（？）ことにWSL/Ubuntu上で試したところ "1-0D"で表示が停まってしまいました。コードを追ってはいないですが、何か変ですね。

$ gcc --version
gcc (Ubuntu 7.5.0-3ubuntu1~18.04) 7.5.0
Copyright (C) 2017 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

$ gcc -Wall t1.c
$ ./a.out
1-0D
$ ^C
$

[fu_3823]

デバッグのためのprintf関数を残してしまいました。おかしな出力で申し訳ありません。
整理したコードを再掲しました。
また、web上のcodepadで実行してみたら、意図した通りの結果が出ました。私の環境はvscodeで、拡張機能のcode runnerで出力しようとして失敗しています。

[kazuma-s]

再掲のコードには全角スペースが入っています。
また、'\0' を出力するとへんなことになるのかもしれないので、
memset(b, '\0', sizeof(b));　を　memset(b, ' ', sizeof(b)); に変更してみてください。
'\0' をスペースにするということです。

Answer 1

環境で挙動に違いがあるのは、mでfor回している時の、ヌル文字を%c出力する時の挙動の違いがあるのかもしれませんね。
ひとまずは、b[m]がヌル文字であったなら出力しないなど条件判定を追加してみてはいかがでしょうか

#include<stdio.h>
#include <string.h>
int main(void){
    char a[4] = "ABCD";
    char b[4];
    int i, j, k, m;
    for(i = 0; i < 16; i++){
        k = 0;
        memset(b, '\0', sizeof(b));
        for(j = 0; j < 4; j++){
           if((i >> j) & 1){                // ***
               printf("%d-%d:", (i >> j), j);
               b[k] = a[3-j];
               k++;
           }                                // ***
        }
        for(m = 0; m < 4; m++){
            printf("%c" ,b[m]);
            printf("[%02X]" ,b[m]);        // 追加出力（16進数）
        }
        printf("\n");
    }
    return 0;
}

出力は以下 （borland bcc32 でコンパイル、Windows Powershell 上で実行）

PS I:\WorkPractice\shift> ./shift.exe    
 [00] [00] [00] [00]                     
1-0:D[44] [00] [00] [00]                 
1-1:C[43] [00] [00] [00]                 
3-0:1-1:D[44]C[43] [00] [00]             
1-2:B[42] [00] [00] [00]                 
5-0:1-2:D[44]B[42] [00] [00]             
3-1:1-2:C[43]B[42] [00] [00]             
7-0:3-1:1-2:D[44]C[43]B[42] [00]         
1-3:A[41] [00] [00] [00]                 
9-0:1-3:D[44]A[41] [00] [00]             
5-1:1-3:C[43]A[41] [00] [00]             
11-0:5-1:1-3:D[44]C[43]A[41] [00]        
3-2:1-3:B[42]A[41] [00] [00]             
13-0:3-2:1-3:D[44]B[42]A[41] [00]        
7-1:3-2:1-3:C[43]B[42]A[41] [00]         
15-0:7-1:3-2:1-3:D[44]C[43]B[42]A[41]    

Comments

[fu_3823]

ありがとうございました。ヌル文字の扱いが問題だったようです。ヌル文字に対して対処が必要とは考えはなかったので、大変参考になりました。

Answer 2

char a[4] = "ABCD";

未定義です。
a[5] にしてみてください。

Answer 3

printfの使い方ですが、書式に改行コード(\n)が入らないと表示されません。
また、分かり易いように

printf("i >> j　%d-%d\n", (i >> j), j);

printf("b[m]　%c\n" ,b[m]);

としてみてはどうでしょうか。

Comments

[fana]

> printfの使い方ですが、書式に改行コード(\n)が入らないと表示されません。

(1) そのような話を聞いたことがないのですが，特定の環境における話なのでしょうか？
(2) 改行が「個々の」printfに必要である，という話なのでしょうか？　（仮にバッファリング＆フラッシュ的な話があるのだとしたら，質問文内のコードには printf("\n"); が存在しているのでそこでフラッシュされそうに思うのですが）

[BlueMoon]

質問に「何も表示されない」とあるので、 printf("\n");まで到達していないと想像しました。そうであれば個々のprintfに改行コードを含めることは有効と考えました。

Answer 4

C言語のコードを組むなら、デバッグ環境を揃えましょう
コードの任意の場所で実行を止めて、変数のナカミを見ることができます
また、１行づつ実行させて、動作を確認できます

Windowsなら、VisualStudio入れてやってみましょう