自作Assert関数が上手く動作しません...

質問

開発環境：VisualStudio2013
言語：C++

Assert関数を自作してみようと思いコードを書いてみたのですが、
上手く動作してくれません。。。
お手数をおかけしますが、どなたかご指導お願いできないでしょうか？

現状：
　・char* p=NULL; ←NULLで初期化
　・ASSERT（　p　）; ←これは、問題なくエラー出力してくれる

問題：
　・char* p; ←初期化しない
　・ASSERT（　p　）; ←エラー出力してくれない。。。。

というように、ポインタにNULLが入っていないとエラー出力してくれないのです。

ソースコード

template<class T>
inline void ASSERT(T&p)
{
if ( !( p ) )　←p がNULLで初期化していると条件文の中に入ってくれるが、
{　　　　　　　　初期化してないと、入ってくれない・・・・

//自作ログ出力関数
OutputLogString(TEXT("Assertion Failure:%s(%d)"), __FILE__, __LINE__);
}
}

void main(void)
{
char* p;
ASSERT(p);
}

ポインタpが、NULLならもちろん、初期化されていなくてもエラーとして受け取ってくれるには、
何が足りないのでしょうか？

お手数をおかけしますが、ご回答よろしくお願いします

回答No.3

maru_yoshi_ · ベストアンサー

逆に質問しますが、ポインタが初期化されているかされていないかを実行時に判定できると考えていますか？
ASSERT（p）;はpが初期化されているかどうかを判定しているのではなく、０と等しいかを判定しているんです。

未初期化のポインタは不定値になっています。
どこかの実体（char*の場合、char型の変数）のアドレスで初期化してあれば、何らかのアドレスが入っていますが、その有効なアドレスと未初期化ポインタの不定値の区別とつけることは不可能です。
char a;
char*p1 = &a; // p1をaのアドレスで初期化、p1にはポインタとして有効な値は入っている
char*p2; // 不定値になっているが、その値をは有効なアドレスか無効なアドレスかは不明
char*p3 = NULL; // 無効なアドレスで初期化、p3はポインタとして無効な値（０）が入っている
p1, p2は０以外なのでアサートされません。
あなたの希望はp2がアサートされることですか？それは不可能です。

未初期化変数を検出するには、実行時に検出（ASSERT）するより、コンパイル時に検出する方が簡単で、コストがかかりません。VC++なら警告が出せるはずですので、わざわざASSERTでチェックするのは無駄と思います。

どうしても未初期化ポインタを実行時に見つけたい場合、スマートポインタを使用するのが有効と思われます。

お礼

返答が遅くなってすみません。
さっそくご回答ありがとうございます！

C/C++の標準Assertでは、未初期化変数もエラー出力してくれたので、実行時に判断できる方法があるのかと考えていました。

「未初期化変数を検出するには、実行時に検出(ASSERT)するより、コンパイル時に検出する方が簡単で、コストがかかりません。VC++なら警告が出せるはずですので、わざわざASSERTでチェックするのは無駄と思います。」

この回答で納得できました。確かにコンパイル時に検出して警告を解消していくべきですね

適切なご回答ありがとうございました。もちろんベストアンサーにさせていただきます

回答No.2

wormhole

#1です。もうちょっと詳しく書くと
CやC++でいう変数の初期化をしていない状態というのは「値が入っていない」という状態があるわけではなく、「値は入っているが、どんな値が入っているのかは不定」という状態です。初期化をしなくても何らかの値は入っているわけですから、それを調べる事はできません。

回答No.1

wormhole

初期化されていないという判断材料がないのでできません。