c言語のbool型変数の出力変換指定子

Question

c言語のbool型についての質問です。
printf関数でbool型変数の値を表示したい場合は、int型のときと同様に%dでいいのでしょうか？
それとも、bool変数用の指定子が新たに用意されているのでしょうか？

Answer 1

printf関数でbool型変数の値を表示したい場合は、int型のときと同様に%dでいいのでしょうか？

真値で1／偽値で0を表示するならば、int型と同じく%d指定子でOKです。
"true"/"false"のような表記が欲しければ、%s指定子と(b ? "true" : "false")を組み合わせればよいでしょう。

それとも、bool変数用の指定子が新たに用意されているのでしょうか？

bool型専用の指定子は提供されません。というのも「仮に専用の指定子があっても役に立たないから」という理由があります。

C言語の言語仕様では、printfのような可変長引数をとる関数の実引数において、bool型の値は常にint型に自動変換されてしまうためです。つまり、bool型専用の指定子があったとしても、その値をbool型のまま渡すことができないのです。
（もし興味があれば；厳密には汎整数拡張(integral promotion)という変換が行われます。）

Comments

[Takahito_Ogawa]

必要十分な説明で非常にわかりやすく教えていただきありがとうございました！
特に後半部の「提供されない理由」で、言語仕様やその背景にある思想まで知ることができました。最後にキーワードを残してくださったのも勉強になってありがたいです！

Answer 2

• 変換指定子と変数の型の対応表 http://webkaru.net/clang/printf-format-specifiers/

この表をみると bool はありません。

では 世の中ではどう対処しているのでしょう？
"c printf bool" で google 検索すると こんなページをみつけました。

• What is the printf format specifier for bool? http://stackoverflow.com/questions/17307275/

...
bool x = true;
printf("%d\n", x); // prints 1

But why not
printf(x ? "true" : "false");
or better
printf("%s", x ? "true" : "false");
...

%d で良いようです。
でも、これでは 1 とか 0 と表示されます。
"true", "false" と表示させる方法が提示されてますね。

Answer 3

int型のときと同様に%dでよいです。
真 = 1
偽 = 0 です。

Answer 4

もともとC言語には論理型はなく、intなど整数型で代用していました。その名残でprintfには論理型の表示指定がないのだと思います。
C言語自身の仕様もバージョンアップが行われていて、通称「C99」と呼ばれているものから、bool型が使えるようです。これはC言語から派生したC++言語のbool型を"逆輸入"したようです。

bool型をそれらしく"true"/"false"と表示したいのなら、以下などどうでしょう。

    printf("boolean value = %s", ((boolvalue == FALSE)? "false": "true"));

Answer 5

C言語のboolはc99以降でしか使えない＆実装依存だったともいます。・・・たいていはintですが。
なので、stdbool.hがあれば定義を確認したほうがいいと思います。
私の環境では以下のようになっています。

/usr/include cat stdbool.h 
/*
 * Copyright (c) 2000 Jeroen Ruigrok van der Werven <[e-mail]>
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 *
 * $FreeBSD: releng/10.1/include/stdbool.h 228878 2011-12-25 20:15:41Z ed $
 */

#ifndef __bool_true_false_are_defined
#define __bool_true_false_are_defined   1

#ifndef __cplusplus

#define false   0
#define true    1

#define bool    _Bool
#if __STDC_VERSION__ < 199901L && __GNUC__ < 3 && !defined(__INTEL_COMPILER)
typedef int     _Bool;
#endif

#endif /* !__cplusplus */
#endif /* __bool_true_false_are_defined */
/usr/include