C++相談室 part141

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

次スレを立てる時は本文の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/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/03/17(日) 01:47:31.21

>>410
FILE* fpは十分汎用的でしかも最大限高速なので他への代替の必要性はほとんど考えられないし、
サンプルコードでむやみに凝っても仕方が無い

※ 個人の感想です

**デフォルトの名無しさん** · 2019/03/17(日) 01:58:32.33

テンプレートはヘッダに全部書かなきゃいかんのなんとかならんか？

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

原理上どうにもならない

**デフォルトの名無しさん** · 2019/03/17(日) 02:10:16.54

テンプレートの分割コンパイルは一度実装されたが1年がかりの複雑な仕事になったし
あまりに複雑すぎて普及に至っていないというようなことがプログラミング言語C++で読んだ記憶、

しかし、importキーワードがC++の予約語であるうちはまだ希望がある

**デフォルトの名無しさん** · 2019/03/17(日) 02:10:32.44

FILE* fp は標準のfgetc()の実行速度が遅くて残念。バッファリングしている甲斐がない。

**デフォルトの名無しさん** · 2019/03/17(日) 02:26:35.34

使いたい型決まっているなら別にできるだろ？
ヘッダで宣言だけ書いて、ソースで定義と明示的インスタンス化すればいいだけ

**デフォルトの名無しさん** · 2019/03/17(日) 02:34:45.67

3大C++無限ループ話題

テンプレート実装の分割記述
getsetの実装

あと一つは？

**デフォルトの名無しさん** · 2019/03/17(日) 03:18:11.89

多重ループの抜け方

**デフォルトの名無しさん** · 2019/03/17(日) 03:19:37.14

STLにツリーがない理由を教えてください。

**デフォルトの名無しさん** · 2019/03/17(日) 04:14:30.81

あるクラスが非トリビアルなコピーコンストラクタをもっていることを検出したい
そのクラスのメンバの型が非トリビアルなコピーコンストラクタを持っていたとしても。

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

>>418
メモリが云々

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

>>413
テンプレートを抜き出してヘッダーファイルを生成するプリプリプロセッサを作ればいい

**デフォルトの名無しさん** · 2019/03/17(日) 08:23:20.60

>>421
トリビアルコピー出来ないことを検出したいならis_trivially_copyableで充分だけどそれ以上のことがしたいの？

**デフォルトの名無しさん** · 2019/03/17(日) 08:28:29.93

>>409
糞抽象化の見本みたいなコードだなw。
そのうち使われなくなる種類のコードだ。

**デフォルトの名無しさん** · 2019/03/17(日) 08:33:05.90

名人様一名いらっしゃいました

**デフォルトの名無しさん** · 2019/03/17(日) 11:20:51.42

>>411
＞　個数の型をdoubleにした特殊化テンプレートを書いてわざとエラーにするとか、
そういうときはdelete指定が使えるんじゃね？
というかis_floating_pointとかで弾いた方がいいとも思うけど

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

>>409
x3とかつけない方が良くね？
てかvariable template使うところだね

**デフォルトの名無しさん** · 2019/03/17(日) 13:22:57.65

variadicだた

**デフォルトの名無しさん** · 2019/03/17(日) 13:42:47.24

バリスティック・テンプルね。

**デフォルトの名無しさん** · 2019/03/17(日) 15:09:36.00

>>425
サンプルにまでマウントするとかw

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

マウントの定義を教えてください。

**デフォルトの名無しさん** · 2019/03/17(日) 16:01:22.88

明確な定義があるわけじゃないけど、主に「勘違いした高卒が高等な他人を見下してること、もしくはその様」を指す語としてつかわれてんじゃないの

**デフォルトの名無しさん** · 2019/03/17(日) 21:10:58.21

>>432
意識高い系

**KAC** · 2019/03/17(日) 21:23:45.76

>>432
猿などが優位だと主張するために
相手に馬乗りになること

こういう場では、
相手に反論した（つもり）なら満足し、
反論を受けると過剰反応を示す奴をさすことが多い。

**デフォルトの名無しさん** · 2019/03/17(日) 21:42:19.60

>>435
＞相手に反論した（つもり）なら満足し、
＞反論を受けると過剰反応を示す奴をさすことが多い。
その説明だと某クソコテしか思い当たらないんだが・・・w

◆QZaw55cn4c · 2019/03/17(日) 21:57:43.35

>>436
誰？

**デフォルトの名無しさん** · 2019/03/17(日) 22:22:05.53

オープンソース化されたWindowsの電卓を見たが、クッソ綺麗でモダンなコードだな

**デフォルトの名無しさん** · 2019/03/17(日) 22:25:37.54

多分7に入ってた電卓とは別物だな

**デフォルトの名無しさん** · 2019/03/17(日) 23:22:31.89

>>438
あの手のコードって意味ないよな
無意味に11や14で追加された機能をなんかを使いたがるやついるわー
そういったやつに限って仕事が遅い

ウンチクはいいから、さっさと終わらせろよ

**デフォルトの名無しさん** · 2019/03/18(月) 00:13:57.67

Windowsカーネルのオープンソース化待ってます

**デフォルトの名無しさん** · 2019/03/18(月) 05:32:24.67

sort関数の比較関数を、クラスのメンバ関数として定義すると invalid use of non-static member function というエラーが出ます。
なぜこれは禁止されるのでしょうか。
また、どうやって解決したら良いですか。

**デフォルトの名無しさん** · 2019/03/18(月) 05:33:36.55

エラーメッセージ読みなよ

**デフォルトの名無しさん** · 2019/03/18(月) 06:41:53.05

理屈を知ってる人には当然だけど、初めての人は混乱する部分じゃないかな。
sort で使う比較関数は色んな形で宣言できるけど、宣言する場所によって
エラーにならずに使える関数の形式が違うってやつ。

>>442 メンバ関数にした比較関数のプロトタイプ宣言はどんな感じ？

**デフォルトの名無しさん** · 2019/03/18(月) 08:08:37.98

非staticメンバをstaticのように使おうとしたときに出るエラーだからsortとか関係ない
Class::funcをsortに入れたんでしょ
Class().funcとするかfuncをstaticにするだけ

**デフォルトの名無しさん** · 2019/03/18(月) 08:49:38.19

今時はClass().funcでいけるんすか

**デフォルトの名無しさん** · 2019/03/18(月) 09:58:55.92

Class::funcってstaticじゃないの？

**デフォルトの名無しさん** · 2019/03/18(月) 10:42:04.28

->*みたいな書き方の意義がわかったら一人前どすな

**デフォルトの名無しさん** · 2019/03/18(月) 11:13:12.39

ちなみにどんな意義があるの？

**デフォルトの名無しさん** · 2019/03/18(月) 19:22:09.39

>>444
bool mycomp(string a, string b);

です

**デフォルトの名無しさん** · 2019/03/18(月) 20:05:14.79

結局その場でラムダ式書くのが一番わかり易いんだよね

◆QZaw55cn4c · 2019/03/18(月) 20:09:56.80

>>448
>>449
https://mevius.5ch.net/test/read.cgi/tech/1434079972/39
なんと！ private なメソッドを呼び出せるのです！

**デフォルトの名無しさん** · 2019/03/18(月) 21:20:34.54

エクセルで使われているようなGUIにちょっとしたアニメーションをつけるには何使えばいい？

**さまよえる蟻人間** ◆T6xkBnTXz7B0 · 2019/03/18(月) 21:26:27.76

>>453
タイマー

**デフォルトの名無しさん** · 2019/03/18(月) 21:43:42.87

>>454
例えば四角形の座標の終点の値と移動にかかる時間をするだけでヌルッと動いてくれる機能があるやつがいいです

**デフォルトの名無しさん** · 2019/03/18(月) 21:45:05.39

普通にcのsort関数使えばいいのに。
キャストしたら負けとでも思ってんのかね。

**デフォルトの名無しさん** · 2019/03/18(月) 21:59:25.97

>>455
cocos2d

**デフォルトの名無しさん** · 2019/03/18(月) 22:47:37.12

std::initializer_list<int> l()
{
return std::initializer_list<int>{1,2,3};
}

std::vector<int> v()
{
return std::vector<int>{1,2,3};
}

int main()
{
for(auto i : l()){
std::cout << i << endl;
}
for(auto i : v()){
std::cout << i << endl;
}
}

0
0
0
1
2
3

なんで？

**デフォルトの名無しさん** · 2019/03/18(月) 22:56:40.87

>>458
std::initializer_listはちょっと変わったクラスで、コピーやムーブしても中身が付いてこない
関数の戻り値にしてコピー省略とかが入ったとしても同様

**デフォルトの名無しさん** · 2019/03/18(月) 23:23:21.73

>>456
cのsort関数はアドレス連続性がないコンテナには使えないでしょ。
vector::sort()とCのsort()の速度はあまり変わらないので、わざわざCのsort()を使う理由がない。

**デフォルトの名無しさん** · 2019/03/18(月) 23:28:12.28

qsort「おっワイの出番か？」

**デフォルトの名無しさん** · 2019/03/19(火) 00:00:01.33

cのsortってラムダ渡せないし、ワザワザ面倒くさい記述してまで使う意味無いだろう。

**デフォルトの名無しさん** · 2019/03/19(火) 00:37:48.08

template<typename T>
T func(T a){
}
という関数の中身として、T が int なら a*2 を返し、T が double ならa/2 を返し、それ以外なら a を返す、という処理にしたい場合どう書いたら良いのでしょうか。

関数ごと特殊化する方法があるのは勉強したのですが、一行分の処理を特殊化するために関数ごと特殊化するべきなのでしょうか。

簡単化のため、必要さが全くない例になっていますがよろしくお願いします。

**デフォルトの名無しさん** · 2019/03/19(火) 00:43:22.56

STLが天才なのは分かったけど、遅くなりそうなのも分かってしまった。

**デフォルトの名無しさん** · 2019/03/19(火) 00:49:23.69

>>463
https://ideone.com/Oo65ND
これでいいのか知らんけど。

**デフォルトの名無しさん** · 2019/03/19(火) 00:54:54.54

>>463
簡単化しすぎて何を質問したいのかよくわからない
その例の程度の処理なら、intとdoubleの関数をオーバーロードして、template関数でデフォルトの処理も書けばいい
intとdoubleをどうしてもtemplate化したかったら特殊化で書けばいい

前後に長い共通処理がある場合の一部式だけ個別にしたいなら、関数オブジェクトで式を引数にとる補助template関数作って、上記手法で型毎にlambdaで式を変えて補助関数を呼び分ければいい

**デフォルトの名無しさん** · 2019/03/19(火) 00:56:32.83

>>466
特殊化する部分を関数として切り出して特殊化すれば良いということでしょうか。

**デフォルトの名無しさん** · 2019/03/19(火) 06:48:59.95

>>450
まずは、エラーなくコンパイルが通って実行できるまで。
単純には、比較関数をクラスの外に出して「メンバ関数じゃない関数」にする。

たぶんソートしたいクラス中には比較する文字列以外のメンバもあるだろうから、
class myclass {
public:
　string s; // 比較対象の文字列
　int other; // それ以外のメンバ例
　... // 他にもメンバ色々
};
こんな感じだと思う。

比較関数は、2つの myclass 型のオブジェクトのメンバ s 同士を比較するから、
bool mycomp(const myclass& a, const myclass& b)
{
　return a.s < b.s; // 辞書式の昇順
}

**468** · 2019/03/19(火) 06:54:39.65

あるいは >>468 の段階はすでに通過してて、
「今度は比較関数をクラスのメンバ関数にしてみよう」と思ったのかな。

bool mycomp(string a, string b);
このプロトタイプでクラスの「staticでないメンバ関数」にすると、
その関数はクラスのオブジェクトを介して obj.mycomp((string)a, (string)b)
という形で呼び出さなきゃならないのよ。

ところが std::sort() が比較関数を呼び出す場合は
どのオブジェクトとも関係ない mycomp((string)a, (string)b) を呼ぼうとする。

「クラスのメンバだけど、クラスの個々のオブジェクトからは独立した関数」に
するために、関数の宣言に static を指定する。
class myclass {
public:
　string s; // 比較対象の文字列
　int other; // それ以外のメンバ例
　... // 他にもメンバ色々
　static bool mycomp(const myclass& a, const myclass& b); // 比較関数
};

(「改行多すぎ」につき、もう一回だけつづく)

**468** · 2019/03/19(火) 06:57:01.64

(>>469 の続き、長々とすまぬ)

関数の定義(クラス定義の外に書く場合)はこんな感じ。
bool myclass::mycomp(const myclass& a, const myclass& b)
{
　return a.s < b.s; // 辞書式の昇順
}
myclass のメンバ関数だと明示するために myclass:: をつけることと、
定義の方には static をつけない、てところが注意点。

std::sort() で使う時は、
std::sort(std::begin(objs), std::end(objs), myclass::mycomp);
「比較関数には myclass のメンバ関数の mycomp() を使ってくれ」と明示。
…する必要が(俺の環境では)あるんだけど、myclass 同士を比較することから、
自動的に myclass のメンバ関数も候補に入れてくれても良さそうな気がする。
なんでダメなんだろ？

**デフォルトの名無しさん** · 2019/03/19(火) 07:25:56.87

たかがソート一つ実行するのにこれってやっぱc++は失敗しとるわ。。

**デフォルトの名無しさん** · 2019/03/19(火) 07:30:30.93

どの言語も似たようなもんだろ

**デフォルトの名無しさん** · 2019/03/19(火) 07:31:18.45

>>468-470
丁寧に教えてくださりありがとうございます。

今のところは、>>468に書かれているようにクラスの外に出す、という方針で対応しておりました。

クラスの中で static をつけて宣言をする、というのが元々やりたかったことに一番近いように思います。重ね重ねありがとうございます。

>>470
> std::sort() で使う時は、
> std::sort(std::begin(objs), std::end(objs), myclass::mycomp);
> 「比較関数には myclass のメンバ関数の mycomp() を使ってくれ」と明示。

これは、mycomp() をクラス内で非static に宣言したときにも使えますか。
それとも、クラスの外で
bool myclass::mycomp(const myclass& a, const myclass& b)
{
　return a.s < b.s; // 辞書式の昇順
}
流に宣言、定義した場合に限りますか。

**デフォルトの名無しさん** · 2019/03/19(火) 07:33:59.57

何のために非staticにこだわるんだ？
メンバにアクセスしないならstaticつけとけよ

**デフォルトの名無しさん** · 2019/03/19(火) 08:36:28.37

比較関数をメンバ関数としてクラスに内在させるのが良くない
外部化するか、演算子オーバーロードする
どちらかと言うと比較関数を作らずに大小関係を定義する言語だ

実は、関数やクラスの間の包含関係がある
クラスを比較する関数はクラスの外部におかれるべきであって、メンバ関数にするのは筋が悪い
クラス内部に置くなら大小関係の定義にすべきだ
この手の階層関係は、規格書にもどんな教科書にも一切書かれてないけど、暗黙のうちに了解されている

**デフォルトの名無しさん** · 2019/03/19(火) 09:31:11.81

対称な演算子をインスタンスメンバにするのはセンス無いね

**デフォルトの名無しさん** · 2019/03/19(火) 15:31:26.82

>>463
template <typename T>
T func(T a) {
if constexpr (std::is_same_v<T, int>) return a * 2;
else if constexpr (std::is_same_v<T, double>) return a / 2;
else return a;
}

**デフォルトの名無しさん** · 2019/03/19(火) 16:57:51.01

namespaceを活用しろ

**デフォルトの名無しさん** · 2019/03/19(火) 17:11:35.93

>>477
これの方が関数として切り出して特殊化するより好きな見た目です

**デフォルトの名無しさん** · 2019/03/19(火) 21:29:30.46

>>477
それだと実行時に判断コストがかかるじゃん

**デフォルトの名無しさん** · 2019/03/19(火) 21:29:55.51

if constexprってtypeidで情報取ってきて比較するみたいなオーバーヘッドが0になりますか？

**デフォルトの名無しさん** · 2019/03/19(火) 21:33:24.72

おじさん久々にC++の仕事受けたんだけど
色々進化してて面食らってます

今、右辺値参照っての勉強中なんだけど
ムーブコンストラクタとかはへーへーほーほー言いながら何となく分かり始めた

んだけどさ、

int &&x = 2; // ok <-これだけ使い途が分からん

ローカル変数の右辺値参照て何に使うん？
実験してみた限り、勝手にムーブとかしてくれるわけでもなさそうだし
ローカル変数に&&付いてると何に使えてんな時便利なの？

**デフォルトの名無しさん** · 2019/03/19(火) 21:34:25.38

使わなくていい

**デフォルトの名無しさん** · 2019/03/19(火) 21:40:02.75

>>482
右辺値参照はほぼムーブコンストラクタのためにあると思っていいと思う
左辺値参照と同じように書けるというだけで、使うことはないかと

**デフォルトの名無しさん** · 2019/03/19(火) 22:04:14.68

変数宣言した右辺値参照そのものは左辺値という罠
極力そんな物作るべきじゃないね

**デフォルトの名無しさん** · 2019/03/19(火) 22:05:37.07

俺今使い道思いついたんだけど披露してもいい？

◆QZaw55cn4c · 2019/03/19(火) 22:26:06.36

>>486
どうぞどうぞ…

**デフォルトの名無しさん** · 2019/03/19(火) 22:37:18.08

>>480-481
if constexprは実行時コストゼロのはずだよ

**デフォルトの名無しさん** · 2019/03/19(火) 22:53:01.58

>>488
ifがなんで実行時ゼロなんだよ

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

赤っ恥

**デフォルトの名無しさん** · 2019/03/19(火) 23:26:12.29

>>489
if constexprにするとコンパイル時に評価されて特定の分岐のみが実体化される

**デフォルトの名無しさん** · 2019/03/19(火) 23:38:47.81

これですか。すごいね、これ。C++17からだけど。

constexpr if 文
https://cpprefjp.github.io/lang/cpp17/if_constexpr.html

**デフォルトの名無しさん** · 2019/03/20(水) 00:20:58.62

>>484
回答ありがとう
なるほど、文法上は書けるから仕様上厳密な定義はされてるけど、普通は特に使わないで良いのね

**デフォルトの名無しさん** · 2019/03/20(水) 00:27:33.64

初心者がやたらとアスタリスク使ってポインタの参照値を得ようとするのに似た感じがある。
他言語に移植しにくいだろ、テンプレート化しにくくなるだろ、と小一時間。

**デフォルトの名無しさん** · 2019/03/20(水) 00:56:45.75

アスタリスク使ってポインタの中身取ったらあかんのか・・・

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

multimap よりも set の vector の方が便利なのですが、異端ですか？

**デフォルトの名無しさん** · 2019/03/20(水) 04:26:37.96

別に

**はちみつ餃子** ◆8X2XSCHEME · 2019/03/20(水) 04:53:08.98

>>482
既に回答がついているとおり、 rvalue 参照はほとんどムーブのための機能。
ローカル変数的に使う理由はあんまりない。

テンプレート関数の仮引数や auto 変数として rvalue 参照 (の記法) が現れたときは
特殊な推論規則 (ユニバーサル参照) が適用されるというのは気を付ける必要がある。

**デフォルトの名無しさん** · 2019/03/20(水) 07:25:39.73

ローカル変数もそうだけどintみたいなオブジェクト性が低いものに使っても意味ないわな。
rustの古いチュートリアルのmoveの例がなぜかintでクソだったけれど最近は文字列型になっとった。

**デフォルトの名無しさん** · 2019/03/20(水) 08:44:38.76

オブジェクト性

**デフォルトの名無しさん** · 2019/03/20(水) 10:22:31.87

考えうるメソッドが少ない＝オブジェクト性が低い、とかじゃねえの
int型の変数.length() とかは流石に意味不明に見える

**デフォルトの名無しさん** · 2019/03/20(水) 10:40:09.36

言いたいことは分かるが聞き慣れない言葉を使っているということでは

**デフォルトの名無しさん** · 2019/03/20(水) 11:01:00.31

リテラルが右辺値ってのがよくわからんのだが

上の例のように右辺値参照でうけるとリテラルなのにそのアドレスがとれてしまう
かつ書き換え可能

なので右辺値参照にリテラルいれるときは、一旦名前のない領域にコピーされていると理解している

でもこれって通常の値の代入のときも名前のない領域にコピーしてからさらにコピーというセマンティクスなの？

**デフォルトの名無しさん** · 2019/03/20(水) 11:29:19.49

右辺値参照変数それ自体は左辺値だからね

**デフォルトの名無しさん** · 2019/03/20(水) 15:37:27.50

右辺値を参照で束縛すると、その右辺値の寿命は束縛してる参照と同じところまで引き伸ばされる
この点は左辺値参照も右辺値参照も一緒

**デフォルトの名無しさん** · 2019/03/20(水) 16:05:23.24

それ >>503 に関係ある？

**デフォルトの名無しさん** · 2019/03/20(水) 16:16:24.82

どうして関係ないと思うの？

**デフォルトの名無しさん** · 2019/03/20(水) 20:55:29.39

一見リテラルのアドレスが取れて書き換えられる、ように見えることに疑問を持ってる
言い方変えると
右辺値参照に代入するとき
リテラルが右辺値でなくて、そのコピーが右辺値なのでは？
そこに寿命がどう関係あるのかわからない

**デフォルトの名無しさん** · 2019/03/20(水) 21:07:28.64

アセンブラレベルで言うなら、即値なのかdataセクションにあるのかの違いじゃないの

**デフォルトの名無しさん** · 2019/03/20(水) 21:31:53.81

>オブジェクト性
コピーでも参照でも対してコストがかからんものというかそういうニュアンスなんだが
思った以上に伝わらんもんだな。
わかりやすいようにintと文字列を例に出してもこんなもんかもね。

**デフォルトの名無しさん** · 2019/03/20(水) 22:56:30.82

アドレスが取れたら右辺値ではないみたいな論調だな