C言語の関数の作り方について

前提・実現したいこと

C言語のエラー処理の実装方法を教えて下さい。
main側の作りが悪いのは重々承知でSetString関数側のエラー処理としてもっと良い方法はないでしょうか？

発生している問題・エラーメッセージ

実行してもエラーにはなりませんが関数の呼び方次第では落ちる可能性があるのではないかと思っています。

該当のソースコード

C++
1#include <iostream>
2#include <string.h>
3#define _BUF_SIZE 8
4int SetString(const char* lpString)
5{
6	char cString[_BUF_SIZE];
7	if (strlen(lpString) >= (_BUF_SIZE))// ←ここで落ちる可能性があるのでは？
8	{
9		return 0;
10	}
11	strcpy_s(cString, _BUF_SIZE, lpString);
12
13	return 1;
14}
15
16int main()
17{
18	const char cStringSrc[] = { "1234567890" };
19	char cStringDst[_BUF_SIZE];
20
21	memcpy(cStringDst, cStringSrc, _BUF_SIZE);
22	SetString(cStringDst);
23
24	std::cout << "Hello World!\n";
25}

試したこと

lpStringをデバッガで見ると"12345678ﾌﾌﾌﾌﾌﾌﾌﾌ1234567890"となっています。

追記

引数をCStringにすれば解決しますか？
最終的には汎用dllのエクスポート関数にしたいと思っています。CStringでもC＃やVBから呼び出せますか？

thkana

2021/02/28 22:18

今回は影響ありませんが、CとC++ではいろいろと違うところもあります。ごっちゃにしないでください。

dodox86

2021/03/01 23:37

> 引数をCStringにすれば解決しますか？ > 最終的には汎用dllのエクスポート関数にしたいと思っています。CStringでもC＃やVBから呼び出せますか？解決しません。MFC/ATLのCStringはC++のクラスであり、他言語と文字列をやり取りするにはDLLのエクスポート関数ではいったん、C言語のインターフェースで受け取る必要があります。既にいただいている回答と本質的に変わりません。

thkana

2021/03/01 23:46

そもそもの質問は > C言語のエラー処理の実装方法を教えて下さい。 > main側の作りが悪いのは重々承知でSetString関数側のエラー処理としてもっと良い方法はないでしょうか？でしたよね。質問が編集されて > 引数をCStringにすれば解決しますか？が追記されましたけれど、・C言語にCStringはないでしょう。C++の、それもMFCという前提ならそう指定してください。変数名からその匂いはしていましたが)。・「良い方法はないか」というそもそもの問と「解決するか」という追加の問は対応しませんそもそもの質問が変化したあるいは間違っていたというのならその旨記載してください。異常をおこさずに何らかの結果が欲しい、ということならその欲しい結果も示してください。これまで「どうしたいのか」が示されていなかったので言語の規約上おかしなこと、という視点で話が進んでいましたが、欲しい結果があるのならそこを着地点にする可能性はあります。

退会済みユーザー

2021/03/02 03:48

ダメ元でもう一回聞きます。引数を std::string にしてもダメですよね？

dodox86

2021/03/02 04:57

> 引数を std::string にしてもダメですよね？ダメです。

行動規範の内容に同意します

回答2件

「エラー処理」というなら、どのようなエラーに対してどのような結果を返したら満足なのかをちゃんと示していただかないと良いも悪いも判断のしようがありませんが、少なくともその関数は未定義動作を引き起こすということは言えます。

if (strlen(lpString) >= (_BUF_SIZE))// ←ここで落ちる可能性があるのでは？

C/C++においては、
文字列はchar型の配列で、末尾に終端文字'\0'が付加されたもの、ということになっています。
また、配列を関数の引数にわたす時には、配列の先頭アドレスだけが渡されて配列のサイズは捨てられます(サイズが必要なら別途渡す)。

なので、渡された配列をなんの制限もなく「文字列である」と信じてアクセスするなら、例えばstrlenでは配列の先頭から'\0'に出会うまで、バイト数を数えながら順次アクセスしようとします。'\0'に出会わなければ延々とアクセスを続けるので、確保されていない領域へのアクセスとなり未定義動作を引き起こす可能性があります。

それを防ぐには、lpStringの先頭から_BUF_SIZE文字以内に'\0'があるかどうかを順次調べるとかいうことになるでしょうか。
それでも、呼ぶ側でlpStringに渡す配列のサイズが_BUF_SIZE未満であればやはり未定義動作になりますが、これは呼ばれた側では如何ともし難いので呼び出し側で大丈夫なように担保してもらうしかないです。

(追記)