C++相談室 part146

**デフォルトの名無しさん** · 2019/11/07(木) 11:35:36.76

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

前スレ
C++相談室 part145
http://mevius.5ch.net/test/read.cgi/tech/1568362404/

このスレもよろしくね。
【初心者歓迎】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/ (日本語)

**デフォルトの名無しさん** · 2019/12/15(日) 11:31:53.05

そうなのかな？

**デフォルトの名無しさん** · 2019/12/15(日) 11:37:55.15

まずイテレータで何を抽象化したいかを明確にしなよ
ノードを意識させたいのか？

**デフォルトの名無しさん** · 2019/12/15(日) 11:38:38.78

STL風ツリーって検索しても絶対出てこないし、CIAが絡んでるような気がしてきた。

**デフォルトの名無しさん** · 2019/12/15(日) 11:39:36.48

そこがわかんないんだよねえ。
禿4とか読んでると、イテレータは位置を意味してるように思うんだけど。

**デフォルトの名無しさん** · 2019/12/15(日) 11:45:00.74

ツリー構造
範囲が広すぎて
汎用化すると使い勝手が悪くなるからしない
ってだけかと

**デフォルトの名無しさん** · 2019/12/15(日) 11:56:45.76

recursive_directory_iteratorとかね

**デフォルトの名無しさん** · 2019/12/15(日) 12:06:14.82

なんでdirectory？
treeでいいじゃん

**デフォルトの名無しさん** · 2019/12/15(日) 12:22:05.91

いや立体がどうたら言ってるから
じゃあrecursive_directory_iteratorを使うユーザーのコードは
いちいち多重ループだの再帰だのといった処理になるのかって
思ってさ

**デフォルトの名無しさん** · 2019/12/15(日) 12:24:23.41

ツリーは、あるノードの親が知りたいときもあるはず。

**デフォルトの名無しさん** · 2019/12/15(日) 13:07:24.45

ごちゃごちゃ考える前にイテレータの本分を決めなよ
begin()からend()まで++で走らせた時にどうなってほしいの？
話はそれからだ

**デフォルトの名無しさん** · 2019/12/15(日) 13:09:44.18

一般にtreeの探索順序はアルゴリズムと深く結びついてるし、
そこ凝りだすと沼だぞ。

**デフォルトの名無しさん** · 2019/12/15(日) 13:09:51.26

関数ポインタをシリアライズしてファイルとして保存し、
ファイルからその関数ポインタを利用できる形に復元する方法ってあるのでしょうか？

**デフォルトの名無しさん** · 2019/12/15(日) 13:13:54.57

関数だろうが変数だろうがポインタはただの整数値でしょ

**デフォルトの名無しさん** · 2019/12/15(日) 13:18:39.25

>>923 環境や「利用」の仕方を具体的に限定すればやりようはあるかもね。

**デフォルトの名無しさん** · 2019/12/15(日) 13:20:48.30

次に(別のプロセスで)ファイルを読み込んだときに、
元の関数を同じ番地で参照できると限らんしな。
関数ポインタの配列のインデクスなら大丈夫だろうだけど。

**デフォルトの名無しさん** · 2019/12/15(日) 13:23:00.95

https://ja.cppreference.com/w/cpp/iterator/reverse_iterator/operator%3D
これconstexprになってるけど、どういうときに定数になるんだろ？
end()の時かな？

**デフォルトの名無しさん** · 2019/12/15(日) 13:39:23.84

C++20以降のvector/stringとか
使われる時にconstexprであることを妨げないようにするために付いてるんだと思う

**デフォルトの名無しさん** · 2019/12/15(日) 13:47:38.10

どうもありがとう。

**デフォルトの名無しさん** · 2019/12/15(日) 13:52:49.06

constexpr関数の中で使うため。

**デフォルトの名無しさん** · 2019/12/15(日) 14:30:37.97

デストラクタがデフォルトでvirtualじゃないのは設計不良ではあるまいか

**デフォルトの名無しさん** · 2019/12/15(日) 14:34:47.01

あえてベースの方のメソッドを呼びたいなんてことあるのかね？

**デフォルトの名無しさん** · 2019/12/15(日) 14:38:17.75

>>931 https://isocpp.org/wiki/faq/virtual-functions#virtual-dtor-rationale

**デフォルトの名無しさん** · 2019/12/15(日) 15:15:03.49

>>931
C++では基本的にゼロコストでできるところはそうできるようにするポリシーだからvirtualが必要なときだけvirtualを明示的に指定させる、というのをどこかで読んだ気がする

**デフォルトの名無しさん** · 2019/12/15(日) 15:29:48.68

virtualでなかったら継承禁止にしても良かったんじゃないかとは思う

**デフォルトの名無しさん** · 2019/12/15(日) 16:19:56.16

そうするとメタプログラミングに色々と支障が出たはずだし
STLも結構継承使ってるから実現出来なかったかコスト増えてるよ

**デフォルトの名無しさん** · 2019/12/15(日) 16:52:10.11

デストラクタをvirtualにする必要があるのは、baseのポインタ経由でdeleteする場合だけ
baseのポインタを使うことすらないようなもの(CRTPなど)までvirtualになるのは
どうなんだろうか

**デフォルトの名無しさん** · 2019/12/15(日) 17:01:04.52

unique_ptr使えばvirtualにする必要無いのでは？

**デフォルトの名無しさん** · 2019/12/15(日) 17:16:05.58

>>938 んなこたーない。
shared_ptr<Base>{new Derived} なら virtual デストラクタ不要になるから、間違えて覚えてるだけでは？

**デフォルトの名無しさん** · 2019/12/15(日) 18:59:53.87

>>937
>デストラクタをvirtualにする必要があるのは、baseのポインタ経由でdeleteする場合だけ
mjk、

**デフォルトの名無しさん** · 2019/12/15(日) 19:10:50.35

セオリーとして覚えてる人多いけど、何故なのかまで考えてない人が多い例の一つだね
要するにdeleteする基底のポインタからデストラクタを呼ぶ際に末端のデストラクタを呼ぶ方法(vtable)が必要というだけ
末端のデストラクタを呼べれば、そこから基底のデストラクタを呼んでいくのは何が基底かわかりきってるから自動で出来る

**デフォルトの名無しさん** · 2019/12/15(日) 19:29:34.24

>>941
>基底のポインタからデストラクタを呼ぶ際に末端のデストラクタを呼ぶ方法(vtable)が必要というだけ
mjk、

◆QZaw55cn4c · 2019/12/15(日) 19:42:55.10

永遠の初心者です、お願いします
1. 式で if 文を表現したいときは条件演算子（三項演算子 ?: ）が使えますが、同じく式でループ構造を表す方法は C++11 以後にありますでしょうか？
2. 1 の質問の理由としては、C++ は Java とちがって uper() がなく、派生クラスのコンストラクタの基底クラス初期化部分に式しか書けません、ここにループを書くとすれば「コンストラクタ用メンバ関数（メソッド）」を置いていますがいかにも無様だと思っています…
3. ある既存のクラスに皮をかぶせて機能アップを図るとき、もとのクラスの派生クラスとして機能アップ部分を既述することは、よくある定石でしょうか、それともあまりしないことでしょうか？

---
以上3点の質問は以下のプログラムを書いていて感じました
お題は「エラトステネスのふるい」、ただし、当初、まっとうにふるいを書いた後、機能アップ項目として
篩部分に格納する数は 2n + 1 奇数に限定する、あるいは 6n + 1, 6n + 5 の形のみに限定する
等を元の篩に対して派生クラスとして記述しました
https://ideone.com/YPlfsC

**デフォルトの名無しさん** · 2019/12/15(日) 20:01:24.23

>>943
ラムダ式の出番かな？
void test(bool flag) { flag ? []{ for(int i = 0; i < 10; ++i) cout << i; } : throw 1; }

**デフォルトの名無しさん** · 2019/12/15(日) 20:05:17.27

エラストテネス
6n+1, 6n+5だけ保持とかってみんな考えるよね

ちなみに
巨大なテーブル作成時のパフォーマンスを上げるなら
キャッシュが効くよう分割処理するのが非常に効果的
スレッド分割の為にいずれにしろ分割処理は作る事になる

**デフォルトの名無しさん** · 2019/12/15(日) 20:07:01.24

エラトステネス

**デフォルトの名無しさん** · 2019/12/15(日) 20:14:20.76

高分子エラストマー

**はちみつ餃子** ◆8X2XSCHEME · 2019/12/15(日) 20:20:59.00

>>943
初期化部分に複雑な処理をベタ書きする方が無様だと思うよ。
初期化リストの中にそんなごちゃごちゃしたこと書きたい？
ワイが思うだけなので世間でどう思われてるかは知らんけどとりあえずひとつの意見として。

**デフォルトの名無しさん** · 2019/12/15(日) 20:54:13.00

>>939

親クラス(Base)のデストラクタに virtual 付けなくても...
{
shared_ptr<Base> obj( new Derived() );
} // ~Derived() called, then ~Base() called.

~Derived() はコールされるんですね... 確認してみて驚きました。
これができる仕組みを誰か教えてください。
スマートポインタのオブジェクトは子クラスの事何も知らないのに
どうして ~Derived() のコールが可能なのでしょうか？

**デフォルトの名無しさん** · 2019/12/15(日) 21:07:41.82

>>949
いわゆるtype erasure
https://blog.cryolite.net/entries/2006/01/08#p1

**デフォルトの名無しさん** · 2019/12/15(日) 21:19:04.13

>>950
まだ仕組みのとこまでですが理解できました。ありがとうございます。

**デフォルトの名無しさん** · 2019/12/15(日) 21:24:07.01

質問ですが構造体Fooの内側に構造体Barが定義されているという入れ子になった構造体において、
Fooの外のコードでFoo::Barのサイズをsizeof()で知りたいとき、以下は正しい？
1. C++だとsizeof(Foo::Bar)と書いたらおk
2. CまたはC++でもC互換構文の範疇で済ます場合、次のどちらかの方法でしか書けない
(1) Foo::Barのインスタンスyが存在するスコープ内で、sizeof(y)と書く
(2) Fooのインスタンスxが存在するスコープ内において、Foo::Bar型のメンバyをFooが持つ
　　　　（Foo::yが定義されている）という条件の下で、sizeof(x.y)と書く

**デフォルトの名無しさん** · 2019/12/15(日) 21:39:08.56

ふとｵﾓﾀがインスタンスの必要性は無くせるかもしれん
Foo::Bar型のメンバFoo::yが定義さえされておれば、Fooのインスタンスが無くても
　sizeof(((Foo*)0)->y)
と書けばC言語で逝けるかもしれん…
ｽｹﾞｰ気持ち悪いコードだが、、、、

**デフォルトの名無しさん** · 2019/12/15(日) 21:46:34.52

>>951
あくまでコンパイル時の型で決まるだけだから要注意
例えば

class A;
class B : public A;

A* p = new B();
std::shared_ptr<A> a(p);

これだとBのデストラクタは呼ばれない

**デフォルトの名無しさん** · 2019/12/15(日) 21:48:17.68

なんでそんな中途半端な機能を
わざわざコストをかけて入れたんだろう

**デフォルトの名無しさん** · 2019/12/15(日) 21:49:32.31

やむを得ず
なんだろうけど

**デフォルトの名無しさん** · 2019/12/15(日) 21:51:55.29

>>953
Linuxカーネルとかそういう感じのマクロ満載だよ
C言語はそういうもん

**デフォルトの名無しさん** · 2019/12/15(日) 22:05:12.60

type erasureと相性悪いんだっけ

**はちみつ餃子** ◆8X2XSCHEME · 2019/12/15(日) 22:15:04.90

>>943
思い出した。
gcc や clang の拡張で良ければ複文が式になる。
だいぶん昔からある機能。

#include <vector>
#include <iostream>

int main() {
std::vector<int> foo(({int i; for(i=0; i<3; i++); i;}));
std::cout << foo.size() << std::endl;
return 0;
}

◆QZaw55cn4c · 2019/12/16(月) 19:39:21.34

>>944,945,948,959
コメントありがとうございます！

>>944,959
まずgcc拡張
＞SieveDerived(int n) : Sieve<T>(({int r; while((r = index(n)) == 0) n--; r;})) { } /* HERE!! */
で問題なく動作しました
すでにgcc拡張で存在するところからみて、私の希望はあながち無謀かつ無稽なものではないことを知りほっとしました
次にラムダ式で定義して即評価する方法がみつかりました
＞SieveDerived(int n) : Sieve<T>([](int n)->int{int r; while ((r = index(n)) == 0) n--; return r;}(n)) { } /* HERE!! */
これがやりたかった！とても満足しています、ありがとうございました！
今までは関数オブジェクトの糖衣構文としてしかみていなかったラムダ式を、自分の希望にあわせて（あるいはねじまげてでも）採用し、表現できるようになったのは一歩理解が深まったかと考えています

>>948
＞初期化リストの中にそんなごちゃごちゃしたこと書きたい？
クラスのメソッド＝メンバ関数には、クラスの提供する機能として独立性の高いもの、少なくとも二箇所で同じような処理がダブっているもの、あるいは主観的には「lemma」として成り立つものを書きたいと考えていました
一箇所でしか使わないものでも lemma 性があるのならば private メソッドとして書くのもありかと思っていますが、今回の場合は、他におなじような処理をおこなっている場所はなく、かといってメソッドとして立てるほどのことでもないので、
複数個所からコールできるメソッドにはしたくなかった、という主観がありました、そういう性質の記述ならば初期化リストにごちゃごちゃ書くのもありかと、読み手には他からコールされ得ないことが自明である点からしても

https://ideone.com/y3ROXS

**デフォルトの名無しさん** · 2019/12/16(月) 20:14:24.13

まあこういう自己満は通過儀礼だよな

**デフォルトの名無しさん** · 2019/12/16(月) 21:46:21.90

lambdaの即時評価はjsだと多用されているイメージ
ブロックスコープないからね

**はちみつ餃子** ◆8X2XSCHEME · 2019/12/17(火) 00:52:53.01

>>960
> すでにgcc拡張で存在するところからみて、私の希望はあながち無謀かつ無稽なものではないことを知りほっとしました

30 年以上の実績があってもなお仕様に入らない程度に駄目なんだよ。

**デフォルトの名無しさん** · 2019/12/17(火) 03:23:09.50

プライベートメンバの単体テストってみんなどうしてるのかな。

**デフォルトの名無しさん** · 2019/12/17(火) 03:30:02.23

#define private public

**デフォルトの名無しさん** · 2019/12/17(火) 03:58:13.47

#if 0
friend test;
#endif

**デフォルトの名無しさん** · 2019/12/17(火) 07:08:07.08

#ifndef NDEBUG
friend struct test;
#endif

**デフォルトの名無しさん** · 2019/12/17(火) 07:46:15.26

闇言語

**デフォルトの名無しさん** · 2019/12/17(火) 11:20:07.09

namespace Method{ namespace Detail {
template<typename ReturnType, typename ... ArgTypes> struct MethodRegister{};
} }
// 文字列で呼び出すための関数を登録するためのマクロ
#define METHOD_REGISTER_WITH_NAME( NAME, FUNC, RETURNTYPE, ... ) \
namespace Method { namespace Detail { \
template<> struct MethodRegister<RETURNTYPE, __VA_ARGS__> { \
using Functional = std::function<RETURNTYPE(__VA_ARGS__)>; \
MethodRegister() { \
MethodContainer::GetInstance().Register<RETURNTYPE, __VA_ARGS__>( #FUNC, Functional( static_cast<RETURNTYPE(*)( __VA_ARGS__ )>( FUNC ) ) ); \
} \
~MethodRegister() { \
MethodContainer::GetInstance().Unregister( #FUNC ); \
} \
}; \
static MethodRegister<RETURNTYPE, __VA_ARGS__> sMethodRegister##FUNC; \
} }
void HOGE(){
std::cout << "Hello World!" << std::endl;
}
void HOGE( std::string text ){
std::cout << text << std::endl;
}
METHOD_REGISTER_METHOD( HOGE, void );
METHOD_REGISTER_METHOD( HOGE, void, std::string );

こういった形で関数を登録する用のクラスを生成し、変数として生成して管理の自動化を行いたいのですが、
関数のオーバーロードを対応しようとした所、クラスの再定義や変数の再定義、管理クラスへの重複登録等
多数の問題が出て詰まってしまいました。
こういった問題を対処するにはどうすればよいのでしょうか？

**デフォルトの名無しさん** · 2019/12/17(火) 11:28:10.65

BOOST

**デフォルトの名無しさん** · 2019/12/17(火) 12:23:52.67

>>966
>>967
リリース時に消す必要あんの？

**デフォルトの名無しさん** · 2019/12/17(火) 18:42:08.59

このへんがいいんでないの。
https://srz-zumix.blogspot.com/2015/06/c-private.html

◆QZaw55cn4c · 2019/12/17(火) 19:10:07.01

>>963
まあ、
({int r; while((r = index(n)) == 0) n--; r;})
の最後の
r;
というのが限りなく非文法的ですし

**デフォルトの名無しさん** · 2019/12/17(火) 21:19:56.70

プライベートメンバをテストしたくなったらそのロジックのみを非メンバ関数に切り出してテストしてるな。
まぁ、特に支障がなければ単純にpublicにするだけの時もあるけど。

**デフォルトの名無しさん** · 2019/12/17(火) 21:45:39.29

templateでアクセスすると合法的にプライベートメンバにアクセスできる

**デフォルトの名無しさん** · 2019/12/17(火) 21:49:21.80

そんな糞な方法でテストなんかしたくねー。

**デフォルトの名無しさん** · 2019/12/18(水) 01:14:03.75

テストなんかお綺麗にする必要が無い

**デフォルトの名無しさん** · 2019/12/18(水) 06:18:11.97

テストのテストが必要になるような意味のわからないテストコードはアウト
テストコードは実行せずに人が読んで理解できなければいけない

**デフォルトの名無しさん** · 2019/12/18(水) 07:25:56.60

>>978
どんな感じか見せていただけないでしょうか。

**デフォルトの名無しさん** · 2019/12/18(水) 07:42:51.80

>>971
絶対必要でもないが
少なくともデバッグ用であることくらい
アピールしたい
//よりNDEBUGという特定ワードを使う点にも拘りがある

**デフォルトの名無しさん** · 2019/12/18(水) 07:48:17.80

>>979
例えばテストコードの中にループや条件分岐があるようなものはアウト

**デフォルトの名無しさん** · 2019/12/18(水) 11:33:15.65

ループは許してもらえませんか？
データの並びとか検査したいんで。
条件分岐はたぶんないと思います。

**デフォルトの名無しさん** · 2019/12/18(水) 12:41:59.93

原理主義にすぐ染まるやつw
ご苦労様

**デフォルトの名無しさん** · 2019/12/18(水) 13:15:29.66

テスト用にいろんな複雑なテストも入れてるけど
まずいのか？

**デフォルトの名無しさん** · 2019/12/18(水) 13:22:47.07

Debugビルドしたら遅すぎて検証できなくて詰んだ

**デフォルトの名無しさん** · 2019/12/18(水) 13:34:17.71

典型的な糞テストは、テスト対象の出力がハッシュや現在時刻などのような予測しづらいものに依存している場合に、
テストコードにテスト対象自体のロジックと似たものを書いてしまっているケースだな
原則的には、期待する出力は全てハードコードするのが正しい
難しいなら一度試しにテスト対象を実行して目視テストし、その結果をハードコードしたほうがマシ

**デフォルトの名無しさん** · 2019/12/18(水) 13:39:53.25

メカが絡むリアルタイム処理でそんな事出来るかよ

**デフォルトの名無しさん** · 2019/12/18(水) 15:13:38.33

>>982
Parameterized Testsがあれば十分じゃね？

**デフォルトの名無しさん** · 2019/12/18(水) 15:16:04.78

>>986
期待する出力をハードコードするから
テストで「○○以上であること」って書くこと無いよね？
こういうテストケースある？言い換えるとそういうマッチャーって必要？

**デフォルトの名無しさん** · 2019/12/18(水) 15:38:06.38

次スレは

**デフォルトの名無しさん** · 2019/12/18(水) 16:59:26.54

よ。

**デフォルトの名無しさん** · 2019/12/18(水) 17:57:22.30

ほらよ

C++相談室 part147
https://mevius.5ch.net/test/read.cgi/tech/1576659413/

**デフォルトの名無しさん** · 2019/12/18(水) 20:28:47.90

>>987
それはまた別の話
ここで言ってるのは単体テストレベルの話だぞ

**デフォルトの名無しさん** · 2019/12/18(水) 21:11:16.67

クラスとかの勉強入る前にC言語でしっかり文字列処理出来るようになったほうがいい？

**蟻人間** ◆T6xkBnTXz7B0 · 2019/12/18(水) 21:14:21.02

>>995
strcpyなんて古い関数は２１世紀では使えないぜ。std::stringでOK.

**デフォルトの名無しさん** · 2019/12/18(水) 21:14:35.04

C言語でしっかり文字列処理出来るようになったほうがいい？ → いい
C++でC言語の文字列処理する？ → しない

**デフォルトの名無しさん** · 2019/12/18(水) 21:16:04.08

>>987
逆にそういう不確定な部分とロジック部分を切り分けるのが単体テストの目的でもある。

**デフォルトの名無しさん** · 2019/12/18(水) 23:15:57.41

>>992乙

お前らコピー使うなムーブしろ

**デフォルトの名無しさん** · 2019/12/19(木) 00:00:58.14

単体テストはどんだけ単純でわかりやすいコードでテストパターンを網羅するかが肝
Google TestとかTest::MoreとかJUnit使ったらﾜｶﾙ

**蟻人間** ◆T6xkBnTXz7B0 · 2019/12/19(木) 00:08:57.93

あれっ？

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 41日 12時間 33分 22秒