C言語でファイルの書き込みができません(Visual Studio)

Question

###前提・実現したいこと
初めて質問します。

Visual Studio 2015 Community を使ってC言語の学習をしている初学者です。
C言語の入門書を用いてサンプルプログラムを実行しています。
ファイルへの書き込みを学んでいますがエラーが出て動きません。
どうやら fopen が非推奨になり fopen_s を使わなければならなくなったためと思われます。

インターネットで検索してもよく分かりませんでした。
何が起きておりどのように対策をすればよいかを教えてください。

###発生している問題・エラーメッセージ
out1.txtに関する動作は正常に動くのですが
(フォルダがなければ "dir1\out1.txtが作成できません"と表示され、フォルダがあれば正しくファイルが生成されます。)
out2.txtに関する動作になるとエラーが出ます。

以下は Visual Studio の出力のデバッグ欄に表示されたメッセージです。

File: minkernel\crts\ucrt\src\appcrt\stdio\output.cpp
Line: 31

Expression: stream != nullptr

For information on how your program can cause an assertion
failure, see the Visual C++ documentation on asserts.

###該当のソースコード

#include "stdafx.h"
int main(){
	FILE *FP;
	errno_t err;

	err = fopen_s(&FP, "dir1\\out1.txt", "w");
	if (FP == NULL) {
		printf("dir1\\out1.txtが作成できません\n");
		return -1;
	}
	else {
		printf("ファイル書き込み成功\n");
		fprintf(FP, "0123456789\n");
		fclose(FP);
	}

	if ((err = fopen_s(&FP,"dir2\\out2.txt", "w")) == NULL) {
		printf("dir2\\out2.txtが作成できません\n");
		return -1;
	}
	else {
		printf("ファイルに書き込み成功\n");
		fprintf(FP, "ABCDEFG\n");
		fclose(FP);
	}

	printf("プログラムを終了するには何かキーを押してください...");
	char x;
	scanf_s("%c", &x);
	return 0;
}

また、これはサンプルプログラムを写してエラーが出たため、インターネットで調べて書き換えたものです。
サンプルプログラムでは

 if ((err = fopen_s(&FP,"dir2\\out2.txt", "w")) == NULL) {

は

if((FP=fopen("dir2\\out2.txt","w"))==NULL){

となっています。

Answer 1

これ

err = fopen_s(&FP, "dir1\\out1.txt", "w");
    if (FP == NULL) {

とこれ

if ((err = fopen_s(&FP,"dir2\\out2.txt", "w")) == NULL) {

を比べてみましょう。

Comments

[programming]

回答ありがとうございます。
言い遅れましたがこれはC言語の本に載っていたサンプルプログラムを写し、うまくいかず自分でインターネットで検索して書いたものです。
質問を編集しようと思いますが、もともとは二つ目の部分は FP を使ったコードでした。

[uta_luna]

takasima20さんのご指摘通り、何が違うのかを考えてみてください。
検索して調べるのはいいことです。調べて得られたものがどんな動きをしているのかを理解することが重要です。

[programming]

すみません。
よく考えたところ NULL になっているか調べる相手が FP か err かの違いであると思います。
と、思って
```C
if ((err = fopen_s(&FP,"dir2\\out2.txt", "w")) == NULL) {
```
の err をFP にするだけでは型が合わないそうです。
if文の中に埋め込めるような
```C
err = fopen_s(&FP, "dir1\\out1.txt", "w");
if (FP == NULL) {
```
をひとまとめにできる表現はないのでしょうか。

Answer 2

err = fopen_s(&FP, "dir1\\out1.txt", "w");
if (FP == NULL) {

という表現ですが、以下の様にすれば良いのでは？

if (fopen_s(&FP, "dir1\\out1.txt", "w") != 0) {

fopen_s()は成功した場合0を返しますし、仕様的には失敗した場合でも、
FPがNULLになるとはどこにも規定されていないかと思います。

Comments

[programming]

ありがとうございます。
無事に正しく動作しました。
fopen_s(&FP, "dir1\\out1.txt", "w")自体が FP の内容を表すのですね。

本には「FP=fopen()」のときにファイルが開けなかった場合に FP に NULL が代入される決まりのようです。

ベストアンサーは甲乙つけがたいですが直接役に立ったこちらとさせていただきます。
皆さんありがとうございました。

[uta_luna]

解決したようですが、正しく理解されていないようです。

fopen_s 関数は成功したら戻り値は「０」です。「fopen_s(&FP, "dir1\\out1.txt", "w")」自体が FP を表すのではありません。成功したら「０」が返ってきます。

if の比較文の書き方も、もう一度見直してみるといいと思います。NULLや数値の比較はわかりやすいですが、関数の戻り値で比較されることを確認してください。

[programming]

戻り値で比較となると、このプログラムでは err が 0 かどうかを調べればよいということになるのでしょうか。

fopen_s 関数は成功したら "0" ,失敗したら "エラーコード" が返ってきたはずです。

[ShinyaAnan]

以下の様に書く事で、fopen_s関数の戻り値と0を比較しています。
if (fopen_s(&FP, "dir1\\out1.txt", "w") != 0) {
もちろん、
if ((err = fopen_s(&FP, "dir1\\out1.txt", "w")) != 0) {
と書いて、戻り値を err に代入すると同時に、0と比較することもできます。

関数自身が、関数の戻り値を示します。これはC言語の仕様です。
また、代入式自身が、代入した値を示すします。

[programming]

ありがとうございます。

では、
・fopen_s関数自体が戻り値を表す
　→関数自体が戻り値のように扱える
・戻り値を何かに代入する場合は fopen_s関数の戻り値の型である errno で宣言した err に代入することができる
ということですね。

思えば FP はファイルポインタであるので、ファイルの場所を表すだけであり、
関数の動作には関係しませんね。

私は以上の認識です。間違っていたらすみません。