C++相談室 part151

**デフォルトの名無しさん** · 2020/05/14(木) 11:53:25.59

C++に関する質問やら話題やらはこちらへどうぞ。
ただし質問の前にはFAQに一通り目を通してください。
IDE (VC++など)などの使い方の質問はその開発環境のスレにお願いします。

前スレ
C++相談室 part150
https://mevius.5ch.net/test/read.cgi/tech/1584975873/
このスレもよろしくね。
【初心者歓迎】C/C++室 Ver.105【環境依存OK】
http://mevius.5ch.net/test/read.cgi/tech/1556142878/

■長いソースを貼るときはここへ。■
　http://codepad.org/
　https://ideone.com/

[C++ FAQ]
https://isocpp.org/wiki/faq/
http://www.bohyoh.com/CandCPP/FAQ/ (日本語)

テンプレここまで

**デフォルトの名無しさん** · 2020/06/03(水) 15:47:50.07

>>194
やーい、同じことしか言わなくなってやんのｗ

**デフォルトの名無しさん** · 2020/06/03(水) 15:49:26.08

必ずしも索引があるとは限らないのにあることを一般論化してドヤ顔するのと
ヒープ解放するかどうかはすべてを尽くして調べられないからわからたないとドヤ顔してる奴が
同じ人物だってのが困るわぁwwww

**デフォルトの名無しさん** · 2020/06/03(水) 15:49:47.87

>>196
>>197

**デフォルトの名無しさん** · 2020/06/03(水) 15:52:20.19

>>193 >>195
2017年のDraftのPDFには、以下のようにあり、部分特殊化をinstance化する際には、A<int>ではなく、A<int,int*>
と書く例があります：

Partial specialization declarations themselves are not found by name lookup. Rather, when the primary
template name is used, any previously-declared partial specializations of the primary template are also
considered. One consequence is that a using-declaration which refers to a class template does not restrict the
set of partial specializations which may be found through the using-declaration. [Example:
namespace N {
template<class T1, class T2> class A { }; // primary template
}
using N::A; // refers to the primary template
namespace N {
template<class T> class A<T, T*> { }; // partial specialization
}
A<int,int*> a; // uses the partial specialization, which is found through the using-declaration
// which refers to the primary template
—end example ]

**デフォルトの名無しさん** · 2020/06/03(水) 16:02:27.31

>>197
C++規格票とドラフトと言ったはずだ
必ずしも索引があるとは限らないとぬかすなら
そうなっていないC++規格票とドラフトを例示しろ
事実無根の誹謗中傷はやめてもらおうか

**はちみつ餃子** ◆8X2XSCHEME · 2020/06/03(水) 16:06:58.23

>>193
ほんとに >>195 の言う通りだわ。
やってみてから思った通りにならないのはなんでだろうっていうならまだしも
「どうなるんでしょうか」なんてやってみりゃわかることだろ。
まあ C++ には未定義とか処理系定義とかもあるから
実際の挙動を以て言語仕様を理解しようとするのは危険でもあるんだが……。

特殊化ってのはまさに「特殊な場合」を定義するもんだよ。
その場合には A<T1, T2> のテンプレートの特殊な場合として A<T, void> の場合を定義してることになる。
特殊な場合である A<T, void> は特殊でない場合の A<T1, T2> と同じ形式である必要がある。

>>199
基本的な理念が理解できていないのに仕様を読んでも理解できねーよ。
(まあたまには仕様からとっかかる超人もいないことはないが。)
お前は Rust スレでも見当はずれの根拠をコピペしては意味不明なことを言ってるが、
普通に入門書を読んでくれ。

**デフォルトの名無しさん** · 2020/06/03(水) 16:19:58.53

イキイキしてんなｗｗｗ

**デフォルトの名無しさん** · 2020/06/03(水) 16:24:47.80

>>200
予想通りで乙w

**デフォルトの名無しさん** · 2020/06/03(水) 16:25:39.34

>>201
結局、答えられないんですね。

**デフォルトの名無しさん** · 2020/06/03(水) 16:29:44.75

そこで煽ってどうするw

**デフォルトの名無しさん** · 2020/06/03(水) 16:50:20.37

質問しといて無礼な口の利き方をするやつにはお仕置きだ
一切何も教えない

**デフォルトの名無しさん** · 2020/06/03(水) 16:50:59.31

>>203
ぐうの音も出ねえとは
おまえさんのことだな

**デフォルトの名無しさん** · 2020/06/03(水) 17:02:24.74

>>206
答えられないだけ。

**デフォルトの名無しさん** · 2020/06/03(水) 17:03:53.52

>>207
都合よくげんていつけたりなくしたりwwww

**デフォルトの名無しさん** · 2020/06/03(水) 17:04:33.42

>>206
なんでも上から目線
やはりこういうやつかwwww

**晒しage** · 2020/06/03(水) 17:11:10.63

181 返信：デフォルトの名無しさん[sage] 投稿日：2020/06/03(水) 12:24:39.32 ID:DAHZjgl3 [1/9]
>>175
たまたまの結果を生活の知恵とかw
キーワードと通常言語が被らない日本語万歳だな

**sage** · 2020/06/03(水) 17:55:41.24

getCFile()ってよくわからないので教えてください。
コードに次のような部分がありました。　getFile()では置き換えられない？

/// \brief Get C-file.
/// \return Extracted stdio's @c FILE structure.
std::FILE * getCFile();
file_.getCFile()

**デフォルトの名無しさん** · 2020/06/03(水) 18:46:53.95

>>193
推定だけど、
A<T, void>
の場合、2番目の仮引数がvoid型になっているので、そこには実引数を
指定しないということになっているらしい。
その結果、A<1> みたいに1つだけの引数でtemplateをinstance化できる
様になっている気がする。
まだ仕様書で確認したわけではない。

**デフォルトの名無しさん** · 2020/06/03(水) 18:53:53.18

いや、省略した場合のデフォルトを指定しない限り、そんなことにはならない

template <typename T1,typename T2=void>
class A;

みたいにする
まあ、primaryの定義と同時にも書けるし、そっちが普通

**はちみつ餃子** ◆8X2XSCHEME · 2020/06/03(水) 19:02:53.85

>>204
俺が答えていることすら理解できてない模様。

**デフォルトの名無しさん** · 2020/06/03(水) 19:07:42.01

[驚くべきパターンマッチング]
MS製のSTLのforward()のソースを呼んでいて驚いた。
forward()の引数のremove_reference_t<_Ty>&& _Argの部分は、とても複雑なパターンマッチングをしているらしい。
_Tyがまだ決まって無い段階で、remove_reference<_Ty> というテンプレートclass を展開してtype メンバを調べ、それと実引数から右辺値参照部分を除いた部分を一致させるような複雑な処理をした結果、_Ty を逆算して決定しているらしい。
template <class _Ty>
struct remove_reference { // YA, #1, primary class template。"
using type = _Ty; // const も保存されているハズ。
using _Const_thru_ref_type = const _Ty;
};
・・・ remove_reference<> に対する部分特殊化があるが、省略・・・

template <class _Ty>
using remove_reference_t = typename remove_reference<_Ty>::type;

template <class _Ty>
_NODISCARD constexpr _Ty&& forward(remove_reference_t<_Ty>&& _Arg) noexcept { // forward an rvalue as an rvalue
static_assert(!is_lvalue_reference_v<_Ty>, "bad forward call");
return static_cast<_Ty&&>(_Arg);
}

**デフォルトの名無しさん** · 2020/06/03(水) 19:08:51.14

>>215
仮に心の中にあってもあなたは全く言語化して無いないので駄目。

**デフォルトの名無しさん** · 2020/06/03(水) 19:10:26.76

>>214
じゃあ、Wikipediaに載っていた>>190の例はどう説明すれば良い？

**デフォルトの名無しさん** · 2020/06/03(水) 19:14:50.42

>>218
そういえば仕様書に、templateをinstance化する際は、既に deducedされたパラメータは A<B>のBの中には書かないで良い例が書いてあった。
たとえば、
template <typename T1, typename T2>T1 f(T2 a);
のような場合、
f<T1>(100);
みたいにすれば、T2はint型だと分かるので、f<T1,int>(100)と書かなくて良いというもの。
それかな？

**デフォルトの名無しさん** · 2020/06/03(水) 19:17:57.22

そうではなく、>>190 の場合は、primary template として、
template <typename T, typename = void>
struct has_typedef_foobar : std::false_type {};
と、第二パラメータにデフォルト引数が書いてあるからか。

**デフォルトの名無しさん** · 2020/06/03(水) 19:20:51.92

>>218
190ってまさにtypename=voidしている例じゃね

**デフォルトの名無しさん** · 2020/06/03(水) 19:27:23.10

>>221
>>220と入れ違いになった。
それで辻褄は合うけど、primary templage definition では、
template <typename T, typename = void>
で、部分特殊化する際には、
template <typename T>
としてあって、物凄い複雑だね。

**デフォルトの名無しさん** · 2020/06/03(水) 19:48:21.19

TdRUmxlvは自分の日記帳に書いてくんないかな

**デフォルトの名無しさん** · 2020/06/03(水) 20:15:01.97

失礼しました。
でも断っておくと、俺ははちみつに対してそんなに悪口は言ってない。
スレの流れで混乱していたようだが、言っていたのは別人だから悪しからず。

**デフォルトの名無しさん** · 2020/06/03(水) 22:21:05.04

いちいちイラッとする書きっぷりはID:TdRUmxlvのコミュ力が絶望的に低くいだけなので許してあげてください

**デフォルトの名無しさん** · 2020/06/03(水) 23:25:41.73

憂さ晴らしに靖国に落書きしそう

**デフォルトの名無しさん** · 2020/06/04(木) 08:16:53.40

とっくにNG

**デフォルトの名無しさん** · 2020/06/04(木) 13:15:35.94

int& r_i=7; // compile error
int&& rr_i=7; // OK
2行目は、どういう仕組みになってるんでしょう？
7という値がメモリー上にはどこにも存在して無い場合もあるはずで、
その場合でも右辺値参照を持てるものなのでしょうか？
たとえばコンパイラの中に7という値は持っていても、アセンブラレベルでは、
どのsectionの中にも7というデータが入れられて無い場合もあると思うのです。
それだと7の入っている場所のアドレスは存在しえません。
例え「"右辺値"参照」であってもはアドレスが必要のはずですが。

**デフォルトの名無しさん** · 2020/06/04(木) 13:17:22.86

構ってはいけない

**デフォルトの名無しさん** · 2020/06/04(木) 14:43:12.11

>>228
言語規格的にはrr_iという名前を通じて7という値が取れれば何でもいい
コンパイラが具体的にどうするかはコンパイラの勝手
アドレスがどこかで必要なら一時オブジェクトを作るようにするし必要なければ作らなくてもいい

**デフォルトの名無しさん** · 2020/06/04(木) 18:50:33.11

>>230
どうやら、7の入ったint型の隠れた変数を一時オブジェクトとして作成してから、
そのアドレスをrr_iに入れているそうです。

**デフォルトの名無しさん** · 2020/06/07(日) 01:50:09.38

>>228

int& r_i=7; // compile error

確かにこれはダメ

int&& rr_i=7; // OK
int& rr_j = rr_i; // OK

これおかしくね？

**デフォルトの名無しさん** · 2020/06/07(日) 01:57:43.49

&&嫌いだわ

**デフォルトの名無しさん** · 2020/06/07(日) 03:20:06.67

右辺値参照自身は左辺値定期

**はちみつ餃子** ◆8X2XSCHEME · 2020/06/07(日) 09:08:16.75

だから std::forward が要るんだよ。

**デフォルトの名無しさん** · 2020/06/07(日) 11:40:26.26

昔のソースコードからの派生で開発する際、リソースの開放だけをデストラクタで行うように変えたいと考えています
RAIIだけを行う標準的な実装って何かあったりしますか？
あるいは、自分で調べた限りでは例えば、
HANDLE hFile = CreateFile(filename, GENERIC_READ, FILE_SHARE_READ, nullptr, OPEN_EXISTING, FILE_ATTRIBUTE_NORMAL, nullptr);
unique_ptr<void, decltype(&CloseHandle)> dummy(hFile, CloseHandle);
// 以降dummyは使わずに生のhFileに対して操作
のようにunique_ptrを使えばできそうに見えますが、C++11以降の作法として正しいでしょうか？

**デフォルトの名無しさん** · 2020/06/07(日) 13:44:00.54

作法とか正しいとかより自分で考えた方がいいと思うけど
その場合あえて言えば、hFile渡すとこは
直接CreateFileの戻り値使って(hFileを宣言しない)、dummyの持つハンドル経由で使った方が
一貫性が取れていいかも

理想を言えば全部ラップした方がいいんだろうけど

**デフォルトの名無しさん** · 2020/06/07(日) 13:55:18.98

>>236
その方法は始めてみた。
でも、unique_ptrなどを使わなくても、普通にC++98レベルのclassだけを使っても、RAIIは書ける。

**デフォルトの名無しさん** · 2020/06/07(日) 14:54:05.65

>>238
RAIIというのは物凄く簡単に実装できて、細かいことを抜きにすれば以下の様にすれば完成する :
class CMyX {
protected:
　HANDLE　m_hFile;
public:
　CMyX(HANDLE hFile) {m_hFile=hFile;}
　~CMyX() {CloseHandle(m_hFile);}
}

HANDLE hFile = CreateFile(filename, GENERIC_READ, FILE_SHARE_READ, nullptr, OPEN_EXISTING, FILE_ATTRIBUTE_NORMAL, nullptr);
CMyX myx(hFile);　// これが初期化。後は勝手に hFileが解放される。

**デフォルトの名無しさん** · 2020/06/07(日) 15:37:10.54

ポインタ以外のリソースでRAIIやらせるためのstd::unique_resourceが提案されてるけど難航してる
リソースの種類や使い方でそれぞれ事情が違うから無理矢理一般化しても上手く行かないらしい

**デフォルトの名無しさん** · 2020/06/07(日) 15:48:34.18

>>239
補足すると、このコードだとCreateFile()した後、返されたハンドル値を No CheckでCMyXのコンストラクタに渡しているが、本当はその前にINVALID_HANDLE_VALUEかどうかをチェックしておく必要がある。

**デフォルトの名無しさん** · 2020/06/07(日) 21:39:58.03

>>234
そこじゃなくて

int& r_i=7; // compile error

をエラーにする必要ある？ってこと
リテラルを右辺値参照できんならエラーにする必要ないじゃん

**デフォルトの名無しさん** · 2020/06/07(日) 21:49:43.50

それがエラーじゃなかったら右辺値参照は何のためにあるんだよ

**デフォルトの名無しさん** · 2020/06/07(日) 21:56:24.65

>>243
別にリテラル受けるためにあるわけじゃないでしょ
別の言い方すると

int&& rr_i=7; // OK

わざわざ一時オブジェクトつくってこれOKにする理由って何なの？

**デフォルトの名無しさん** · 2020/06/07(日) 22:22:50.71

>>237,238,240
ありがとうございます
>>239
はい、そうなんですけれど、こういったコードも省略したいということと、
頻繁に必要になるので標準ライブラリに入っていないかなって期待していたわけです
>>240
なるほどstd::unique_resourceっていうので検討中なんですね
これが標準に組み込まれるのを期待しておきます

**デフォルトの名無しさん** · 2020/06/07(日) 23:16:58.32

More Effective C++ の、

項目9 : リソースリークを防ぐためにデストラクタを使う
項目11 : デストラクタから発生した例外を抑える

デストラクタ中で、例外がキャッチされない場合、
terminate を呼ばれて、受け身も取れず、強制終了させられる

**デフォルトの名無しさん** · 2020/06/08(月) 11:21:10.82

>>245
CreateFile以外にも似たようなのが沢山あって、それを楽にRAIIにしたいって話？
ならすでにunique_resourceはあるらしいけど(experimentalだかどこかに
あるいはそれに近い実装も公開されてるので落としてくればいいかと

逆にCreateFileだけなら素直に自分でクラス書いた方が後々楽になると思う

**はちみつ餃子** ◆8X2XSCHEME · 2020/06/08(月) 12:33:58.17

リソースの解放以外は生のハンドルが使いたいという前提だと、
「unique_resource で包まれたオブジェクトからハンドル使うたびに (get で) 取り出す」という操作が必要になる。
たぶん >>236 の書きようだとそういうことはしたくないんだろうし、
包む前のハンドル (が入った変数) をそのまま使うとなると折角の所有権管理が台無しだ。
unique_resource はリソースの所有権管理の仕組みであって、
デストラクタでリソース解放もするのは所有権管理に付随するものに過ぎない。

どちらかというと scope_exit の方がやりたいことに近そうな気がする。

けど、いずれにしても中途半端なんだよな。
現時点でリソースの解放 (CloseHandle) がちゃんとできているなら
それを unique_resource (なり scope_exit なり) に置き換える意味はあまりないんじゃなかろうか。
「CloseHandle の書き漏らし」ってのと「scope_exit の書き忘れ」
ってのは同程度に有り得ることで、そんなに良くならないと思うよ。

型としての HANDLE の実態は void* なので、
HANDLE を HANDLE として扱おうとする限り C++ の型システムの恩恵はあまり受けられない。
古いコードをなるべくいじらずに使いたいという理由はとてもよくわかるのだけれど、
半端な書き換えをするくらいなら抽象レイヤをきちんと構築した方が結局は楽だと思う。

**デフォルトの名無しさん** · 2020/06/08(月) 15:51:51.35

void * と型として区別出来ない？
型はともかくそもそも HANDLE は値の範囲が決まってたか

**はちみつ餃子** ◆8X2XSCHEME · 2020/06/08(月) 16:16:36.67

かなり前から DECLARE_HANDLE マクロで HANDLE は固有の型として定義してた。
そこは私の認識間違いだ。すまぬ。

>>249
void* という型として認識出来たところで何が出来るものでもないよねという意図だった。

**デフォルトの名無しさん** · 2020/06/08(月) 23:54:23.01

>>239
しね～よ

void bar(CMyX& x, HANDLE h) {
　// hを思わずclose
　CloseHandle(h);
}

void foo() {
　HANDLE hFile = CreateFile(filename, GENERIC_READ, FILE_SHARE_READ, nullptr, OPEN_EXISTING, FILE_ATTRIBUTE_NORMAL, nullptr);
　CMyX y(hFile);
　bar(x, h);
　// このあとしぬ
}

>>239のCMyXはハンドルをマジWrapしてるだけで全く使えない
しねよ

**デフォルトの名無しさん** · 2020/06/08(月) 23:56:48.34

というわけでget()メソッドが無いのも大概だが
それより悪いのはCloseHandle()が失敗したときのことを何も考えていないことだ
ファイルのClose失敗はエラーハンドリング省略で済まされる問題ではない

デストラクタでCloseHandle()を一概に否定するものではないが、
デストラクタから例外を飛ばすわけにもいかないので、エラーの通知先オブジェクトへのポインタをCMyXは持つ必要がある

**デフォルトの名無しさん** · 2020/06/09(火) 00:00:40.22

いきってツッコむほどのことかそれ

**デフォルトの名無しさん** · 2020/06/09(火) 03:22:41.56

>>252
File Handle のような OS Object については、RAIIで処理するのは実は難しいんだよ。
だから、WindowのDestroyWindow()もデストラクタで処理する前に明示的に
CWnd::DestoryWindow()を自分で呼び出すほうが良かったりするんだから。

デストラクタだけを頼りにすると、main()やWinMain()関数の後の
クリーンアップ処理の中で CloseHandle()が呼び出されたりすることになるが、
それは結構微妙な話になる。
なぜかといえば、まず、OS自体がそもそも、プロセスが終了する時には
勝手にすべてのハンドルを閉じてくれる。ならば、CloseHandle()なんて明示的に
書く必要が無い、というそもそも論が出てくる。
それプラス、あなたが言ったように、CloseHandle()で失敗した場合にどうなるか
という話もあることはある。
そもそも、個人的には、ファイルを開いたら、なるべく速く Closeする方が良いと思っている
ので、RAIIでファイルハンドルを処理するのは余りぴんと来ない。

**デフォルトの名無しさん** · 2020/06/09(火) 06:33:30.92

アプリ全体の終了が前提になっているおかしな主張だな

**デフォルトの名無しさん** · 2020/06/09(火) 06:54:05.72

CloseHandleやfileのcloseで失敗する様な状況って、普通のアプリじゃ実質対処不能な致命的な状態だろ

素直に落ちるなりおかしな挙動になるなりすればいいのよ

**デフォルトの名無しさん** · 2020/06/09(火) 07:55:59.54

OSやハードが正常稼働時ならそこら辺の例外発生はないからね。

リソース解放忘れてデスクリプタやらのリソース使い果たしたり、ファイルの占有したままで他のアプリに迷惑かけたりするのを防止するのにRAII使うのは有用

**デフォルトの名無しさん** · 2020/06/09(火) 08:00:35.85

HANDLEってOS側からはそれが有効か無効か判断できるから、無効なハンドルを
間違って使ったりCloseHandleしてしまってもエラーを返すだけで致命的な状態には
なりにくい

**865** · 2020/06/09(火) 09:27:54.99

前提にしているのがどんなOSであろうと
C++的には環境依存な話だね

**デフォルトの名無しさん** · 2020/06/09(火) 15:37:05.70

要素はintと任意オブジェ
int値を渡すと
論理和がゼロ以外の要素を
返すコンテナってないですか？

**デフォルトの名無しさん** · 2020/06/09(火) 16:12:25.38

>>256
もし、CTRL+Sを処理するイベントハンドラの中で、単純に CloseHandle()を自分で呼び出して
失敗した場合であれば、保存に失敗した事をAfxMessageBox()で知らせた後、なんとか今までの
メモリ中のデータだけは壊さずに処理できればベスト。

しかし、他の何らかの例外が発生した時に、RAIIによって自動的に呼び出されたデストラクタの中で
CloseHandle()に失敗した場合には、対処が難しそう。
テストも難しいし、余りそういう状況は起きないので優先順位は低いが。

**デフォルトの名無しさん** · 2020/06/09(火) 17:15:04.89

>>260
std::pair<int, SomeObj> を格納するコンテナと
「int部分とある値とのビットORを結果とする述語」を
std::copy_if() に渡すような話かな。

「任意オブジェ」部分が要素ごとに異なる、だと難問な気がするけど。

**デフォルトの名無しさん** · 2020/06/09(火) 17:30:16.71

論理積ではなく？

**デフォルトの名無しさん** · 2020/06/09(火) 17:42:20.88

確かに論理和だと「つまらない」結果になりそうね。
普通の使い方なら論理積で抽出か。

排他的論理和は「もっと面白い」かも知れんけど。

**デフォルトの名無しさん** · 2020/06/09(火) 22:35:23.41

>>262
それで組んでみます
ありがとうございました
あと実際は論理積です

**デフォルトの名無しさん** · 2020/06/10(水) 05:39:12.94

>>256
「ログファイルなので書込みに失敗しても大勢に影響が無い」とか
「作業用ファイルfは書いた後必ず誰かがリードオープンするから書込みに失敗していたらそこでﾜｶﾙから書込みのエラーチェックを省略する」
みたいな判断はアプリの設計としてはアリかもしれないが、CMyHandleみたいな汎用部品的に使われ得る低水準クラスではナシ
これをアリだと思う香具師はお気楽すぐる、

◆QZaw55cn4c · 2020/06/10(水) 05:44:30.52

>>266
でも　>>256 の CloseHandle() や fclose() が失敗したからといって、何か手が打てるのですか？
何もできないのでは？
もしかして黙って exit() するのですか？

**デフォルトの名無しさん** · 2020/06/10(水) 07:23:10.62

てか、自動解放するクラス作っても手動解放する手段残しておけば、使う側で特別な処理は出来るんだよね

**デフォルトの名無しさん** · 2020/06/10(水) 08:13:57.83

C++ではexitをD組にして欲しい

**デフォルトの名無しさん** · 2020/06/10(水) 12:31:11.80

>>267 通知は欲しいかな。
黙って動作が続くくよりは terminate() のほうがマシだとも思うし。汎用部品ならなおさら。

破棄失敗する可能性のあるリソースの RAII wrapper にはエラー通知できる
close() なりの破棄操作を別に用意しておけという話で済むと思う。

◆QZaw55cn4c · 2020/06/10(水) 21:10:53.11

>>270
通知って簡単にいいますけれども、その例えば fclose() 失敗の通知をどこに送り、そして送った先では何をするのですか？
通知をもらって何か手を打てるのですか？

汎用部品／ライブラリの作法ですか
理解はできますが、しかし、何もできないのなら、あるいは何もできないことがわかっているのなら、特段の失着にはみえませんね…

**デフォルトの名無しさん** · 2020/06/10(水) 21:56:31.91

大事なデータを保存したファイルのfclose()が失敗したらどうするかって？
場所変えて保存を試みるに決まってるだろ
それくらいしないプログラムは売り物にならないぞ

**デフォルトの名無しさん** · 2020/06/10(水) 22:20:00.38

そもそも仕様で指定があるならそのように書くだけなんじゃ

**デフォルトの名無しさん** · 2020/06/11(木) 00:27:51.81

>>271
たとえばコンソールアプリなら標準エラーに情報を出したうえで終了コードに反映して、
コマンドが失敗したのを見たユーザーが何をするか考えるっていうのはごく当たり前のことでしょ。
たとえばストレージ容量が足りないとして失敗したなら容量を確保して再実行すればいい。

fclose() の戻り値を捨ててるプログラムは現実としてたぶん多いんだけど、
そんなソフトがたとえばサーバー内でストレージ容量不足を数か月にわたって闇に葬り続け、
何かおかしいと気付いたサーバー管理者が自動スクリプトを緻密にトレースした結果、
保存されているはずの情報がもはやどこにも存在しないと気付いた時の怒り憎しみ悲しみを想像されたい。

少なくとも成功したと誤解しないのが重要。

**デフォルトの名無しさん** · 2020/06/11(木) 06:18:34.85

そんな状況じゃopenも失敗してるだろうな

**デフォルトの名無しさん** · 2020/06/11(木) 09:58:48.19

>>274
実はそれがRAIIの限界なんだよ。

ちゃんと明示的に fclose() してその戻り値をチェックするのが一番安全。
例外安全性のためにRAIIを使うべきという人が居るけど、それで勝手に
デストラクタ内でfclose()して容量不足やディスクエラーで書き込み失敗した時には、
多くの場合、対処に困る。
でも、例外安全のためにはそうせざるを得ないかも知れない。
ということは、そもそも論になり、例外の throw、catch機構自体が安全に扱うのが
難しいという結論に至り、議論百出する。

**デフォルトの名無しさん** · 2020/06/11(木) 10:29:20.16

>>276
それは飛躍しすぎかな。
破棄が失敗する可能性のあるリソースの RAII ラッパーが破棄操作も提供すれば済む話でしょ。
std::fstream の close() みたいに。

**デフォルトの名無しさん** · 2020/06/11(木) 10:38:30.62

上から目線なくせに脇が甘いな

**はちみつ餃子** ◆8X2XSCHEME · 2020/06/11(木) 11:08:58.38

デストラクタ内でエラーが発生する可能性があってそれに対処が必要なら
例外の送出とか言ってないでデストラクタ内で対処してしまえよ。
汎用的な部品にし難いのはしゃーないやろ。
実際に汎用的ではないんだから。

**デフォルトの名無しさん** · 2020/06/11(木) 11:47:39.02

おまいら (f)printf() の戻り値もちゃんと毎回観てるか？

**デフォルトの名無しさん** · 2020/06/11(木) 11:54:46.87

>>279
そうじゃなくて、何らかの別の事情で例外が送出された時に、fclose()し忘れを
防ぐためにRAIIのテクニックを使う場合の話をしてる。

**デフォルトの名無しさん** · 2020/06/11(木) 11:56:16.72

>>277
fstreamであろうがなんであろうが、GUIアプリに置いて、デストラクタ内で失敗した
時にユーザーに失敗したことを知らせるのは結構難しいぞ。

**デフォルトの名無しさん** · 2020/06/11(木) 12:17:49.27

そんなに難しいか？
深刻な事態が疑われるならシステムモーダルダイアログなり何なりすることあるだろ
あくまでOSではなくアプリとして事後条件が保証できない場合はterminateを呼び出して
OSに事故としての扱いをさせるのが「難しい」のは思いつかないだけじゃねえだろな

プログラミング以外の仕事でも事故はまず報連相
１人で握りつぶそうとするのは学生気分が抜けてないやつのすることだ

**デフォルトの名無しさん** · 2020/06/11(木) 12:19:04.03

>>282
そりゃ難しいだろうな。
通知が要るならデストラクタ内で失敗させないように破棄操作を提供すれば済むだろうという話をしたつもり。
それで済まないケースを想定してるなら、どんなのか教えて。

**デフォルトの名無しさん** · 2020/06/11(木) 12:21:07.06

>>283 そっか GUI ならダイアログ使えるから、通知するだけなら簡単だね。

**デフォルトの名無しさん** · 2020/06/11(木) 12:22:43.78

>>284
>通知が要るならデストラクタ内で失敗させないように破棄操作を提供すれば済むだろうという話をしたつもり。
意味が分からないので、説明を。

**デフォルトの名無しさん** · 2020/06/11(木) 12:29:07.29

>>283
Exceptionをthrowした時の自動フォローアップとしてRAIIのデストラクタが呼び出される。
それが呼び出されるのは原則的にどこかでかは余り仮定できない。
ということは、非常に変なタイミングで fclose()に失敗することがある。
メッセージボックスを出すと、そこでイベントに対するメッセージループが形成されるので、
タイマーイベントのハンドラのOnTimer()などが起動してしまうこともある。
OnTimer()を、Exceptionがthrowされた状態で実行してよいかどうかは注意を要する事だ。
また、アプリの初期化処理の InitInstance()や終了処理のExitInstance()の中で、RAIIの
デストラクタが呼び出されてしまう場合もあるかも知れず、その中でメッセージボックスを
出すと思わぬ問題が生じるかもしれない。
生じないかも知れないが。

ただ、Exceptionがthrowされたということは何か異常が生じているということで、
それがたまたまファイルに関するものであったとしたら、二重三重に、ファイル関連で
エラーが生じてしまい、何か危険な状態に陥ってしまう可能性も有るかも知れない。
そういう微妙な配慮が必要となる。

**デフォルトの名無しさん** · 2020/06/11(木) 12:33:42.17

>>287
もっといえば、Exceptionのthrowはどこで起きるかは仮定しにくいものなので、
何らかのダイアログを出すための初期化処理の中で生じることも有るかも知れない。
そういう場合にたまたま、関数の呼びだし元へどんどん Exception の Unwinding
が生じて、RAIIのデストラクタで fclose()が呼び出される可能性も有るかも知れない。
そうなって、さらに、その fclose()がエラー終了する場合がある。
ダイアログの生成に失敗したタイミングで、エラーメッセージの表示のために、
メッセージボックスのダイアログを出すことになれば、もしかしたらかなり危険な
バグを含むことになってしまうかも知れない。

**デフォルトの名無しさん** · 2020/06/11(木) 12:49:26.16

>>286-288
ごめん、別の例外でスタック巻き戻し中の fclose() 失敗は無視でもいい想定だった。
元の例外が通知されればそれでいいだろうと。
破棄操作を提供すれば済むっていうのは、たとえば fstream について
正常フローから close() 呼び出せば fclose() の失敗は普通に処理できるっていう意味。

エラー発生後の後処理でのエラーについてはもはや例外処理機構とか RAII とか関係なく
エラー処理一般で難しさは変わらないのでは？

**デフォルトの名無しさん** · 2020/06/11(木) 13:14:41.21

>>287
何を言い出すかと思ったらシングルスレッドを
気分だけマルチっぽく見せかけてるだけなやつの話か

**デフォルトの名無しさん** · 2020/06/11(木) 17:56:16.10

そんなに大事なデータならverifyするだろ

**デフォルトの名無しさん** · 2020/06/13(土) 16:05:30.52

>>271
>知って簡単にいいますけれども、その例えば fclose() 失敗の通知をどこに送り、そして送った先では何をするのですか？
最終的にはユーザーに通知する

>通知をもらって何か手を打てるのですか？
ユーザーが通知に従い手を打てる

>>279
デストラクタ内での例外を送出したら即アプリが死ぬﾊｽﾞ
コアを吐いてくれたら通知にあたる情報が取り出せるかもしれないが美しくない

>>287
異常の内容をユーザーに通知することを目的とするなら
>エラーの通知先オブジェクトへのポインタをCMyXは持つ(>>252)
で事足りる
メッセージループは、通知先オブジェクトが1個だけもちさえすればユーザーへの通知の役目を果たせる
CMyXのようなケースは通知先オブジェクトを保持するオブジェクトからFactoryMethodパターンでインスタンス化
するのがいかにもOOP的で個人的には好み（CMyXのインスタンス化のときに通知先を確実に渡せる

**はちみつ餃子** ◆8X2XSCHEME · 2020/06/13(土) 16:59:34.64

>>292
私が書いた >>279 ではデストラクタ内で対処を完結させろ (例外を投げずに済ますために) と書いてあるつもりなんだが、お前にはそれが読み取れなかったか？

ちなみに、現在の C++ ではデストラクタ (と delete) はデフォルトで noexcept で修飾されているものと見なされる。
これは例外を外へ送出しないことを保障するんだが、内部で例外が発生しないとは保証されない。
もし発生した例外を内部でキャッチせずに外へ出ていこうとしたら std::terminate() が呼び出される。
(スタックの巻き戻しは起こらずに即死するかもしれない。)

陽に noexcept(false) を指定したらデストラクタから例外を送出することは可能。
ただし、スタックの巻き戻し中に起動される別のデストラクタから例外が送出されると死ぬ。
普通は色々なライブラリを組み合わせるから問題が出ないようにするには
一貫してデストラクタからは例外を投げないのが妥当な設計だと考えられているってだけ。

**デフォルトの名無しさん** · 2020/06/13(土) 17:06:07.88

>>293
よく読んでなかったわｻｰｾﾝｗｗｗｗｗｗｗｗｗｗｗｗ

>>292ので
>デストラクタ内で対処を完結させろ (例外を投げずに済ますために)
のアッパーコンパチになるのだから結果オーライで
オール無問題、

**デフォルトの名無しさん** · 2020/06/13(土) 20:11:16.15

個人でｃ＋＋使うことは少ないですか？
C#やelectronと比べて何倍手間がかかりますか？
２ｄのタイルマップエディタのようなものを作りたいのです、、、
https://www.mapeditor.org/