C言語のファイル入出力について

Question

C言語でファイル入出力の独学で勉強をしているのですが動かすたびに動作を停止してしまいます。下記のソースはファイルを開いて1行ずつ表示するものです。どこに原因があり、どのように修正すべきか教えていただきたいです。
開発環境:Windows7 64bit VisualStudio
参考サイト:http://www9.plala.or.jp/sgwr-t/c/sec17.html

#include <stdio.h>
#include <stdlib.h>
#include <errno.h>

int main(void)
{
	FILE* fp = NULL;
	char str[256] = { 0 };
	errno_t err;

	err = fopen_s(&fp, "sample.txt", "r");
	if (err == NULL)
	{
		printf("file open error\n");
		return -1;
	}

	while (fgets(str, 256, fp) != NULL)
	{
		printf("%s",str);
	}
	fclose(fp);

	return 0;
}

Answer 1

この手の質問をされる場合の必要事項
１．開発環境を書く。
⇒ＯＳ含めて、開発環境を書かないと、正しい回答は得られにくいです。
２．参考にしたサイト、書籍を掲示する。
⇒１と同様、どこのサイト、どの書籍かわからないと正しい回答が得られにくいです。
３．自身の環境の、背景が書く。
⇒”C言語でファイル入出力の勉強をしているのですが” これでは、
独学なのか、学校等でサポートがある環境なのか不明。

Comments

[nkt070408]

回答ありがとうございます。
修正しました。今後の質問するときの参考にさせていただきます。

Answer 2

fopen_sはerror_tを返します。
提示コードではファイルポインタfpが0などの値で上書きされてしまっています。
よって以降の処理で異常終了します。

error_t err = fopens_s( &fp～のように記述してください。

Comments

[nkt070408]

回答ありがとうございます。
以下のソースに変更してみましたがDebug Assertion Failedと表示されるようになりました。fpにポインタを正しく取得させるにはどうしたらいいでしょうか。
errno_t err;

if ((err = fopen_s(&fp, "sample.txt", "r")) == NULL)

[can110]

コードのどの部分でどのようなAssertionが発生しましたか？
また「if ((err = fopen_s(&fp, "sample.txt", "r")) == NULL)」
という記述は戻り値がファイルポインタの場合の書き方ですので以下のほうがよいです。
err = fopen_s( &fp, ～);
if( err == 0 ){
// 成功
}
else{
// 失敗なので終了させるなど。
}
私の回答で示したMicorosoftのページにはサンプルコードもありますので確認ください。

[nkt070408]

コードを修正しました。
デバッグしてみたところwhile ...の部分でfpがNULLであるためエラーが起きているみたいです。

[can110]

まず「エラー」と「Assertion」は異なります。
つまり「while(～」の行で「Debug Assertion Failed」が発生しているということでしょうか？
また、その際に表示されるAssetionのメッセージは何でしょうか？
さらに「fpがNULL」とはどのようにして確認されましたか？
たとえば「while(～」の前行に
if( fp == NULL) printf("fp == NULL\n");
で確認できます。

[nkt070408]

エラーというよりはwhileの行で例外がスローされています。勉強不足ですいません。

fpはVisualStudioのデバッグモードで確認しました。念のためwhileの前にコードを書いて確認もしました。

Assertionのメッセージは以下の通りです。
Debug Assertion Failed
File:fgets.cpp
Line:33
Expression:stream.valid()

[masaya_ohashi]

横から失礼、err==NULLは「正常時」であり、むしろNULLでないときはエラーが起きています。つまり、if(err == NULL)をすり抜けてfgetsまでたどり着いているということは、そもそもfopen_sに何らかのエラーが起きています。例えばsample.txtというファイルがないとか。

[can110]

masaya_ohashiさんコメントありがとうございます。修正されたコードでは判定が逆になっていますね。
さらにfopen_sのファイル名は"c:\\～\\sample.txt"のようにフルパスで渡す方が確実です。

[nkt070408]

コメントありがとうございます。
自分はNULLであることが異常であると認識していました。sample.txtは.exeファイルと同じ場所に作成してあります。
ファイル名ですがフルパスではminkernel\crts\ucrt\src\appcrt\stdio\fgets.cppです。

Answer 3

fopen_sの戻り値は「エラー番号」であり、FILEポインタではありませんので、以下の行でfpにFILEポインタでない値を代入しています。

if ((fp = fopen_s(&fp, "sample.txt", "r")) == NULL)

fopen_sのリファレンス
https://msdn.microsoft.com/ja-jp/library/z5hh6ee9.aspx

その後、FILEポインタでないfpからfgetsを実行してここで落ちていると思われます。

while (fgets(str, 256, fp) != NULL)

Comments

[nkt070408]

回答ありがとうございます。
fopenとfopen_sの違いについてよくわかっていませんでした。
過去のソースを参考にするといろいろなところで_sがないとエラーをはいてしまうのがうっとうしくて仕方ないです。。。

Answer 4

こんにちは。

既に回答はでていると思いますので、_s関数について補足です。
これらは元々マイクロソフト独自のライブラリでしたが、C11で標準規格に（中途半端に）取り込まれ、ますます混乱の度合いが増しているようです。
gccやclangは相変わらず採用していないようですので、標準規格には入っていますが、残念ならがデファクト・スタンダードにはなっていません。

ですので、C言語の学習目的でしたら、デファクト・スタンダードになっている昔からのfopen等を使った方が良いと思います。その際にはエラーメッセージにかかれているように_CRT_SECURE_NO_WARNINGSマクロを定義すると良いです。ソース先頭で#defineする、もしくは、コンパイル・オプション(/D)で指定するなどです。

下記に関連記事を書いてます。もしよかったら参考にされて下さい。
Visual C++のC4996警告への対処方法について

---

【蛇足ですが】
マルチスレッドに対応したlocaltime_s、gmtime_sには特に用心が必要です。
旧来のlocaltime、gmtimeはマルチスレッド非対応なので_s(vc++とmingw)や_r(gcc系)を使わざる得ないときがありますが、標準規格とマイクロソフトの実装は異なる（パラメータの順序が異なる!!）ため、vc++, mingw(vc++と同じ), gcc, clangの全てが標準規格に対応していません。
ほとんどの標準規格の定義は多数の処理系に採用されていますが強制力があるわけではないので、一部の定義については対応していない場合もあります。

Comments

[nkt070408]

回答ありがとうございます。
_s関数はエラーが出るだけでなく引数も変わっているため本当に混乱させられています。C言語は今後の学習用であるためどのように勉強するのかも含めて考えていきます。
関連記事ですが今の自分にとって必要なものであるため参考にさせていただきます。