isalpha 関数に限ったことではありませんが、<ctype.h> ヘッダで宣言される is 系関数は、次のように int 型の引数を取ります。
int isalpha(int c);
このこと自体もよくある間違いなのですが、問題はここからです。すなわち、is 系関数の引数が char 型だと事実誤認しているために、あるいは int 型であることを知っていたとしても、実引数として渡すことができる値に制約があることを知らないために、危険なコードを書いてしまうことがよくあるのです。
is 系関数に実引数として渡すことができる値は、0 ~ UCHAR_MAX または EOF だけです。通常は問題ないのですが、多バイト文字を含む文字列の各要素を順に is 系関数で調べる場合などは、is 系関数に負の値を渡してしまうことになります。
そうです。char 型が符号付きか符合無しかは処理系定義ですので、char 型が符号無しの環境でたまたま動いていたとしても、char 型が符号付きの環境に移植したとたん、不可解な動作をしたり、クラッシュしたりすることになるのです。
is 系関数に渡す実引数は、fgetc 関数の返却値のような場合はそのままで構いませんが、char 型の値を渡すときには、明示的に unsigned char にキャストしなければなりません。
const char str[] = "abc123";
for (char* s = str; *s != '\0'; s++)
{
if (isalpha(static_cast<unsigned char>(s)))
{
...
}
}
分かっていてもよく間違うもので、特に、述語として is 系関数をアルゴリズム関数に渡す場合など、コールバックでは要注意です。
トラックバック
URL から "-nospam" を削除してトラックバックを送信してください。
ブックナビゲーション
- 技術情報
- Boost C++ Libraries メモ
- C++と組込み環境
- C++サンプル集
- C++テンプレート集
- C++プログラマのためのC言語入門
- C/C++迷信集
- [迷信] 'A'~'Z' の値は連続している
- [迷信] 0xe-0xe はゼロ
- [迷信] 1 バイトは 8 ビット
- [迷信] 2の累乗による割り算と右シフトは等価
- [迷信] FILE 型は構造体
- [迷信] abs は常に非負の値を返す
- [迷信] argv[0] はプログラム名
- [迷信] char 型は符号付き
- [迷信] double の出力書式は "%lf"
- [迷信] fflush で入力バッファをクリア
- [迷信] free でメモリを開放する
- [迷信] free に NULL を渡すとクラッシュする
- [迷信] gets は単純に fgets に置き換えられる
- [迷信] isalpha 関数の引数は char 型
- [迷信] new に失敗すると NULL が返る。
- [迷信] scanf ではバッファオーバーランを防げない
- [迷信] scanf でキーボードから入力
- [迷信] setjmp マクロの返却値は変数に代入できる
- [迷信] sizeof は定数式
- [迷信] void main(void)
- [迷信] とりあえず memset で初期化
- [迷信] アルゴリズム関数内で関数オブジェクトはコピーされない
- [迷信] オブジェクトの動的生成に失敗するとメモリリークする
- [迷信] コンストラクタから例外を送出してはならない
- [迷信] コンストラクタで自身をゼロクリア
- [迷信] コンパイラはプログラマの心を察してくれる
- [迷信] コンパイルエラーが出るのでアクセス指定子を修正
- [迷信] ソースコード中の即値を全廃せよ
- [迷信] ソースファイルの末尾に }
- [迷信] データ列のソートには qsort 関数を使うべし
- [迷信] プログラムは必ず main から始まる
- [迷信] 一重引用符の中には一文字しか書けない
- [迷信] 今どき int が 16 ビットの処理系なんて無い
- [迷信] 入力データ格納用配列のサイズは BUFSIZ
- [迷信] 割付けたメモリはプログラマが自分で解放しなければならない
- [迷信] 実数型とは浮動小数点型のことである
- [迷信] 引用符で囲んだヘッダ名はカレントディレクトリから探索する
- [迷信] 文字列から整数への変換には atoi
- [迷信] 構造体のタグ名は下線で始める
- [迷信] 構造体はクラスではない
- [迷信] 識別子に使える文字は英数字と下線のみ
- [迷信] 非局所オブジェクトは外部結合
- C言語再入門
- C言語徹底入門
- Drupal メモ
- TOPPERS 情報
- ライブラリ開発入門
- 分割コンパイルをきわめる
- 擬似プロセッサを作る
- 車輪の再発明
- 過去の情報

