C++相談室 part142

**デフォルトの名無しさん** · 2019/04/01(月) 22:17:05.84

次スレを立てる時は本文の1行目に以下を追加して下さい。
!extend:on:vvvvv:1000:512

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

前スレ
C++相談室 part137 (正しくはpart138)
http://mevius.5ch.net/test/read.cgi/tech/1535353320/
C++相談室 part139
https://mevius.5ch.net/test/read.cgi/tech/1538755188/
C++相談室 part140
https://mevius.5ch.net/test/read.cgi/tech/1547326582/
C++相談室 part141
https://mevius.5ch.net/test/read.cgi/tech/1550772463/

このスレもよろしくね。
【初心者歓迎】C/C++室 Ver.103【環境依存OK】
https://mevius.5ch.net/test/read.cgi/tech/1530384293/

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

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

----- テンプレここまで -----
-
VIPQ2_EXTDAT: default:vvvvv:1000:512:----: EXT was configured

**デフォルトの名無しさん** · 2019/06/06(木) 00:50:27.07

>>759
参照とオーバーロードにどういう関係がありますのん？

**デフォルトの名無しさん** · 2019/06/06(木) 00:51:47.37

専門家が深く考えて議論して決めたことを素人が批判してて草

**デフォルトの名無しさん** · 2019/06/06(木) 01:17:25.71

>>752は、operator->()をみたらしぬ

**デフォルトの名無しさん** · 2019/06/06(木) 03:17:03.81

=0とか分かりやすすぎ

**デフォルトの名無しさん** · 2019/06/06(木) 06:49:58.29

>>761
= 0 だけならまだしも
= default とかあまり深く考えてなくね？
まあ後付で言うのは容易いよな
って言われたらぐうの根もでないがw

**デフォルトの名無しさん** · 2019/06/06(木) 07:01:39.10

Cの古い文法を(ほぼ)そのまま残した上にC++を作ったから
いきなりC++から勉強すると気色悪いと感じる面もあるかもな。

ポインタと参照が同時期に言語に入ってたら、
int a; // 通常の変数
int &ra = a; // 参照
int *pa = a; // &演算子なしで暗黙にポインタに変換
てな書き方になってたかも知れん。

void func(int n);
void func(int *pn);
void func(int &rn);
これらは曖昧で解決できない、になってたかも。

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

>>765
ポインタのポインタやキャストのこと考えたら、その例のような暗黙のポインタ変換とか持ち込むとかえって混乱やミスの元になりそうだし、現状の仕様もしかたないものかなと思うよ

**デフォルトの名無しさん** · 2019/06/06(木) 08:40:36.13

>>766
Go使いやすいよ

**デフォルトの名無しさん** · 2019/06/06(木) 10:41:12.25

参照引数に結果を代入とかたまに使うけど呼び出す側から分かりやすいようにC#のout修飾子とかほしい

**デフォルトの名無しさん** · 2019/06/06(木) 11:48:51.90

C#のoutは言われてみれば確かにって感じだけど、そうやって問題提起されるまではそもそも当然すぎて問題だと思われてなかったんだろうね
引数に代入することで呼出元へ値を返すのってfortranとかの時代から続く悪しき伝統だから

**デフォルトの名無しさん** · 2019/06/06(木) 11:53:56.84

分配束縛の導入が必要だね

あと、NRVOの義務化

**デフォルトの名無しさん** · 2019/06/06(木) 12:07:43.67

仮引数名をoutにしとけばいいだけでは？

**デフォルトの名無しさん** · 2019/06/06(木) 12:09:14.70

>>768
それconst付きかどうかで判断すべきと言うか判断するだろ？

**デフォルトの名無しさん** · 2019/06/06(木) 12:26:08.08

世の中には引数にconst付けない糞ライブラリがあるんですよ

**デフォルトの名無しさん** · 2019/06/06(木) 13:52:14.20

>>772
問題はそこじゃない
呼出元のコードだけを見たときにソース上で区別がつかないだろ
C#のoutは呼出元にも付ける必要があるんだよ
C++でも出力引数に参照渡しを使うことは禁止しポインタを使う流派があるが、
あれも呼出元を見たとき書換えの可能性の有無を&の有無だけで判別できるようにするのが目的

**デフォルトの名無しさん** · 2019/06/06(木) 17:27:39.41

>>774
それいちいちつけさせられたらメンドイだけのような
どうせIDEで見りゃわかるのに

**デフォルトの名無しさん** · 2019/06/06(木) 17:40:39.24

class Person
{
public:
Person& set(int);
private:
int age;
}

Person& Person::set(int num)
{
age = num;
return *this;
}

*thisを返す関数ってことで大雑把にこんな感じのサンプルが本に出てました
メンバーセットするだけならわざわざ本体の参照返す必要無くない？voidで良くない？って思ったんですけど何かメリットってありますか？

**デフォルトの名無しさん** · 2019/06/06(木) 17:45:07.81

基本的には複数の値を戻したいならtuple返すべきだし、オブジェクトの状態を書き換える関数はそのオブジェクトのメンバにするべき
データ構造体を一部書き換えるような処理は、書き換えじゃなくて新しいのを作って返した方が読みやすいし効率的なことも多い
全部が全部そうとは言わないけど、参照引数は書き換え分かりにくいってブーブー言う奴のコードって大体汚いイメージある

**デフォルトの名無しさん** · 2019/06/06(木) 17:49:48.99

>>776
operator=系は組み込み演算子と挙動合わせるために*thisを返すことが多い
今はあんまり推奨されないけどif(a=foo())とか書けるようにね

その例はif(p.set(40))とか書きたいのか、operator=系の話と混同してよく分からずに適当に書いてるか、そのどっちか

**デフォルトの名無しさん** · 2019/06/06(木) 17:52:12.08

>>776
メリットとは言い難いがこんなことが出来る。
a.setx(1).sety(2);

参考書でそれをやるならoperator演算子でやるべきだったな。

**デフォルトの名無しさん** · 2019/06/06(木) 17:57:05.98

C++はアドリブ力が要求されるからな

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

C++の言語仕様にケチつけたところでどうにもならんでしょ。
なにがしたいの。 >>2 にある「すっぱい葡萄」な人？

**デフォルトの名無しさん** · 2019/06/06(木) 18:13:42.57

呼び出し側の制約がしたいならtemplateでちょこっと書けば出来るし
template<typename T>
struct Out {
T& ref_;
explicit Out(T& ref_):ref_(ref_){}
T& operator()() const{return ref_;}
};
template<typename T>
inline auto out(T& ref_for_out)
{
return Out<T>(ref_for_out);
}

void func(Out<int> const& v)
{
v()=1;
}

int main()
{
int i;
//func(i);
func(out(i));
}

**デフォルトの名無しさん** · 2019/06/06(木) 20:03:44.48

やれやれ

**デフォルトの名無しさん** · 2019/06/06(木) 20:12:37.34

>>761
専門家の意見は奴がもう少し構文解析勉強してればって意見だがな。
権威だけ気にするバカがほんと増えたね。

**デフォルトの名無しさん** · 2019/06/06(木) 20:55:57.85

>>776
つbuilder pattern

ここのc++サンプル参照
https://en.m.wikipedia.org/wiki/Builder_pattern

**デフォルトの名無しさん** · 2019/06/06(木) 21:33:19.25

>>777-779
ありがとうございました。本は定評のあるC++プライマーなんで多分私が書いた例がなんかおかしいんだと思います
演算子オーバーロードは今やってるところではまだ出てきてないですね。>>779は実際本にも出ていましたがやはりそれがわかりやすいメリットになりますか

**デフォルトの名無しさん** · 2019/06/06(木) 23:08:39.21

メソッドチェーンか

Ruby, jQuery のマネw
Kotlin も真似してる

**デフォルトの名無しさん** · 2019/06/06(木) 23:21:23.55

マネってお前…

**デフォルトの名無しさん** · 2019/06/07(金) 06:54:43.17

メソッドチェーンって便利か？
>>779の
> a.setx(1).sety(2);
も
a.setx(1);
a.sety(2);
って書けばいいだけだよね？

**デフォルトの名無しさん** · 2019/06/07(金) 07:43:41.42

>>789
書くのも読むのもだるい

**デフォルトの名無しさん** · 2019/06/07(金) 07:45:42.22

2個くらいならいいが
10個くらいつなぐやついて長すぎて改行するから結局同じ

**デフォルトの名無しさん** · 2019/06/07(金) 07:52:12.96

おっしゃる通り

**デフォルトの名無しさん** · 2019/06/07(金) 07:59:02.43

メソッドチェーンの利点で調べてみたら名前付き引数みたいなことが可能とあったな。

//メソッドチェーンで設定してない値は初期値を使用
//コンストラクタとは違いチェーンしてるので値の設定の順番は自由

void test(data().year(2019).manth(12).day(24));
void test(data().manth(12).day(24).year(2018));

**デフォルトの名無しさん** · 2019/06/07(金) 07:59:54.93

>>790
C++に向いてないからやめたらw

**デフォルトの名無しさん** · 2019/06/07(金) 08:02:27.28

>>793
間違えて１つ抜かしたり重複しててもエラーにならない
デメリットの方がでかくね？

**デフォルトの名無しさん** · 2019/06/07(金) 08:09:00.14

>>795
重複したら後の方が優先されるし、抜けた分は初期値を使用するし...

ただし、それだけのためにクラスを作る手間はデメリットだと思う。

あくまで使い方の一例

**デフォルトの名無しさん** · 2019/06/07(金) 08:13:09.29

「流れるような」とか言われると笑う

**デフォルトの名無しさん** · 2019/06/07(金) 10:10:37.57

>>796
> 重複したら後の方が優先されるし、抜けた分は初期値を使用するし...
だからいいってか？
抜けた部分はともかく重複をエラーにできないのは名前付引数に比べてデメリットでしかないだろ

**デフォルトの名無しさん** · 2019/06/07(金) 10:20:00.95

>>794
行数が増えるのに耐えられるのか？
俺はできない

**デフォルトの名無しさん** · 2019/06/07(金) 10:22:00.36

range adapter、C++20から使えるよ、メソッドチェーンだよ・・・

**デフォルトの名無しさん** · 2019/06/07(金) 10:34:36.93

ようするにラムダ式をチェインさせればいいんだろ
かんたんじゃん
Lispの時代に近づいてるだけだ

**デフォルトの名無しさん** · 2019/06/07(金) 10:35:22.44

>>798
理想的な名前付き引数が存在するなら「名前付引数に比べてデメリット」といえるんだろうけど、
C++には名前付引数ないよね？

**デフォルトの名無しさん** · 2019/06/07(金) 11:29:19.04

メソッドチェーンとかいらんわ
リファクタリングしにくいし
Kotlinのapplyがベスト

**デフォルトの名無しさん** · 2019/06/07(金) 11:30:58.83

横に長いのがいやなんだよな
多少冗長でも縦の方がいい
特になっがいメソッドチェーンで途中から返り値変わってるやつとか殺意わく

**デフォルトの名無しさん** · 2019/06/07(金) 11:38:12.52

関数の定義は正方形に近いのがいい

**デフォルトの名無しさん** · 2019/06/07(金) 12:23:28.70

>>802
そのうち追加されるだろうから待ってなよ

**デフォルトの名無しさん** · 2019/06/07(金) 12:25:28.59

>>799
行数増えるのになんの問題があるんだ？
横に長いとか見辛いし差分も取りにくいしメリットないだろ

**デフォルトの名無しさん** · 2019/06/07(金) 14:04:49.95

>>807
縦にも横にもスクロールしたくないだけさ
>>805 に書いた

**デフォルトの名無しさん** · 2019/06/07(金) 14:45:14.80

ところで>>776のような return *this;　だとコピーが発生しないか？
return this;; として->でメソッドチェーンにするのならわかる

**蟻人間** ◆T6xkBnTXz7B0 · 2019/06/07(金) 14:59:30.42

>>809
戻り値の型に&が付いてるから参照だ。

**デフォルトの名無しさん** · 2019/06/07(金) 15:25:18.97

>>810
普通はメソッドチェーンとかいらんけど
GUIのライブラリとかはそっちのほうが使いやすそうな気がする

**デフォルトの名無しさん** · 2019/06/07(金) 15:29:32.41

ちゃんとした設計になっていればどんなスタイルでもいいよ

**デフォルトの名無しさん** · 2019/06/07(金) 15:59:52.88

sortの比較関数についてなんですけど
たとえばvector<int> v = {0, 1, 2, 3, 4, 5}があったら
bool compare(const int& num1, const int& num2) { return num1 > num2; }
sort(v.begin(), v.end(), compare)で降順になりますよね

なるほど、0< n < v.size()でどのv[n]とv[n+1]でもcompareがtrueを満たすように
並び替えてくれるんだな、って理解したんです
それで試しに
bool compare(const int& num1, const int& num2) { return num1 == (num2 + 1); }
って書き換えたんですけど降順になってくれないんです
どのv[n]もv[n + 1] + 1に等しい→降順になると思ったんですけど

評価関数ってどう理解したらいいんでしょう？

**デフォルトの名無しさん** · 2019/06/07(金) 16:06:41.20

pred内でprintfデバッグでもしてみたら？
n番目ととn+1番目の要素以外でも比較が発生しているのがわかるから。

**デフォルトの名無しさん** · 2019/06/07(金) 16:47:23.38

比較関数の右辺と左辺が入れ替えて比較した結果が矛盾してると、ソートは意図しない挙動になる。当たり前ではあるけど。

**デフォルトの名無しさん** · 2019/06/07(金) 16:52:15.04

>>813 俺も理解せずに言葉だけ覚えてるんだけど、
比較関数の性質として「狭義の弱順序」を示さなくちゃいけないのだ。

「狭義の弱順序」でネット検索すれば分かると思うよ。
少なくとも俺の場合「自分には(今のところ)理解できない」ことが分かった。

…て言うか、誰か分かりやすい解説サイトなど紹介してください。

**デフォルトの名無しさん** · 2019/06/07(金) 17:52:26.15

群論のマグマやモノイドあたり

**デフォルトの名無しさん** · 2019/06/07(金) 19:55:02.31

>>793
俺は好きだな。 jQuery みたいでかわいい

**デフォルトの名無しさん** · 2019/06/07(金) 20:05:15.50

関数チェイン入るんかいな。
任意のコンテナにチェイン出来るフリー関数を書きたいお年頃なオレ。

**デフォルトの名無しさん** · 2019/06/07(金) 20:43:41.59

C++20で構造体の指示付き初期化があるみたい。
https://ja.cppreference.com/w/cpp/language/aggregate_initialization

上の使えば
void test({.year = 2019, .manth = 12, .day =24});
は可能だな。
ただし構造体の順番通りじゃないといけないのが欠点（指示をしない場合は初期値を使用）

**デフォルトの名無しさん** · 2019/06/07(金) 20:50:05.58

バカが好きそうなクソシンタックスばっかり入るなw

**デフォルトの名無しさん** · 2019/06/07(金) 21:19:45.80

cでもあるし妥当だろ
まあ順番は面倒だが

**デフォルトの名無しさん** · 2019/06/07(金) 21:34:52.47

もうずっとmanthが気になって仕方がない

**デフォルトの名無しさん** · 2019/06/07(金) 21:57:41.25

質問です。

std::remove_ifは実際には要素の削除を行わない。
https://qiita.com/naka4/items/1f207b5d6acf102b0db7
「削除する要素を詰めて、サイズが縮んだコンテナの新しい終端イテレータを返す」
とのことですが

vector<shared_ptr<T>>の場合、その挙動に従わない場合があって困惑しています。
下記のコードで、erase()する前にCのデスタラクタが呼ばれているのは何故ですか。
https://ideone.com/7rp1Os

たぶんムーブの挙動の絡みのナニカだとは思うのですが…

また、この挙動はどう解釈すべきですか？
特に気にせずこのままremove_if→eraseは問題ないのか？
または規格に照らし合わせてNGだったり危険だったりするものでしょうか？

**デフォルトの名無しさん** · 2019/06/07(金) 22:07:56.01

最初はsp(10)sp(11)sp(12)sp(13)sp(14)
remove_ifするとsp(10)sp(11)sp(13)sp(14*)sp(14*) (*は共有)
sp(12)の参照カウンタがなくなったので破棄される

普通の挙動では？

**デフォルトの名無しさん** · 2019/06/07(金) 22:10:55.22

ムーブするからsp(10)sp(11)sp(13)sp(14)sp(null)か
結論は一緒だけど

**デフォルトの名無しさん** · 2019/06/07(金) 22:12:27.62

swapじゃなくてmove代入されているんじゃね

**デフォルトの名無しさん** · 2019/06/07(金) 22:21:39.08

参照カウンタ増やさない方法で移動されてるのかな？？
インプレースだから、扱いが雑な気がする。

**デフォルトの名無しさん** · 2019/06/07(金) 22:25:21.08

まあremoveの外側はunspecifiedだからどうするかは実装の勝手
雑に扱われてても文句は言えない

**824** · 2019/06/07(金) 22:34:00.62

各位、どうも
なんとなく分かってきました
cpprefjpでも「有効だが未規定な値」とのこと
実装依存で参照カウントが減ってゼロになるときもあるよ、そういうmoveもされ得るよ
ということですね

とりあえず返却されたイテレータが示す範囲は正常だと思うので
erase()はそのまま使う方向でいってみようと思います

**デフォルトの名無しさん** · 2019/06/07(金) 22:56:05.74

雑とかそう言う話ではなく
remove_ifの実装でremove後の空きshared_ptr部分に後の要素をどうやって詰めているかだけの話
swapじゃないなら、代入にせよmove代入にせよ、その場で参照カウント減ってデストラクタが呼ばれるよ

**デフォルトの名無しさん** · 2019/06/07(金) 23:01:56.95

実装がとある一つなのだから、変数に持ち直してやるのもオーバヘッドがーという場合もある。
コンテナ上の空き領域の作り方も幾つかあって、
今回は疑似ポインタだからコピーが軽いけど、実態をいじるときは涙目になるきがす。

実装を定義してないはずだから言いようはいくつかあるけど、
インプレースでやるときは面倒だということだけ知っておけばよい気がする。

**デフォルトの名無しさん** · 2019/06/08(土) 01:15:29.93

整数の事情って結局どうするのが正しいの？
powは遅いだの何だの以前にdoubleとの間で一々キャストするのが姿勢として正しいように思えない

マクロでやってる人が多い？

**デフォルトの名無しさん** · 2019/06/08(土) 01:33:51.17

powの整数型引数のがあるんじゃない？

**デフォルトの名無しさん** · 2019/06/08(土) 06:52:32.97

std::powにはないから自分で書くしかない

**デフォルトの名無しさん** · 2019/06/08(土) 08:59:01.58

>>833
整数値で指数みたいな物を扱う場合、簡単にオーバーフローが起きるので
本気でやるとしたらだいぶ恣意的なサイズ区切りを入れることになる。
そんなことやるくらいなら浮動小数からのキャストのがだいぶ楽だし実装も安定する。

**デフォルトの名無しさん** · 2019/06/08(土) 10:35:16.88

負の数が指数に与えられたら結果は少数になるけどそれでもいいなら

**デフォルトの名無しさん** · 2019/06/08(土) 10:47:03.88

二乗だろ？
何悩んでんだよ

**デフォルトの名無しさん** · 2019/06/08(土) 11:17:40.81

>>833 整数でも問題なさそう
https://qiita.com/SaitoAtsushi/items/c729f73f7f5603910b6b

**デフォルトの名無しさん** · 2019/06/08(土) 11:37:29.71

二乗なんて直接掛け算で書き込んでもいいくらい

**デフォルトの名無しさん** · 2019/06/08(土) 12:05:54.87

底が2でない3乗以上の累乗なんか整数でやろうと思ったことないな

**デフォルトの名無しさん** · 2019/06/08(土) 18:23:48.07

整数の冪は速度云々よりオーバーフローが気になる
100を5乗しただけであっという間にuint32_tをぶっちぎるんだぞこえーよ

**デフォルトの名無しさん** · 2019/06/08(土) 20:11:59.83

n乗してオーバーフローする整数は予め求められるんだからn乗する前に判定するだけだろ

**デフォルトの名無しさん** · 2019/06/08(土) 20:14:05.51

やっぱlog表現にすべきやな

**デフォルトの名無しさん** · 2019/06/08(土) 20:18:41.89

メモリを無限に使えばええ

**デフォルトの名無しさん** · 2019/06/08(土) 20:36:16.78

>>843
判定のためにdoubleにキャストして、みたいな？

**デフォルトの名無しさん** · 2019/06/08(土) 20:37:46.29

>>846
100がオーバーフローする最大値なら100と予め整数比較するだけだろ

**デフォルトの名無しさん** · 2019/06/08(土) 20:39:53.83

なるほど n=100くらいまで全て持っていればいいと。
まあそうかもな。

**デフォルトの名無しさん** · 2019/06/09(日) 02:20:42.24

C++知らないことが多すぎてちょっと勉強するだけでもあーあそここれ使って書いてればよかったーってなることばっかりだわ
しばらく前に書いたコード見直したくねぇ

**デフォルトの名無しさん** · 2019/06/09(日) 02:37:22.98

そのうちこれわざわざこれ使って書く必要なかったなになるゾ

**デフォルトの名無しさん** · 2019/06/09(日) 02:55:27.45

そしてC言語が正解だったことに気づく

**デフォルトの名無しさん** · 2019/06/09(日) 02:57:41.57

それはない
コンテナはやっぱり便利
動的ポリモーフィズムは必要ねえなぁ
テンプレートで十分

**デフォルトの名無しさん** · 2019/06/09(日) 03:16:06.77

>>836
modpowは自分のライブラリとして持ってるので、それ使うことにすれば良いですかね
機能過多な感じもしますが

>>837
？
普通の挙動ですよね？

>>839
ありがとうございます。読んでみます
結果によっては素直にpowを使うことにします

>>840
今はマクロでそうしてます

**デフォルトの名無しさん** · 2019/06/09(日) 09:31:54.10

テンプレートもそろそろガンだってことが普通に認識されるようになるだろうな。
標準のテンプレートだけ使ってりゃいいんだよ(それでも使いこなせないだろうが。)
バカの作るテンプレートライブラリほどひどいものはない。

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

そりゃ堂々巡りの言い方だろ
酷い奴の作るテンプレートライブラリは酷い。そりゃそうだ
テンプレートライブラリが酷けりゃ作ったヤツは酷い。こうなるわな

**デフォルトの名無しさん** · 2019/06/09(日) 10:55:06.08

>>852
＞動的ポリモーフィズムは必要ねえなぁ
データの通りにオブジェクト作るような設計一切出来ないぞ

**デフォルトの名無しさん** · 2019/06/09(日) 10:55:18.69

>>854
どこが癌なのか教えてください。

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

いやテンプレート「ライブラリ」ともなれば十分な機能と性能と使いやすさを全立させるには必要スキルがダンチになる印象

そうではなくて問題に特化した形でテンプレートを使ってコードの記述量を激減させることは常人のもできる
ただし他人に理解してもらうのが困難になるからそういのうはモジュール内に囲ってテンプレートそのものを外に出さなければ宜しい

もし使いにくいとか理解しがたいだけでなく動作品質に問題があるなら、
その場合は問題のある人物が取り替えられる方向へと管理者のソーシャルスキルの発動の時間である

**デフォルトの名無しさん** · 2019/06/09(日) 13:05:27.14

>>858
それが言いたかったんだよ、うん