C++相談室 part155

**デフォルトの名無しさん** · 2021/03/24(水) 12:07:15.39

※前スレ
C++相談室 part154
https://mevius.5ch.net/test/read.cgi/tech/1610096040/

テンプレここまで

**はちみつ餃子** ◆8X2XSCHEME · 2021/03/24(水) 13:01:36.77

2get

**デフォルトの名無しさん** · 2021/03/24(水) 13:37:00.67

msysの thread_local が、わりとちゃんと動くのがありがたい
昔は当たり前にクラッシュしてた

**デフォルトの名無しさん** · 2021/03/24(水) 23:24:56.26

STLつかうと一気に実行ファイルサイズが10倍に?！

環境によるだろ。
俺はBorland-C++5.6.2に -D_RTLDLL オプションを指定して、極力
ランタイムを使用するようにして使っているが、例えばstd::vectorを
使っても使わない時と比べ10Kほどしか増えない

すげえ。ダイナミックリンクしといてファイルサイズが増えないとかいってるよ。この人。

C1010: ﾌﾟﾘｺﾝﾊﾟｲﾙ済みﾍｯﾀﾞｰの検索中に予期しない EOF を検出しました。
とかいうエラーが出るんだけどこれってどうすればいいの？

#include <stdafx.h>
後死ね。

言葉が悪いな。それで教えているつもりか。
まぁヒントぐらいにはなったな。
うむごくろう。

**はちみつ餃子** ◆8X2XSCHEME · 2021/03/25(木) 00:13:37.31

>>4
このテンプレはいつまで貼るの？

**デフォルトの名無しさん** · 2021/03/25(木) 00:32:41.48

たぶん最初に書いた本人以外はだれも気に入ってないと思う
もうやめたほうがいい

**デフォルトの名無しさん** · 2021/03/25(木) 13:58:38.53

glslのnoise関数のような、特定の入力に対して、特定の乱数を返すような関数はありますか？C++に

**デフォルトの名無しさん** · 2021/03/25(木) 14:41:00.85

完全に(疑似)乱数でよいのなら、
毎回シード設定すれば入力で一意に決まる乱数値を取得できるけど、それでええのん？

**デフォルトの名無しさん** · 2021/03/25(木) 14:43:13.48

例えばこんなの
srand(input);
return rand();

**デフォルトの名無しさん** · 2021/03/25(木) 17:26:16.86

ハッシュと乱数を混同して質問しているに500ペリカ

**デフォルトの名無しさん** · 2021/03/25(木) 17:48:06.49

>>9
それですね
ちょっとその発想を元に作ってみます

**はちみつ餃子** ◆8X2XSCHEME · 2021/03/25(木) 18:04:14.88

C++ の乱数生成器 (linear_congruential_engine, mersenne_twister_engine, subtract_with_carry_engine)
は厳密に挙動が定められているので環境によらず同じシードを与えれば同じ乱数列が得られることは保証される。
(余談だが分布生成器 (uniform_int_distribution など) は完全に同一の挙動は保証されない。)

rand は同じシードからは同じ乱数列になるという保証はあるけど、
他の環境に持って行ったとき (別の処理系を使ったとき) に同じになるという保証はない。
乱数の質についても保証がない。

必要な性質がよくわからんのだが、再現性・移植性が重要なら rand はあまりよくない。

**デフォルトの名無しさん** · 2021/03/25(木) 21:06:48.96

自作のXorShiftでやってみようと思います
スレの流れがそんなに速くないようなので後にコードレビューでもお願いするかもです

**デフォルトの名無しさん** · 2021/03/26(金) 07:33:40.04

乱数表作るだけだろ
くだらん

**はちみつ餃子** ◆8X2XSCHEME · 2021/03/26(金) 13:48:17.35

コードレビューつってもなぁ、
明らかに未定義を踏んでるとか間違った結果を出力をするとかならともかく、
インターフェイスが綺麗かとか命名が適切がとかいった要素は状況に依存するんで
そこらへんの前提を共有できている状態じゃないと
かなりざっくりした一般論しか言えないと思うよ。

**デフォルトの名無しさん** · 2021/03/26(金) 14:17:07.80

7ですが、すいませんでした
場違いだったようなのですべて撤回します

**デフォルトの名無しさん** · 2021/03/26(金) 17:49:14.73

QZあたりが疑似乱数の理論について本一冊分ぐらい語るのではなかったの？？？

**デフォルトの名無しさん** · 2021/03/26(金) 17:50:06.84

乱数表をどうやって作るつもりなのかとそこはかとなく疑問が………

**デフォルトの名無しさん** · 2021/03/26(金) 19:01:34.23

ラジウムとガイガーカウンターでも使うんだろ

**デフォルトの名無しさん** · 2021/03/26(金) 20:57:56.27

ガイガーカウンターは放射線源が強力だとカウントミスりそうであんまり高速な乱数生成に向かない
という印象

**デフォルトの名無しさん** · 2021/03/26(金) 22:44:42.48

ていうか量子乱数発生器はスタジアムや野球場など人間が数千人～数万人規模で集まり
興奮するようなところで量子乱数発生器を使うと乱数発生が偏るという実験結果がある
とモーガンフリーマンが言ってたから信頼できない
やっぱ第一選択はシードを19936ビットフルい与えてのmersenne_twister_engineなのでは……

**デフォルトの名無しさん** · 2021/03/26(金) 23:42:48.79

ハッシュと乱数を混同してただけでしょ

◆QZaw55cn4c · 2021/03/27(土) 00:11:40.23

>>17
大抵の用途には、私は MT を使いますね…

**はちみつ餃子** ◆8X2XSCHEME · 2021/03/27(土) 00:35:45.49

メルセンヌツイスタは統計的な性質は良いが状態がやや大きい (普通のパソコンではもはや気にしないでよいレベルだが) ので、
いつでも選択するには過剰な気もする。

**デフォルトの名無しさん** · 2021/03/27(土) 00:52:36.37

スレの流れをぶった切って申し訳ない
boostってもういらなくなったの？
15年ぶりにC++でプログラミングすることになったので
その辺の事情がよく分かりません

**デフォルトの名無しさん** · 2021/03/27(土) 00:54:27.35

当然要るよ
多次元配列クラスとかまだSTLに入ってない

**はちみつ餃子** ◆8X2XSCHEME · 2021/03/27(土) 01:11:01.48

個別には Boost 以外の選択肢もあると思うけどある程度に統一されてないと扱いづらいし、
Boost にあるものは Boost を使っておくのが無難な選択には違いないと思うよ。

**デフォルトの名無しさん** · 2021/03/27(土) 01:17:35.37

boostはヘッダライブラリ自称してる割にビルド必要で使いづらいねん

**はちみつ餃子** ◆8X2XSCHEME · 2021/03/27(土) 01:26:03.40

>>28
> ヘッダライブラリ自称

そんなことどこかに書いてあるの？
公式ページのトップにもビルドについて言及があるし、ヘッダのみみたいなニュアンスはないと思うんだが。

**デフォルトの名無しさん** · 2021/03/27(土) 02:13:45.76

ヘッダのみで使えると過剰に宣伝してるライブラリが多い。

と、あわしろ氏が申しておりました。

**デフォルトの名無しさん** · 2021/03/27(土) 02:17:07.41

あわしろってキンコン西野みたいなもん？

**デフォルトの名無しさん** · 2021/03/27(土) 08:19:32.12

ビルド必要なのは別にいいけどbjamが糞すぎるからさっさと捨てて欲しい

**デフォルトの名無しさん** · 2021/03/28(日) 12:33:00.93

class hoge{
public:
constexpr static int aaa[2] = { 1, 2};

static hoge get_hoge();
}

hage::hage()
{
hoge *_hoge = hage::get_hoge();

int tmp;
int i = 0;
tmp = _hoge->aaa[i];
}
とすると、ビルド時、undefined reference to `hoge::aaa'と出るけど、
tmp = _hoge->aaa[0];とするとエラーが出ない
これってなぜ起きて、どうやったら変数を使ってアクセスできるようになるの？
開発環境はSTM32CubeIDEのver1.6.0

**デフォルトの名無しさん** · 2021/03/28(日) 13:05:07.76

ちらちら混ざってる hage は hoge の間違いなのか何か別物なのか。

**はちみつ餃子** ◆8X2XSCHEME · 2021/03/28(日) 13:05:58.70

>>33
サンプルコードが不足しているので何をどうしたいのかよくわからんのだが、
i が定数式じゃないと駄目だよ。

**デフォルトの名無しさん** · 2021/03/28(日) 13:47:16.98

>>35
うそやん？

**デフォルトの名無しさん** · 2021/03/28(日) 17:41:23.48

>>34
hogeにはアプリで使う色々な定数が入ってて、hageがそれを参照するようにしてるんだ。
んなもんdefineでいいとかそういう話は置いといて、iが変数だと何がまずいの？

**デフォルトの名無しさん** · 2021/03/28(日) 19:20:58.11

三段活用はhoge、fuga、piyoだろ！常識だぞ
ハゲとか言う人にはもう教えません

**デフォルトの名無しさん** · 2021/03/28(日) 19:23:19.81

piyoは初めてみるな

**デフォルトの名無しさん** · 2021/03/28(日) 20:20:31.89

>>39
それなりに知られてるぞ
https://ja.m.wikipedia.org/wiki/%E3%83%A1%E3%82%BF%E6%A7%8B%E6%96%87%E5%A4%89%E6%95%B0

**デフォルトの名無しさん** · 2021/03/28(日) 21:37:33.38

>>37
> constexpr static int aaa[2] = { 1, 2};
クラススコープの↑は変数の定義に見えるけど実は宣言でしかなくて、プログラム中に実体を置くには別途定義が要る。
ただし const な整数型や constexpr な変数が定数式の文脈で即座に値として利用される場合はコンパイル時に直接定数として
置き換えられるので、定義が無くてもビルドできる。

定数 0 ではなく変数 i を添え時にすると定数式ではなくなるので定義が必要になる。

**デフォルトの名無しさん** · 2021/03/28(日) 22:16:07.85

>>42
分かったようなわかんないような感じなんだけど、
例えば、
class hoge{
public:
constexpr static int aaa[2];

static hoge get_hoge();
}

hoge::aaa[2] = {1, 2};

みたいにするってこと？

**デフォルトの名無しさん** · 2021/03/28(日) 22:26:27.67

>>42
それだと定数評価できなくなるから、たぶんやりたいことと違うよね。
「別途定義」は、宣言の初期化子はそのままで↓をどこかのコンパイル単位に追記するだけでいい。
constexpr int hoge::aaa[];

**デフォルトの名無しさん** · 2021/03/28(日) 22:50:05.31

static constexpr int * constexpr aaa = …
か
static inline constexpr int aaa[] = … (c++17)
で行けんじゃね？知らんけど。

**デフォルトの名無しさん** · 2021/03/28(日) 23:57:42.15

そういえば inline 変数で済むようになったんだっけ。 C++17 でビルドすれば別途定義は要らないね。
https://cpprefjp.github.io/lang/cpp17/inline_variables.html

**デフォルトの名無しさん** · 2021/03/29(月) 08:44:37.72

これで思い出したんだけどメンバ変数のconstexprとstatic constexprに違いってあるんだっけ？

**デフォルトの名無しさん** · 2021/03/29(月) 10:42:44.85

メモリ上に唯一ここだけしかないんだぞって見る奴に分かるようにしてるんでしょ
コンパイラ的にはあってもなくても同じ

**デフォルトの名無しさん** · 2021/03/29(月) 11:13:21.97

>>46
メンバ変数はインスタンス無いとあかんやん

46 · 2021/03/29(月) 11:39:07.94

インスタンスごとになるのか・・コンパイル時定数なのに(保証は無いのかもしれんけど
普段staticつけてるから疑問に思ってたんだ、ありがとう

**デフォルトの名無しさん** · 2021/03/29(月) 16:52:43.90

>>43
thx
C++の仕様が古いのか分からんけどうまくいかなかったんで、constで宣言して別に定義したわ

**デフォルトの名無しさん** · 2021/04/01(木) 00:44:40.92

クラスを使わずにフリー関数だけで何もかも実装してしまう

**はちみつ餃子** ◆8X2XSCHEME · 2021/04/01(木) 02:23:28.90

なんでもかんでもクラスに放り込むのは良くないというのはよく認識されるようになってきたみたいだけど、
だからといって C++ を使う以上は非メンバ関数だけで構成するのも不格好だし、いい感じの設計は難しいね。

**デフォルトの名無しさん** · 2021/04/01(木) 05:45:44.25

知らん馬の骨の好みに合わせる意味はない

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

無駄に上から目線でワロタ
何様のつもりなのかと

**デフォルトの名無しさん** · 2021/04/01(木) 11:54:02.32

バカが無理してクラス使っても無駄に状態持つだけだから非メンバ関数使っとけ

**デフォルトの名無しさん** · 2021/04/01(木) 14:49:39.84

ラムダ式で何もかも実装したらクラスを使ったことになる！

**デフォルトの名無しさん** · 2021/04/01(木) 16:14:27.54

>>38
hoge
hage
mage
かと思ってた

**デフォルトの名無しさん** · 2021/04/01(木) 16:49:21.83

>>55
永遠に初心者のままだな

**デフォルトの名無しさん** · 2021/04/01(木) 17:27:07.05

>>58
別に

**デフォルトの名無しさん** · 2021/04/01(木) 18:40:51.78

>>58
永遠に関数型理解できないね

**はちみつ餃子** ◆8X2XSCHEME · 2021/04/01(木) 18:42:28.20

メンバ関数を使わなければ関数型的ということはない。

**デフォルトの名無しさん** · 2021/04/01(木) 18:48:20.10

嫌味の理解できない奴が話をこじらせる。

**デフォルトの名無しさん** · 2021/04/01(木) 22:02:12.44

誤解の余地がないぐらいしっかり要件定義できたら一人前の入り口

**デフォルトの名無しさん** · 2021/04/01(木) 23:10:26.56

なんでもかんでもクラスに放り込むのは良くないけど、なんでもかんで名前空間に放り込むのは実に良い

**デフォルトの名無しさん** · 2021/04/02(金) 01:40:11.97

ま、せやな

**デフォルトの名無しさん** · 2021/04/02(金) 08:19:46.74

"Raw string literals" は「生文字列リテラル」　って訳されるけど、「生」の部分をどう読んでいるのですか？
「なま」なのか「せい」なのか、「しょう」なのか
ググってもわかりません
https://cpprefjp.github.io/lang/cpp11/raw_string_literals.html

**デフォルトの名無しさん** · 2021/04/02(金) 08:32:50.23

「生ポインタ」で「なまぽいんた」

界隈で使われてる超専門用語
教科書には読み方はおろかその存在すら一切載って無い
しかしてC/C++使いは総じてその読み方を知ってる

**デフォルトの名無しさん** · 2021/04/02(金) 08:39:51.40

>>67
「なま」なんですね
早速の解答ありがとうございますｍ（＿＿）ｍ

**デフォルトの名無しさん** · 2021/04/02(金) 13:54:33.57

einsumとか添字の入れ替えくらいの本当に基本的な機能だけ持ってる多次元配列クラスがほしいんだけど、なんでこれしきのものがboostにはないの？

**デフォルトの名無しさん** · 2021/04/02(金) 14:03:29.72

君の実装を世界が待ってるんだぞ
文句言う前に公開せよ

**デフォルトの名無しさん** · 2021/04/02(金) 14:19:38.24

>>70
今は自分で実装して騙し騙し使ってるけど、こういうファンダメンタルかつパフォーマンスが必要なものは誰か信用できるプロバイダに作ってほしい

**デフォルトの名無しさん** · 2021/04/02(金) 17:28:33.51

実用的な必要に迫られている人こそ
変な妥協もお花畑なオーバースペックもない
機能美なコードを書けるんだけどな

**デフォルトの名無しさん** · 2021/04/02(金) 19:20:37.25

>>72
実用的なコードというのは進化し続けるコードであって、常に古びた無駄を抱えているもんだ。

**デフォルトの名無しさん** · 2021/04/03(土) 03:21:26.87

仕様変更できなくなって陳腐化していくことはあるな

**デフォルトの名無しさん** · 2021/04/03(土) 06:35:59.59

std::vector<bool>のpopcountを簡単にとる方法をおしえてくだちい
以下のようにして自力で数えるしかない？
size_t popcount(const std::vector<bool>& vec) {
size_t cnt = (size_t)0;
for (auto it = vec.begin(); it != vec.end(); it++) {
if ((bool)(*it)) {
cnt++;
}
}
return cnt;
}
あとstd::vector<bool>::size()は総ビット数を返すみたいなんですが
では実際に占有しているヒープのサイズは
どうやって確かめたら良いんでしたっけ……＿○／|＿

**デフォルトの名無しさん** · 2021/04/03(土) 07:04:05.36

つかstd::count(vec.begin(), vec.end(), true)で一応動くみたいけど
中でbool型の等値判定していると思うんですが問題無いんでしたっけ……

**デフォルトの名無しさん** · 2021/04/03(土) 07:45:13.57

不安だったらvector<bool>なんか使うな
それは素人が手を出していいものじゃない

**デフォルトの名無しさん** · 2021/04/03(土) 09:24:55.78

集合表現のためのビットマップのロジックを新たに新規に作るよりﾏｼ、
という天才の判断

**デフォルトの名無しさん** · 2021/04/03(土) 12:58:35.52

std::bitsetじゃいかんのか？

**デフォルトの名無しさん** · 2021/04/03(土) 13:23:18.30

天才か！
しかしstd::bitsetは要素数が整数の基本型のビット数を超えられないのでは……

**デフォルトの名無しさん** · 2021/04/03(土) 13:33:00.76

要素数が本当に動的に変わるの？

**デフォルトの名無しさん** · 2021/04/03(土) 13:49:31.61

2^32以上のサイズが必要だってこと？
何に使うの？

**デフォルトの名無しさん** · 2021/04/03(土) 13:51:40.21

>>82
誤: 2^32
正: 32

当然32個以上の要素からなる集合をビットマップ式に表そうとしたとき
、整数の基本型1個では足りない

**デフォルトの名無しさん** · 2021/04/03(土) 13:52:40.69

int128の整数を使えば

**デフォルトの名無しさん** · 2021/04/03(土) 13:52:47.30

訂正orz
誤：当然32個以上の要素からなる集合
正：当然64個を超える要素からなる集合

**デフォルトの名無しさん** · 2021/04/03(土) 14:04:02.94

>>80
え？普通に32超えられるけど

**デフォルトの名無しさん** · 2021/04/03(土) 15:15:47.45

何かこういう訳のわからない事を書き込んでまで質問するならもっとわかりやすく書けよと思う
そもそも動的じゃないなら配列でええやろ

**デフォルトの名無しさん** · 2021/04/03(土) 17:28:40.18

c++関係あるかわかりませんが、テクスチャをバラバラに分割するロジックってどうやって作るんでしょうか？

例えばジグソーパズルや、このモザイク画のように、１枚の絵をバラバラにしたいのです。
ばらばらにしたものを戻すというゲームを作ろうとしています。
https://docs.gimp.org/2.8/ja/plug-in-mosaic.html

これが作成したサンプル画像です
https://i.imgur.com/abyDlBI.png

グリッドの線がうっすら見えると思いますが、これを２次元配列とみなします。
適当に四角形を選択して、大まかな位置を決めます。

しかし、その後、四角形を三角形や五角形にするにはどうしたらいいのでしょうか？
隣り合う頂点をマージするなどすればできそうですが。

つまり、頂点という概念を使わないとこの機能は実現出来ないでしょうか？
板ポリゴンを2dとして映せば行けるかなと思ってます。

まあ、inkscapeなどで手作業で作れよって話ですけどね。
自動でパズル作ってくれたらいいなと思って。

エンジンはgodotです(´・ω・`)が、processingなどの環境でもいいです。
ヒントください

**デフォルトの名無しさん** · 2021/04/03(土) 17:42:25.44

1ドットずつ走査して近似色以外は透明色で塗りつぶせば

**デフォルトの名無しさん** · 2021/04/03(土) 17:43:36.15

>>88
こういう話？ C++ は関係なさそう。
https://ja.wikipedia.org/wiki/%E3%83%9C%E3%83%AD%E3%83%8E%E3%82%A4%E5%9B%B3

gimp のプラグインになってるんならソースありそうだからそれ見ればいいんじゃねとも思う。

**デフォルトの名無しさん** · 2021/04/03(土) 18:06:49.53

OpenGLとかグラフィックプログラミング系のスレで聞くべき・・といいたいところだが
この板は上から下まで、やれこっちが優れてるだのこのやりかたは汚いだの
アホみたいなマナー・作法論しか議論していない板なのでたぶん書籍かWebを検索したほうがいい

**デフォルトの名無しさん** · 2021/04/03(土) 18:11:14.04

適当に点{ p1, p2, p3, ... } をばらまいてボロノイ境界を描いたら
ボロノイ境界が勝手に種々の多角形になりまくり……！
あとは1つの区画内を点{ p1, p2, p3, ... }における画像の色とかの
適当な色で塗り潰せば良い

言うは安し……！！

**デフォルトの名無しさん** · 2021/04/03(土) 22:25:01.27

とりあえず2Dゲーをいちいちポリゴンでやるのはやめといた方がいいかも・・
テクスチャの内容を一枚のビットマップとしていじった方が楽な気がする
スワイプやドラッグでピースを動かすときは板ポリ使ってもいいかもしれんけど

**デフォルトの名無しさん** · 2021/04/04(日) 10:32:13.85

>>89
その機能がゲームエンジンにあるかどうかすで

>>90
そんな感じですね。
ボロノイというより、三角と四角と五角形で分割したいわけですが
openglはできませんからね、擬似的にそう見せる方法でもいいのですが

アホなので

**デフォルトの名無しさん** · 2021/04/04(日) 10:37:45.94

>>93
ビットマップでやるってのは、マスでなんとかするってことですか？

**デフォルトの名無しさん** · 2021/04/04(日) 10:58:31.72

領域を分割する頂点と辺を決めたらあとは各ピクセルごとにどの領域に含まれるかを判断すればいいように思うが

**デフォルトの名無しさん** · 2021/04/04(日) 13:16:57.18

>>88のサンプル画像からすると、分割された領域の頂点は格子点上にないといけないっぽい
ボロノイ境界の交点は都合良く格子点上に来るとは限らないから、ボロノイ「領域」
の作図式にやるのはいろいろな点でｲﾏｲﾁ感が、

**デフォルトの名無しさん** · 2021/04/04(日) 13:46:45.93

ちゅか要件定義的に（三角形は良いとして）
(1) 四角形や五角形への分割において凹図形を許容するのか否か
(2) ある図形の1つの辺を2つ以上の隣接図形で共有することを許容するのか否か
とか決めねばならない

いや決めたからといって別に頂点決定アルゴリズムの妙案とか無いが＿○／|＿

**デフォルトの名無しさん** · 2021/04/04(日) 18:57:03.43

ここは飛ばしてゲーム作ります(´・ω・`)、、、別に面白さと関係ないしね、、、。

**デフォルトの名無しさん** · 2021/04/04(日) 19:04:13.20

processingで似たような事できますか？ちょこちょこ練習しようかな
ゲームエンジン使うほどでもないので

https://processing.org/download/support.html
これダウンロードできます？寄付しろと言われるんですけども

**デフォルトの名無しさん** · 2021/04/04(日) 19:10:44.91

できた　すみあｍせん

**デフォルトの名無しさん** · 2021/04/05(月) 08:59:16.68

c++言語をググるとビャーネも必ず出てきて
彼が設計者だとのことですが、コンパイラを作ってるのは彼ではないですよね
具体的に彼は何をしたの？

**デフォルトの名無しさん** · 2021/04/05(月) 09:24:06.09

言語仕様の策定だろ
まあ最初のコンパイラー（コンバーターかも）ぐらいは作ってるとは思うけど

**デフォルトの名無しさん** · 2021/04/05(月) 09:27:14.80

当初はCのプリプロセッサだから今で言うとTypescriptみたいなものだな

**デフォルトの名無しさん** · 2021/04/05(月) 11:51:16.82

C++標準化委員会は誰が組織したんや？

**デフォルトの名無しさん** · 2021/04/05(月) 11:53:41.43

それとも国際標準化機構（ISO）か何かの配下なの？

**デフォルトの名無しさん** · 2021/04/05(月) 12:36:06.42

>>105
K&R Cにクラスの概念を取り入れて見よう
ということを思いつきcfrontを実装した
TC++PL及びARMを著しC++を広く世界に知らしめた

**デフォルトの名無しさん** · 2021/04/05(月) 17:28:39.12

そして世界は闇と混沌に包まれた……

**デフォルトの名無しさん** · 2021/04/05(月) 19:55:46.69

c++はクソだが、プログラマが求めたクソなのだ。

**デフォルトの名無しさん** · 2021/04/05(月) 22:13:27.34

https://livedoor.blogimg.jp/namekkutake/imgs/3/f/3fc1c9fe.jpg

**デフォルトの名無しさん** · 2021/04/05(月) 22:24:25.87

ビヨーン先生の功績は
ハゲても立派なプログラマになれるという勇気をくれたことだろう

**デフォルトの名無しさん** · 2021/04/06(火) 06:59:06.97

質問ですが
　std::vector<SomeBigObject> arr;
　std::vector<int> indices;
というデータがあり、
SomeBigObjectは大小比較可能だがarr自体は未ソートで、
　for (int i = 0; i < N; i++) { indices[i] = i; }
　auto cmpFunc = [](int a, int b)->bool{ return (arr[a] < arr[b]); }
　std::sort(indices.begin(), indices.end(), cmpFunc);
としてindices上で間接的にソートされているとき、
指定されたSomeBigObject x以上の値が現れるarr[i]の最小のiを高速に取得するには
どうづればSTLでやるには良いですのん？

**デフォルトの名無しさん** · 2021/04/06(火) 06:59:22.44

arrがソートされていれば
　auto cmpFunc2 = [](const SomeBigObject& a, const SomeBigObject &b)->bool{ return (a < b); }
　std::lower_bound(arr.begin(), arr.end(), cmpFunc2);
で済む話なんだども、SomeBigObjectはコピーの手間がかかるので直接std::sortしたくないという、

**デフォルトの名無しさん** · 2021/04/06(火) 07:00:25.45

また手動で組めということなら明らかに組める
int custom_lower_bound(int bgn, int end, const int N, const SomeBigObject& x) {
　while (bgn < end) {
　　int mid = bgn + (end - bgn) / 2;
　　if (arr[mid] < x) {
　　　bgn = mid;
　　} else if (x < arr[mid]) {
　　　end = mid;
　　} else {
　　　while (mid > 0 && arr[mid - 1] == x) { mid--; }
　　　return mid;
　　}
　}
　while (bgn < N && arr[bgn] < x) {
　　bgn++;
　}
　return bgn;
}
みたいなことをしたら多分逝けるが、しかしこんなもん使う都度書きたくないし、
ライブラリとして展開して責任負いたくもないんじゃー
STLはこういうケースのためにあり、論理的に実現できる以上やり方が考えられていないとおかしいはず……

**デフォルトの名無しさん** · 2021/04/06(火) 07:42:07.19

　auto cmpFunc3 = [](int a, int b)->bool{ return (arr[a] < arr[b]); }
　i = std::lower_bound(indices.begin(), indices.end(), cmpFunc3);
arr[i];
じゃいかんのかしら

**デフォルトの名無しさん** · 2021/04/06(火) 15:08:28.23

>>115
lower_bound()の第3引数に検索キーxを指定する必要があるから
>>115では解決しないっていうかビルドエラーなﾖｶﾝ、

ここで気づいたが>>113のlower_bound()の例は間違ってたわｽﾏﾝ、orz
↓これに訂正
　auto cmpFunc2 = [](const SomeBigObject& a, const SomeBigObject &b)->bool{ return (a < b); }
　std::lower_bound(arr.begin(), arr.end(), x, cmpFunc2); // 3番目の引数は検索キーx

ところがソートされているindices上の検索キーは、検索したい実際のオブジェクトxから
ただちには求められない（普通にやったら線形探索の手間がかかる、｡n_

**デフォルトの名無しさん** · 2021/04/06(火) 17:08:29.35

　auto cmpFunc3 = [&](int idx, const SomeBigObject& xx)->bool{ return arr[idx] < xx; }
　auto i = std::lower_bound(indices.begin(), indices.end(), x, cmpFunc3);
arr[*i];
じゃあこれで

**デフォルトの名無しさん** · 2021/04/06(火) 18:31:21.10

>>117
ﾑﾘｽ、

つか次のように死ぬほど腐った書き方をしたらとりあえずできるた、
/// 間接ソート版lower_bound
int custom_lower_bound(const std::vector<SomeBigObj>& arr, std::vector<int>& indices, const SomeBigObj& x)
{
　// SomeBigObjの間接ソート用比較関数
　// xのコピーを避けるため[&](a, b)とする。
　auto cmpFunc = [&](const int a, const int b)->bool {
　　// 有り得ないindex値が渡ってきたらxとみなす。
　　const SomeBigObj& obj1 = (a < 0) ? x : arr[a];
　　const SomeBigObj& obj2 = (b < 0) ? x : arr[b];
　　return (obj1 < obj2);
　};
　// lower_bound()の第3引数(検索キー)を有り得ないindex値にしておく。
　auto found_it = std::lower_bound(indices.begin(), indices.end(), -1, cmpFunc);
　// Indexに変換
　return (int)std::distance(indices.begin(), found_it);
}

動作するサンプル例：
https://ideone.com/xbSHmi

**デフォルトの名無しさん** · 2021/04/07(水) 00:39:13.23

const int lb = std::distance(indices.begin(),std::partition_point(indices.begin(), indices.end(), [&x,&arr](const int i){ return arr[i] < x; }));
これでどうかな？

**デフォルトの名無しさん** · 2021/04/07(水) 01:13:46.41

>>115
エピさんかしらん

**デフォルトの名無しさん** · 2021/04/07(水) 01:17:07.25

>>118
動くってば
http://ideone.com/v9R75s

**デフォルトの名無しさん** · 2021/04/07(水) 05:42:50.50

>>121
しらそん
おま環

**デフォルトの名無しさん** · 2021/04/07(水) 06:26:08.77

>>122
動かないのをおま環言うのはよく聞くがその逆を聞いたのはこれが初めてかも

**デフォルトの名無しさん** · 2021/04/07(水) 07:24:58.99

確かに動いているように見えるが（呼び出し回数も2分探索相当に見えるが）
Compにそんな引数渡して委員会？！
錯覚じゃないの；；；

**デフォルトの名無しさん** · 2021/04/07(水) 08:00:02.53

std::lower_bound(first last, value, comp);
という呼び出しにおいて、compはcomp((firstやlastと同じ型のiteratorが指す要素), value)
という呼び出され方しかされないこと、および
valueの型はfirstやlastが指す要素の型とま無関係に好きな型にして良いと規格で決まっている？！

**デフォルトの名無しさん** · 2021/04/07(水) 09:20:20.01

チラッと規格見た限り
value は first、last と無関係でいいし
comp の第一引数はfirst、lastのiteratorが指す型で、第二引数はvalueの型に決まっているように見える

**デフォルトの名無しさん** · 2021/04/07(水) 12:44:59.78

>>51じゃないが、オブジェクト指向で設計する意味が分からなくなった
汎用性の高いフリー関数が沢山あればそれで良いじゃん

**デフォルトの名無しさん** · 2021/04/07(水) 15:37:37.40

>>126
> comp の第一引数はfirst、lastのiteratorが指す型で、第二引数はvalueの型に決まっているように見える
そこは決まってないと思う。

**デフォルトの名無しさん** · 2021/04/07(水) 15:42:26.98

・・・いや、 lower_bound() 限定なら引数の順番もその想定でいいのか。
upper_bound() だと comp(value, x) になったりするから、交換可能にしとくのがいいけど、
片方だけ使うなら交換可能にする必要はない、と。

**デフォルトの名無しさん** · 2021/04/07(水) 15:44:08.41

参照: https://timsong-cpp.github.io/cppwp/n4861/alg.binary.search

**デフォルトの名無しさん** · 2021/04/07(水) 15:45:24.56

>>128
requiresのとこは見た？

**デフォルトの名無しさん** · 2021/04/07(水) 17:04:44.94

c++20からpreconditionsって書き方に変わったのか。

>>129
upper_boundのpreconditionsには第一引数がvalueのほうしか書いてないよ

**デフォルトの名無しさん** · 2021/04/08(木) 06:24:25.70

質問者ですレス㌧クス、
>>117の書き方で>>121が正しく動いているように見えるのは未定義動作でなくてSTLの仕様ってことでＦＡ？
>>126や>>129のような巧妙っていやー巧妙だが風が吹いたら桶屋が儲かるみたいなかりにくい仕掛けなのは
ステパノフあたりの発案なんですかね……

**デフォルトの名無しさん** · 2021/04/08(木) 10:00:06.97

>>132
あ、ごめん。比較関数の引数順を交換可能にするのは lower_bound, upper_bound 両用にすることを想定しての話。

**デフォルトの名無しさん** · 2021/04/08(木) 16:09:17.02

生魚にあたって、
入院した病院の天井みながらSTL考えてたもんな

**デフォルトの名無しさん** · 2021/04/08(木) 16:25:55.36

ステパノフ？

**デフォルトの名無しさん** · 2021/04/08(木) 23:02:01.67

ニダーランが終了になるそうだ
もう糞スレは立てにくくなるな
ざまあ

**デフォルトの名無しさん** · 2021/04/09(金) 01:15:08.43

>>135
STLなんてかっこつけたネーミングだけど
やってることはリニアサーチwww

**デフォルトの名無しさん** · 2021/04/09(金) 11:44:34.26

C++11でのstd::swapは、次のようなコードになっているそうですが、
仮に、もし(1)が終わった直後にt1の中のポインタ型やshared_ptr<A>のメンバに
nullptr的なものが代入されるんでしょうか。
仮にt1のポインタ的なメンバにnullptr的なものが代入されない場合、
(2)でt1への代入に置いて何が起きるのか心配です。
質問の仕方を変えるならば、
share_ptrは参照カウンタ方式ですのでカウンタのアップ/ダウンは正確でなければ
なりませんが、以下の例では、いったいどの行のどの演算子(またはどの部分)で
カウントアップ/カウントダウンされるんでしょうか。

template<typename T> void swap(T& t1, T& t2) {
　T temp = std::move(t1);　// (1), or T temp(std::move(t1));
　t1 = std::move(t2);　　　// (2)
　t2 = std::move(temp);　　// (3)
}

**デフォルトの名無しさん** · 2021/04/09(金) 11:45:42.89

>>139
誤：仮に、もし(1)が終わった直後にt1の中のポインタ型やshared_ptr<A>のメンバに
　　nullptr的なものが代入されるんでしょうか。
正：(1)が終わった直後にt1の中のポインタ型やshared_ptr<A>のメンバに
　　nullptr的なものが代入されるんでしょうか。

**デフォルトの名無しさん** · 2021/04/09(金) 11:58:14.49

>>138
C++03にもstd::binary_searchあるぞ

**はちみつ餃子** ◆8X2XSCHEME · 2021/04/09(金) 12:00:21.75

>>139
> nullptr的なものが代入されるんでしょうか。

この場合はされる。
ムーブセマンティクス一般においてはムーブ後の抜け殻は「無効なオブジェクト」なのでアクセスに対して保証がないことがあるが、
標準ライブラリのスマートポインタについては所有権を移動させた後にそれが空であり
メンバ関数 get で nullptr が返ることも、 nullptr と == で比較して真であることも保証される。

> いったいどの行のどの演算子(またはどの部分)で
> カウントアップ/カウントダウンされるんでしょうか。

= がその役割を持っている。
ムーブコンストラクタとムーブ代入演算子によってカウントされる。

**デフォルトの名無しさん** · 2021/04/09(金) 12:02:12.29

>>140
どうやら、
(1) の中央の = では、TからTへの move-constructorが呼び出され、
(2)や(3) の中央の = では、TからTへの move-assignment operatorが呼び出される、
ということのようですが、
Tのmove-contructorやmove-assingment operatorは、ユーザーの実装次第で、
ユーザーがそれらを明示的に書かなかった場合の「デフォルトの定義」は
現在もまだ論争中で、標準的な仕様が決まってない、ということらしいですね。
間違っていれば指摘してください。

**デフォルトの名無しさん** · 2021/04/09(金) 12:11:46.34

>>141
そんなのも、ちょっとc\c++をかじったことあるなら
誰でも書けるじゃん
わざわざ誰が書いたかわからないようなものより自作できるなら自作するだろ

**デフォルトの名無しさん** · 2021/04/09(金) 12:20:57.67

>>143
以下のサイトによれば、「標準的な仕様は決まっている」ようです：
drafet C++11 standareのsection 12.8のparagraph 15に
implicitly-defined copy/move constructor は、
「a memberwise copy/move of its bases and members」
であると書いてあるそうですから：

https://stackoverflow.com/questions/18290523/is-a-default-move-constructor-equivalent-to-a-member-wise-move-constructor

The implicitly-defined copy/move constructor for a non-union class X performs a memberwise copy/move of its bases and members. [ Note: brace-or-equal-initializers of non-static data members are ignored. See also the example in 12.6.2. —end note ] The order of initialization is the same as the order of initialization of bases and members in a user-defined constructor (see 12.6.2). Let x be either the parameter of the constructor or, for the move constructor, an xvalue referring to the parameter. Each base or non-static data member is copied/moved in the manner appropriate to its type:

if the member is an array, each element is direct-initialized with the corresponding subobject of x;
if a member m has rvalue reference type T&&, it is direct-initialized with static_cast(x.m);
otherwise, the base or member is direct-initialized with the corresponding base or member of x.
Virtual base class subobjects shall be initialized only once by the implicitly-defined copy/move constructor (see 12.6.2).

**デフォルトの名無しさん** · 2021/04/09(金) 12:39:59.46

>>142
>ムーブセマンティクス一般においてはムーブ後の抜け殻は「無効なオブジェクト」なのでアクセスに対して保証がないことがあるが、
>標準ライブラリのスマートポインタについては所有権を移動させた後にそれが空であり
>メンバ関数 get で nullptr が返ることも、 nullptr と == で比較して真であることも保証される。

なるほど。
行(1)の場合、
1. 右辺でstd::move()をt1に行った段階では(実行段階で)マシン語は全く実行されない。
2. 中央の = は、move-constructor と解釈され、Tのmove-constructorが呼び出される。
3. Tの暗黙定義のmove-constructorは、メンバ同士のmove-construcotrなので、
　メンバに shared_ptr<A> a があると、shared_ptr<A>のmoveコンストラクタが呼び出される。
　そして、shared_ptr<A>のmoveコンストラクタは、実行後に「src側(from側)」をnullptr相当の
　状態にしてしまう。

ということのようですね。

**デフォルトの名無しさん** · 2021/04/09(金) 12:42:08.46

>>146
逆に言えば、Tのメンバに、A *pA; のような生ポインタがあると、
Tの暗黙のmoveコンストラクタ/move代入演算子では、恐らく、
「src側(from側)」にはnullptrが代入されない(??)ので、非常に困った
問題を招くかも知れないと？

**デフォルトの名無しさん** · 2021/04/09(金) 12:44:10.41

>>147
Tのデストラクタに
if ( pA != nullptr ) {
　delete pA;
}
などと書いていた場合、問題を生じそうですね。

**デフォルトの名無しさん** · 2021/04/09(金) 12:45:44.21

生ポ入りクラスに暗黙move関数定義できたっけ？

**デフォルトの名無しさん** · 2021/04/09(金) 18:46:49.83

c++についてうんちく垂れるやつに限って仕事ができない
そんなうんちくどうでもいいから、さっさと作れよって思われてる先輩いるわ

**デフォルトの名無しさん** · 2021/04/09(金) 19:06:14.56

>>150
プログラマは怠惰であれ、を地で行ってるんだろう

**デフォルトの名無しさん** · 2021/04/09(金) 19:55:10.43

>>144
> わざわざ誰が書いたかわからないようなものより自作できるなら自作するだろ

おまえは一生二度とライブラリもOSも使うな
ベアメタルだけで食っていけ

それができたら、おまえに付いてくる者たちが顕れるだろう
できなければ人知れず消えるだけだ

どうなりたいかは、お前の人生だ
俺がどうしろとは言えない

**デフォルトの名無しさん** · 2021/04/09(金) 20:38:18.09

>>150
またお前か。さっさとプログラミング覚えろよ

**デフォルトの名無しさん** · 2021/04/09(金) 23:03:48.36

std::binary_search()は戻り値とかなんとboolや
こんなのよかちゃんと位置を返してくれるstd::lower_bound()の方がよっぽど使いでがある
ちなstd::lower_bound()が2分探索か線形探索かは使うイテレータの条件次第

**デフォルトの名無しさん** · 2021/04/09(金) 23:08:01.53

std::lower_bound()が線形探索だと断言してくださる香ばしいblogも世の中にはあるが
ｈｔｔｐｓ：／／ｒｓｋ０３１５．ｈａｔｅｎａｂｌｏｇ．ｃｏｍ／ｅｎｔｒｙ／２０１９／０９／１０／１７３７０８

これがまつがいであることは比較関数の中でprintf()でもしたらたちどころにﾜｶﾙ

**デフォルトの名無しさん** · 2021/04/09(金) 23:29:26.43

ｺﾞﾒｿリンク先は必ずしも断言はしていなくって、std::set<T>にstd::lower_bound()を適用する例か、
これのイテレータはrandom-access iteratorでないから確かに線形探索になる

**デフォルトの名無しさん** · 2021/04/10(土) 02:28:09.12

>>144
こういうのが井の中の蛙ってのだな
蛙くん

**デフォルトの名無しさん** · 2021/04/10(土) 13:02:03.74

>>149
生ポインタのメンバ変数がある場合で、デストラクタで>>148のように
書いている場合は、暗黙のmove関数は自動定義されないようです。
なぜなら、暗黙のmove関数は、デストラクタがユーザー定義されている
場合には自動定義されないためです。
他にも、コピーコンストラクタ、コピー代入演算子、move代入演算子
がユーザー定義されている場合も、暗黙のmove関数は自動定義されない
そうです。

**デフォルトの名無しさん** · 2021/04/10(土) 13:04:24.60

>>158
誤：暗黙のmove関数
正：暗黙のmove-コンストラクタ

**デフォルトの名無しさん** · 2021/04/11(日) 21:20:47.36

コンパイラはともかくリンカに計算負担をかけるのはバカな設計だなと思うわ。

**デフォルトの名無しさん** · 2021/04/11(日) 21:31:53.64

>>160 何の設計の話？

**デフォルトの名無しさん** · 2021/04/11(日) 22:03:18.21

暗黙のmoveがnullptr代入してくれないとか生ポあるクラスに暗黙のctor定義してくれるのか、とか
学ぶ順番間違えて勘違いしてるやつ上の方にいるけど
そもそも生ポの扱いに言語が介入するんならdtorでdeleteしてくれるのか、とか考えつかないのかね・・

**デフォルトの名無しさん** · 2021/04/11(日) 22:28:21.28

質問者はポインタ型とshared_ptrについて聞いてたのに、shared_ptrのことしか答えなかった餃子が悪い。
謝れ！俺に

**デフォルトの名無しさん** · 2021/04/12(月) 13:47:17.66

指定ソフトのFWを許可するAPI教えてくださいよ

**はちみつ餃子** ◆8X2XSCHEME · 2021/04/12(月) 15:59:50.47

そうか。

**デフォルトの名無しさん** · 2021/04/12(月) 18:14:36.03

皆さま御機嫌よう、ちょっと質問させてください

class hogeの内部でenum class fugaを定義し、
そのfugaをclass hogehoge でメンバ変数として使用したいのですが、
hogehoge のヘッダーにはなるべくhoge をインクルードさせたくありません。
もちろんfuga変数はヘッダーに置いて使用したいのですが……
前方宣言でfugaを宣言してもhoge::fugaと互換？が無いため代入が出来ません。
キャストで戻したりして使っているのですがこれならintでもいいかなと……
クラス内クラスの前方宣言は難しいのでしょうか？
何か方法がありましたら教えていただきたく……

class hoge{
enum class fuga{
one,two,three,SUM
};
};

//ヘッダーはソースにインクルードしたい
class hogehoge{
hoge::fuga mfuga;
};
こんかかんじで使いたいのですがエラーになってしまいsまずorz

**デフォルトの名無しさん** · 2021/04/12(月) 18:58:57.80

enum classはグローバルに置いた方がいいんでしょうか？
任意のクラス内部で規定したいenumが見た目も便利だと思ったのでなるべく入れ子にしたかったのですが

**デフォルトの名無しさん** · 2021/04/12(月) 19:30:43.48

>>167
hoge をインクルードしないところで hoge::fuga を使いたいということは
fuga は hoge にそれほど強く結びついていないということで、外に出すのが妥当なのでは？

外に置いたうえで hoge 内で using fuga = outer_fuga とでもすれば、見た目は損なわれないだろうし。

**デフォルトの名無しさん** · 2021/04/12(月) 19:43:07.58

>>168
名前に「ホゲで使うフガ」と名付けるのがいいですかね？
前方宣言で定義したクラスは不完全型みたいでクラス内クラスにアクセスする場合は別途定義が必要みたいです……
難しい感じですかね

**デフォルトの名無しさん** · 2021/04/12(月) 19:43:19.37

ありがとうございました

**デフォルトの名無しさん** · 2021/04/13(火) 19:17:47.93

std::sortがセーフソートかどうかって決まってないんですね？

**デフォルトの名無しさん** · 2021/04/13(火) 19:20:46.00

セーフソートとは何なのか、決まってないですね。

**デフォルトの名無しさん** · 2021/04/13(火) 19:49:36.98

安定ソートのことならstd::stable_sortを使え

**デフォルトの名無しさん** · 2021/04/13(火) 20:39:25.63

std::stable_sort<T>はどうしてもstd::sort<T>より遅い
からstd::stable_sort<T>で安定ソートするテクニックが存在するし需要がある

**デフォルトの名無しさん** · 2021/04/13(火) 20:57:29.81

もちろんタダでというわけにはいかずn個のTのソーティングに対しn個の整数型の配列が別途必要だがとにかくできる

**デフォルトの名無しさん** · 2021/04/13(火) 20:58:57.72

まつがえたorz
誤： std::stable_sort<T>
正： std::sort<T>

**デフォルトの名無しさん** · 2021/04/13(火) 21:07:31.95

計算量の仕様からすると何だかんだ言って
std::stable_sort<T>の中身はマージソートで、
std::sort<T>の中身はイントロソートとクイックセレクトとクイックソートの複合技
ぐらいしかありえない

**デフォルトの名無しさん** · 2021/04/13(火) 21:10:52.16

みなさんありがとうございます
安定ソートのことでした

**デフォルトの名無しさん** · 2021/04/14(水) 05:40:12.90

> std::stable_sort<T>の中身はマージソートで、

これはまあそんなもうだろうけど

> std::sort<T>の中身はイントロソートとクイックセレクトとクイックソートの複合技

なんでここまで限定するんだ？

**デフォルトの名無しさん** · 2021/04/14(水) 06:51:50.47

https://cpprefjp.github.io/reference/algorithm/sort.html
>C++11以降: O(N log N) (N == last - first) 計算量での比較
>クイックソートは平均計算量がO(N Log N)だが、最悪計算量がO(n^2)である。そのため、C++03の計算量要件には合致するが、C++11の要件には合致しない

**デフォルトの名無しさん** · 2021/04/14(水) 06:52:54.28

ubuntuでの開発環境って何があるんでしょうか？
openglなのでc++を使うことになると思うんですが、c++はideとしてvscodeでいいですよね
guiは何が一般的なんでしょうか？

**デフォルトの名無しさん** · 2021/04/14(水) 07:20:31.68

> この関数には、特定のアルゴリズムで実装すべきという規定はない

**デフォルトの名無しさん** · 2021/04/14(水) 07:23:57.67

古典的なソート議論はユニプロセッサ前提
今どきの並列化の流れに必ずしも当てはまるとは思えない

**デフォルトの名無しさん** · 2021/04/14(水) 07:27:25.07

boost::sort::pdqsort(), boost::sort::block_indirect_sort() あたりならヘッダーだけで並列ソートできる

**デフォルトの名無しさん** · 2021/04/14(水) 09:23:48.49

>>181
GUIなんか使わないのが一般的だよ
開発環境にわざわざC++とLinuxを選ぶような人は自分用アプリにGUIなんて組み込まないだろうし、
他人に使わせるならどうせWindowsでテストしなきゃいけないからLinuxなんて時間の無駄だ
OpenGLだったらOpenGLの描画結果を表示するウィンドウとターミナルでいい

**デフォルトの名無しさん** · 2021/04/14(水) 10:52:22.55

自分用アプリねえ
俺の定規ウインドウなんてGUIだけど

**デフォルトの名無しさん** · 2021/04/14(水) 11:09:58.93

定規ww

**デフォルトの名無しさん** · 2021/04/14(水) 12:59:06.52

>>185

qtですか？

**デフォルトの名無しさん** · 2021/04/14(水) 16:06:34.29

定規がとても気になる

**デフォルトの名無しさん** · 2021/04/14(水) 16:25:09.90

ぐぐったら沢山出てきた

頭が悪くて理解出来ないけど需要あるんだね

**デフォルトの名無しさん** · 2021/04/14(水) 17:07:15.14

unique_ptr<hoge> 自体が型名なんでしょうか？
class unique_ptr<hoge>で前方宣言してもいいのかな？

**デフォルトの名無しさん** · 2021/04/14(水) 18:15:29.38

明示的な具現のつもりなら構文が違うね

**デフォルトの名無しさん** · 2021/04/14(水) 18:22:49.87

素人なんで自分の説明が難あると思うんだけど自分なりに精一杯説明すると、
ヘッダー部の引数にclass unique-ptr<hoge>& uhogeを載せて、
ソース部にhoge.hをインクルードして定義する感じでつかいたんだけども……
試してみたけど動くんだけどなんか怖い
想像ではunique-ptr<class hoge>が前方宣言だと思ってたもので……
どこをどう調べればいいのかだけでも教えていただければ……

**はちみつ餃子** ◆8X2XSCHEME · 2021/04/14(水) 18:34:21.63

>>191
テンプレートのインスタンス化は暗黙にやってくれるので基本的にはする必要がない。
どうしても宣言したいのなら
extern class unique_ptr<hoge>;
と書くことは可能。

ただし、このように宣言した場合には暗黙のインスタンス化は抑制されるので、
別の場所で明示的インスタンス化をしておく必要がある。

テンプレートの展開はその仕組み上、各翻訳単位ごとにやった上でリンク時に統合されるというクソみたいなことになってるので、
コンパイル時間を抑制したいなどの理由でこういった変なことになってる。

**デフォルトの名無しさん** · 2021/04/14(水) 18:51:48.53

ユニークポインタ自体の大きさが、ポインタだから4バイトくらいに統一されているのかな？
型テンプレートがどんな型でも、定義部分で明示してあればポインタ長のメモリをアロケートされているから、宣言自体はある程度の許容範囲があるということなのかな？
理解が違ってたらすいません

**デフォルトの名無しさん** · 2021/04/14(水) 19:01:58.75

>>191
1行目yes
2行目はその場合クラステンプレートの明示的実体化になる

前方宣言の場合は
template <class T, class D>
class unique_ptr;
(もちろん名前空間std内
テンプレートは引数与えられてない限りあくまでテンプレートであってコードは生成されないよ

>>194
え、明示的インスタンス化しておけばコンパイル時間抑制できるの？

**デフォルトの名無しさん** · 2021/04/14(水) 19:39:51.01

前方宣言というのはあくまで「こういう名前のこういう奴が（どっかに）いますよ」って言ってるだけ
実体がどんなサイズでどんな値やメンバやなんやかんやを持ってるかとかには関知しない

**はちみつ餃子** ◆8X2XSCHEME · 2021/04/14(水) 21:35:38.45

>>196
> 明示的インスタンス化しておけばコンパイル時間抑制できるの？

ちがうちがう。
extern のほう (宣言) が暗黙のインスタンス化を抑制するからコンパイル時間が短縮されることが期待できる。
でも、インスタンス化を抑制するんだからどこか別の翻訳単位に実体が存在する必要はあって、
それに明示的インスタンス化を使えるようになってるって話。

**デフォルトの名無しさん** · 2021/04/14(水) 22:23:18.21

あーなるほどね、thx

**デフォルトの名無しさん** · 2021/04/14(水) 22:43:29.65

今時コンパイル時間を稼ぐとかどうなの