効率的な拡張子チェック関数を考えています

質問

現在以下のような関数を試作してみました。
fnがファイルパスで、exが比較する拡張子の、「．」を含まない部分です。
（CompareStringはこの設定で大文字小文字の差を許容して比較します）

BOOL CompareExtension(LPCTSTR fn ,LPCTSTR ex){

int i = _tcslen(fn);
while ( fn[--i] != '.' ) if ( !i ) return 0;
if ( CompareString(LOCALE_USER_DEFAULT,NORM_IGNORECASE, fn+i+1, -1, ex , -1 ) != CSTR_EQUAL ) return 0;
return 1;

}

これをたとえばこのように呼び出すと

if ( CompareExtension(_T("a\\b\\c\\d.txtefg"),_T("tXtEFg")) ) _tprintf(_T("EQUAL\n"));

1が返り、EQUALと出力されます。

このとき

１．今のところ例外を見つけていませんが
このfn+i+1は、この用途で、アルファベットの拡張子しか扱わないとしたら必ず
PathFindExtension(fn)+1

のかわりになりますでしょうか？

２．Unicodeでもこのままで出来てしまっているのですが、文字定数も_T('.')などとマクロで囲わないと保証はされないのでしょうか？

３．「拡張子を自分でコード内に指定する」「パスが正常に渡されることが保証されてて、その文字数が拡張子の文字数より必ず多い」ならwhile文をなくして、ピリオドが来るべき位置を数字で打ってしまっても問題ないですよね？

４．またその他どこかになんらかの危険性がある可能性はあるでしょうか？

回答No.1

reset_cat · ベストアンサー

回答が付いてないようなので・・・

＞１．今のところ例外を見つけていませんが
＞このfn+i+1は、この用途で、アルファベットの拡張子しか扱わないとしたら必ず
＞PathFindExtension(fn)+1

＞のかわりになりますでしょうか？

その用途なら代わりになるでしょう。Unicodeであれば、拡張子が全角文字でも代わりになるかと思います。

＞２．Unicodeでもこのままで出来てしまっているのですが、文字定数も_T('.')などとマクロで囲わないと保証はされないのでしょうか？

文字定数に全角文字を使用しない場合は_Tマクロは不要です。全角文字を使用する場合は、_Tマクロを使用しない場合はシフトJISコードでの値になります。

＞３．「拡張子を自分でコード内に指定する」「パスが正常に渡されることが保証されてて、その文字数が拡張子の文字数より必ず多い」ならwhile文をなくして、ピリオドが来るべき位置を数字で打ってしまっても問題ないですよね？

その条件であれば決め打ちで問題ないかと思います。実際にはなかなか実現するのが難しいと思いますが・・・

＞４．またその他どこかになんらかの危険性がある可能性はあるでしょうか？

引数fn文字列の中にピリオド'.'が１つも無い場合（いわゆる拡張子なしのパス）に変数iがマイナスになり、アクセス違反が起こる可能性があると思います。

お礼

ありがとうございます♪
予想通りといった感じでとても安心できました。

＞３について

この関数内で完結するようにするためには、たとえば簡単なところで、拡張子の長さを先にもう一つの引数として渡してしまう、という作戦もあります。

あとは関数の先頭で、ファイルパス文字列のポインタがNULLじゃないか、また長さがそれより短くないかどうかをチェックすれば、While文を消すことが可能だと思います。

ただ、実際には関数を呼んだり戻り値を生成するのにもコストはかかるため、この関数に入る手前でチェックを行う、といった方法の方がいい可能性もあります。

いずれにしても、配列外へのアクセスはちょっとした工夫で対処できるでしょう。

また、本当にこだわるならtemplateを技巧的に使い、引数（実行時）ではなくコンパイル時に解決してしまう、という作戦も、不可能ではないかと思います。

そこまでやるならinlineキーワードはぜひともつけるべきですねｗ

＞４について

上記のように、変更する場合はそういう配慮がいると思いますが

現状では
while ( fn[--i] != '.' ) if ( !i ) return 0;

このように、最初の長さが1以上でiが0までチェックされてやっぱりなかったらその時点で関数を抜け、FALSEを返すようになっているので問題ありません♪