C++相談室 part158

**デフォルトの名無しさん** · 2021/11/15(月) 18:49:18.44

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

**デフォルトの名無しさん** · 2021/12/10(金) 22:05:57.88

>>326
もとはといえオメェが勘違いしたからだろこのヒトモドキが

**デフォルトの名無しさん** · 2021/12/10(金) 22:09:42.92

>>327
再現コードをどこかに貼って。伝わらない。
>>328
煽ってるだけじゃんｗだから会話にならないんだよｗ

**デフォルトの名無しさん** · 2021/12/10(金) 22:20:49.71

>>322
普通事前に弾くとかドヤ顔で言われてもそんなの200も承知の助なんだよ
ああいう不測な組み方で死にかねない爆弾抱えるデメリットに比べたら
unsignedなことによるメリットなんて実質ほぼないカスみたいなもんだからsizeがunsignedなのは設計ミスではって話

**デフォルトの名無しさん** · 2021/12/10(金) 22:23:19.44

申し訳ございません( ✌︎'ω')✌︎
遅れましたがこれです。
プッシュバックでエラーががが

struct Toge{
int a=0;
};
struct hoge {
std::unique_ptr<toge> toge1;
};

int main ()
{
std::vector<hoge> vHoge;
hoge hoge001;
vHoge.push_back(hoge001);
}

**デフォルトの名無しさん** · 2021/12/10(金) 22:24:50.14

大文字になってしまった……
struct Toge >>> struct toge
と思っていただければ……

**デフォルトの名無しさん** · 2021/12/10(金) 22:34:31.10

vHoge.push_back(std::move(hoge001));

**デフォルトの名無しさん** · 2021/12/10(金) 22:36:13.76

vectorに突っ込んだらもうhoge001は使わないんだったらvHoge.push_back(std::move(hoge001));

コピーさせたいならhogeにこんなコピコンとコピop=を定義しとけばいい
hoge(const hoge& other) : toge1(new toge(*other.toge1)){}
基本はmoveだけど時々コピーもしたいくらいなら特殊関数じゃなくてclone()みたいな関数にしておく
どれがいいかは本当の用途と目的で選んで

**デフォルトの名無しさん** · 2021/12/10(金) 22:37:31.61

>>332
コンパイルエラーを直してください
https://ideone.com/RxQYii

>>330
承知してるなら弾け
今回の用件はsize_type使えばいいだけなのでunsignedかどうかは関係ない

**はちみつ餃子** ◆8X2XSCHEME · 2021/12/10(金) 22:52:51.98

>>327
> hogeのコピーコンストラクタにmemcpyを使う等の解

これについてはダメ。
設計上の話ではなく言語仕様での保証がない。
そんなのがまかり通ったらスマートポインタの意味がない。

型が trivially copyable の要件を満たすときだけ memcpy でのコピーが許されている。

**デフォルトの名無しさん** · 2021/12/10(金) 23:02:05.91

>>335
オメェが直して差し上げろよ
本人それで困ってんだからよ

**デフォルトの名無しさん** · 2021/12/10(金) 23:18:01.33

>>337
なんだか煽ってばかりですね。質問内容は明快にしないといけないので。

**デフォルトの名無しさん** · 2021/12/10(金) 23:22:36.91

ああ言えば上裕
オメェそっくり

**デフォルトの名無しさん** · 2021/12/10(金) 23:40:14.88

>>335
いや関係大ありだから
ないって言い張るならsizeがunsignedなメリット挙げてみなよ、ないでしょ

**デフォルトの名無しさん** · 2021/12/10(金) 23:41:07.01

>>333
>>334
お風呂に入っており返信が遅くなりました。
なんてお礼を言ったらいいか、std::moveで解決しました。
自分の知識不足ではありますが、素早い返信に感謝でございます(〃ω〃)
生成したユニークポインタはベクターに移せれば使い捨てのでムーブで良さそうです。
std::moveについて調べてみます！

>>336
ありがとうございます。
メモコピーで解決するというページがあったのですが、正直機序がわからず不安でした（笑）
シェアードポインタかムーブで対応したいと思います。
有難うございました。

**デフォルトの名無しさん** · 2021/12/10(金) 23:49:32.55

>>308
普通は範囲forじゃないの？
性能とかで差分あったっけ。

**デフォルトの名無しさん** · 2021/12/10(金) 23:57:06.57

>>340
関係ないでしょｗ vectorの要素指定に必要な型はsize_typeだからｗ

**デフォルトの名無しさん** · 2021/12/11(土) 00:02:57.69

>>343
ふ～ん、で？
sizeがunsignedなメリット挙げれるの？挙げれないの？

**デフォルトの名無しさん** · 2021/12/11(土) 00:09:02.31

>>344
同じ人かなｗ最初から最後まで関係ないとしか言ってないよｗ関係ない話をする意味はないｗ

**デフォルトの名無しさん** · 2021/12/11(土) 00:11:05.65

はい逃げたねお疲れさまー
てかまあこんな頭の固いジジイ追い詰めなくても
>>319-320あたりで結論出てるからもういいんだけどね
sizeも漏れなく頭の固いクソジジイが設計ミスしたんだろうなぁ
間違いを認められるだけコイツよりまだマシだけど

**デフォルトの名無しさん** · 2021/12/11(土) 00:13:11.51

わいも寝るんで逃げさせてもらうわ、ほな

**デフォルトの名無しさん** · 2021/12/11(土) 00:13:27.97

>>346
煽るだけで根拠も出せてない無関係な話をしてるのはそっちでしょｗ話が終わらなくなるなら普通はしないｗ
頭が硬いのは君だよｗ

**デフォルトの名無しさん** · 2021/12/11(土) 02:16:25.58

>>341
もう見てないだろうけど、>>331のケースだと
わざわざstd::move()で右辺値にキャストしなくても
vHoge.push_back(hoge());
で良いと思う。
hoge hoge001;とするから左辺値になってしまってstd::move()が必要になるけど、
引数で直接hoge()とすれば右辺値だからstd::move()しなくても右辺値参照のpush_backが呼ばれるはず。

**デフォルトの名無しさん** · 2021/12/11(土) 03:09:07.14

emplace_backっていつ使うんだっけ？

**デフォルトの名無しさん** · 2021/12/11(土) 03:48:00.02

>>350
今でしょ･･･
>>349なんてしなくても
vHoge.emplace_back();
で良い話だった。

**デフォルトの名無しさん** · 2021/12/11(土) 08:31:56.16

>>349
ありがとうございます！
エンプレイスバックでも確認できました。

本当に根本がわかってなかったにでお恥ずかしい話ですが、ユニークポインタはmove出来ることは知っていても、インスタンスごとmoveするという考えに至りませんでした。
右辺値の言葉だけは知っていた状態です……
moveが引数の領域を右辺値に変換するので、インスタンスのメンバ全てが一時的に右辺地に変換され、その結果ユニークポインタの移動も許可されるという考えで良いのですかね？

皆様ありがとうございます

**デフォルトの名無しさん** · 2021/12/11(土) 08:39:15.08

gccのヘッダファイル見るとpush_backがemplace_backに置き換えられてた

**デフォルトの名無しさん** · 2021/12/11(土) 11:16:33.01

質問する方はそもそも何を知りたいのか、どうしたいのかを明確にせず
回答する方はよく分からずに回答してる感じだな(はちみつ餃子以外)

**デフォルトの名無しさん** · 2021/12/11(土) 11:28:49.13

本人じゃないとありえんようなクソレス

**デフォルトの名無しさん** · 2021/12/11(土) 11:33:31.35

俺ははちみつ餃子じゃないよ
分かってる人は全員そう思うと思う
このスレやばい

**デフォルトの名無しさん** · 2021/12/11(土) 11:40:28.86

>>354
おまえさんの対話力が、ここの平均以下ってことだな
僅かなエスパーもできないアスペっぽいやつが
取り残されるのは仕方のないことだ

**デフォルトの名無しさん** · 2021/12/11(土) 11:41:55.96

ここをサポセンか何かと勘違いしてね？

**デフォルトの名無しさん** · 2021/12/11(土) 11:43:35.03

上司や客に言われたことを自分も誰かに言いたいのかな

**デフォルトの名無しさん** · 2021/12/11(土) 11:53:10.78

>>357-359
3連投しないで1つにまとめてね

伝わらない人がいるのでハッキリ言うと、、、
質問したい人はもう少し明確に質問してほしい
回答する人はもう少し正確な回答をしてほしい

現在このスレのレベルはかなり落ちている

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

>>360
あんたに連投がどうのと指図される筋合いはないし
質問者がどうして欲しい
回答者がどうして欲しい
と、やたら依頼心の強いやつだな

頼み事をする態度を知らんのか

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

僕だけは特別！

**デフォルトの名無しさん** · 2021/12/11(土) 12:08:44.64

>>361-362
見るに堪えないだけだよ。当たり前のことを要求してるだけだし、ID変えてまで一体何が気に障るのやら・・・

**デフォルトの名無しさん** · 2021/12/11(土) 12:14:57.20

簡単なコードが提示できないんだけどコンセプトで以下のようなエラーがでる

> C7608: アトミック制約は定数式である必要があります。

アトミック制約ってなに？

**デフォルトの名無しさん** · 2021/12/11(土) 12:19:25.86

１つの内容を理由もなく複数のレスに分けて投稿する奴はもれなくバカなのでスルー推奨

**デフォルトの名無しさん** · 2021/12/11(土) 12:23:49.93

>>364
C++20はまだやる気ないので知らないけど、仕様は以下みたい。参考まで。
https://timsong-cpp.github.io/cppwp/n4861/temp.constr.constr#temp.constr.atomic

**デフォルトの名無しさん** · 2021/12/11(土) 13:18:37.47

多分atomic は、OS に割り込まれない、interrupt disable みたいな奴だろ。
割り込み禁止区間

1. 割り込み禁止
2. atomic に処理したいもの
3. 割り込み許可

**デフォルトの名無しさん** · 2021/12/11(土) 13:41:40.82

>>367
それはリアルモードOSでの話
最近の OS ではユーザーが OS の企みを阻止することは不可能

**デフォルトの名無しさん** · 2021/12/11(土) 13:49:58.55

無関係でスレ違いかつ「内容まで間違った」ことを垂れ流し続けるのはやめてくれ

**デフォルトの名無しさん** · 2021/12/11(土) 15:00:10.16

一般にアトミックと割り込み禁止は異なる概念、
マルチコアのアーキテクチャーなら割り込みを禁止したからといって
複数回のバスサイクルをアトミックに遂行できるとは限らない

つなみに割り込み禁止という手段でOSに割り込まれないことは実現はできるが
強力すぎるので普通はそれはしない
やったらリアルタイムOSならリアルタイム性の前提が根底から覆るし、
非リアルタイムOSでも割り込み禁止したタスクAとは本来無関係（独立に実行して良い）なタスクまで
プリエンプション停止によって止まってしまう弊害があるから

**デフォルトの名無しさん** · 2021/12/11(土) 15:12:24.61

リードモディファイライトぐらいなら今日日のCPUが命令を備えているのでOSにも対応するAPIがあり、
それを実行したらリード、ライト、リードの3バスサイクルがアトミックに実行される
もっと凝った処理をアトミックにしたい場合は

1. クリティカルセクション（セマフォとかでも良い）にENTER
2. atomic に処理したいもの
3. クリティカルセクション（セマフォとかでも良い）からLEAVE

となり、1と3はやはりOSにお世話いただく

**デフォルトの名無しさん** · 2021/12/11(土) 15:16:22.95

>>363
出た、当たり前のことを要求だとよ
自分の要求は通って当たり前と思っている真性のやつｗ

**デフォルトの名無しさん** · 2021/12/11(土) 15:18:53.32

>>371
クリティカルセクションとイベントを使って書いていたことがありましたが、スタベーションに悩まされて止めてしまいました…

**デフォルトの名無しさん** · 2021/12/11(土) 15:26:46.48

>>373
なんでatomicに処理するごときでイベントが出てくるのかわからん……
1で待っているタスクBが居るなら、アトミックな処理を終えたタスクAが3を実行した時点で
OSがタスクBに自動的に通知する（ていうか起こす
不必要に凝りまくった（そして間違った）排他制御をしているのではないか、

**デフォルトの名無しさん** · 2021/12/11(土) 16:00:21.52

セマフォでも大丈夫なん？

**デフォルトの名無しさん** · 2021/12/11(土) 16:48:16.25

U6KjSVaUだけまともだけど、CriticalSectionが同期機構として存在するのはWindowsだけ
アトミック制約と無関係でC++固有でもないのでスレ違いなのは同じだけど…その辺の話をするならせめて↓でしてくれ

標準C++で単にatomicな話なら
https://cpprefjp.github.io/reference.html#atomic-operations
標準C++でスレッドを対象とした話なら
https://cpprefjp.github.io/reference.html#thread-support
プロセスまで含むならboostになるけど
https://www.boost.org/doc/libs/1_78_0/doc/html/interprocess.html

**デフォルトの名無しさん** · 2021/12/11(土) 17:02:39.01

>>376
迷惑なんでコテハンにしていただけません？

**デフォルトの名無しさん** · 2021/12/11(土) 17:06:37.77

何が迷惑なのか理由の説明がないが、コテハン付けたいならお前だけ勝手につけとけｗ

**デフォルトの名無しさん** · 2021/12/11(土) 17:13:56.24

template <typename T, typename Allocator = std::allocator<T>>
using vec = std::vector<T, Allocator>;

auto v = vec(0, 0);

ってgccだと動いてclangだとコンパイル通らないけどclangのバグ？

**デフォルトの名無しさん** · 2021/12/11(土) 17:17:46.16

勘違いしてた
セマフォでも一人に限定すれば問題ないか

**デフォルトの名無しさん** · 2021/12/11(土) 17:36:33.78

そもそもそもそも

アトミック制約って原子制約のことでしょう
排他制御のatomicとは全く無関係に

単にconstexprじゃないbool値をrequiresしてませんか？

**はちみつ餃子** ◆8X2XSCHEME · 2021/12/11(土) 17:38:45.13

>>379
バグというか C++20 対応が不十分なんだと思う。

① 元々は実引数から型引数にあてはまる型を推論するのは関数テンプレート (メンバ関数テンプレートを含む) でしか出来なかった
② C++17 コンストラクタの実引数からクラスの型引数を推論できるようになった
③ C++20 からエイリアステンプレートを挟んでも推論できるようになった ← これがまだ出来ない

**デフォルトの名無しさん** · 2021/12/11(土) 18:22:11.20

>>381
たしかにこれの最初のサンプルのdraw関数みたいな事をrequiresしてる。
https://cpprefjp.github.io/lang/cpp20/concepts.html
ただ上で言うdraw関数はconstexprなんだけどな・・・

**デフォルトの名無しさん** · 2021/12/11(土) 20:57:07.56

>>382
わかりやすかったありがとう
まだmake_hogeみたいな不格好なヘルパ関数が役に立つこともあるのね

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

NFTアートとNFTゲームとGameFiとブロックチェーンゲームに
提供する側・作る側として参入しよう。
（むりなら参加する側でもいい）
DAOとPlay-to-Earn(遊んで稼ぐ)が世界の未来になる

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

C＃で作成されたDLLってC++で呼び出せないんでしたっけ？

**デフォルトの名無しさん** · 2021/12/12(日) 10:05:57.23

>>386
やってみれば？何をしてみたの？

**デフォルトの名無しさん** · 2021/12/12(日) 12:59:03.03

>>386
c++cliのラッパdllを挟んでc#dllを呼ぶとかc#dllをcom参照可能にするとか.NET DLLExportを使うとかあるよ

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

>>388
そういうのはできるかどうかを含め、どういう環境で何を対象に何をしたいのかによる。
そんなことすら書いてない人にいきなりキーワードをあげる必要はないよ。

**デフォルトの名無しさん** · 2021/12/12(日) 13:10:20.08

べつにキーワードくらいいいじゃん

**デフォルトの名無しさん** · 2021/12/12(日) 13:17:19.51

技術に関しては不正確な情報を垂れ流すことほどの害悪はない

**デフォルトの名無しさん** · 2021/12/12(日) 14:51:29.97

めんどくさい奴だなw

**デフォルトの名無しさん** · 2021/12/12(日) 14:55:11.15

悪意を持って嘘をつくのはいかんが
信じていたことが後に間違っていたことに気付くことはあり
それへの虞を言い訳に何もしないやつと
自らの誤りに気付いたときに潔くないやつは生ゴミだ

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

そもそも>>391の言う不正確な情報ってなんだ？

**デフォルトの名無しさん** · 2021/12/12(日) 16:31:47.95

>>394
Linux環境ではC#のCOM相互運用できないとか、かなあ？

**デフォルトの名無しさん** · 2021/12/12(日) 16:41:36.70

>>387
君は役に立たんなｗ

>>388
ありがとう
やっぱそういう方法になるんだね

**デフォルトの名無しさん** · 2021/12/12(日) 16:45:20.02

>>394
今回の話で言えば条件によっては動かないのにさも動くかのようにミスリードする情報
相手の勘違いを指摘する機会がないことにより、結果的に回答にならない情報

**デフォルトの名無しさん** · 2021/12/12(日) 17:00:15.53

>>395,397
ありとあらゆる環境で動く回答しか認めないとかアスペ全開やなw

**デフォルトの名無しさん** · 2021/12/12(日) 17:05:43.60

>>398
普通ですよ。環境はおろか困っている状況すら何も書いてないのだから。普通に釣りの気配しかありません。

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

あと加えて言うならば、一般に・・・という話なのですが、
runtimeでVMを動かすような言語の場合、あまりnative側からキックするような使い方をしません
組み込みなど、そうせざるを得ない特殊な状況のときくらいですね

**デフォルトの名無しさん** · 2021/12/12(日) 17:18:23.27

んで根掘り葉掘り聞くだけ聞いて結局回答しないパターン、ってのはよく見るな。

**デフォルトの名無しさん** · 2021/12/12(日) 17:26:07.41

>>401
それは分かりもしないのに回答しようとしたケースですね
全条件想定しないで回答しようとするとそうなります

**デフォルトの名無しさん** · 2021/12/12(日) 17:29:25.52

もちろん聞いたことに答えがない場合も回答する機会は来ませんけどｗ

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

浮動小数点の0.0以外の真偽値って規定されてるんですか？
2.0 == trueが偽になるのにif(2.0)は真のように振舞うのでよく分からなくなりました

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

それはtrueが1に変換されて比較してるのでは

**デフォルトの名無しさん** · 2021/12/12(日) 21:13:32.32

0は偽でそれ以外は真
if(5) も if(10) も 0 以外だから真
5も10も真だが 5 == 10 は当然等しくないため偽になる

**デフォルトの名無しさん** · 2021/12/12(日) 21:34:12.15

>>404
>>405が正解
暗黙変換には一定のルールがあってそれに従って変換するとそうなる

2.0 == true
-> 2.0 == 1
-> 2.0 == 1.0
-> false

if (2.0)
-> if (2.0 != 0)
-> if (true)

https://en.cppreference.com/w/cpp/language/implicit_conversion
https://en.cppreference.com/w/cpp/language/operator_comparison

**デフォルトの名無しさん** · 2021/12/12(日) 21:36:42.12

if (2.0 != 0)はあんまり正確じゃないけどねｗ

**デフォルトの名無しさん** · 2021/12/12(日) 21:40:50.69

当然ながらbool(2.0) == trueとすれば真になるよ

**デフォルトの名無しさん** · 2021/12/13(月) 21:50:35.10

bool(2.0) == true
2.0 == double(true)
で曖昧にならない
こういうのoperatorとctorでは作れないもんかね

**デフォルトの名無しさん** · 2021/12/13(月) 21:58:10.81

>2.0 == double(true)

え？

**デフォルトの名無しさん** · 2021/12/13(月) 22:07:54.75

最近本当に質問者も回答者も酷いな・・・日本語からやばい
>>410
何が曖昧だと言っていて、こういうのってどういうのなんでしょ？
>>411
え？じゃ何も伝わらない

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

そういうのを求めるなら上級者の相談室でも作ってそこにいればいいじゃない
人のやり取り見て文句いうだけの人なんて居ても邪魔なだけだし

**デフォルトの名無しさん** · 2021/12/13(月) 22:54:20.23

そんな難しい要求してないんだけどｗ
一応↓なスレッドもありますよ

0からの、超初心者C++相談室
https://mevius.5ch.net/test/read.cgi/tech/1542002113/

**デフォルトの名無しさん** · 2021/12/13(月) 23:35:59.51

何も言ってないやつとじゃ話にならん
マウント取ったつもりになってろよアホ

**デフォルトの名無しさん** · 2021/12/14(火) 01:10:13.82

ID:XiOitZFG
またコイツ自分賢いと思ってる例のガイジか

**デフォルトの名無しさん** · 2021/12/14(火) 01:43:40.68

天に唾するクンじゃないよね？

**デフォルトの名無しさん** · 2021/12/14(火) 04:27:52.83

std::array<std::array<int, 2>, 2> a{1, 2, 3, 4};
だとコンパイルできて
std::array<std::array<int, 2>, 2> a{{1, 2}, {3, 4}};
だとコンパイルできないのってなんでですか？
下は内側の初期化子リストの型推論が上手くいかない気はするのですが上がOKな理由が全然分かりません

**デフォルトの名無しさん** · 2021/12/14(火) 09:36:15.02

arrayは設計悪いね
string_viewみたいなラッパーのほうがマシ

**デフォルトの名無しさん** · 2021/12/14(火) 13:08:07.96

arrayはそんなに設計の余地ないし別によくね
ラッパークラスは役割が別だし比較する意味がわからん

**デフォルトの名無しさん** · 2021/12/14(火) 13:45:14.16

>>418
こうすればいけるね
波括弧が一つ余計に必要なのがなあ

std::array<std::array<int, 2>, 2> a{{{1, 2}, {3, 4}}};

**デフォルトの名無しさん** · 2021/12/14(火) 15:27:55.81

>>418
>>420,421 の見解が適切
構造上は以下と等価
struct S1 { struct S2 { int e[2]; } s[2]; };
なので、中括弧を丁寧に書くと↓が正しい
S1 s{{{{1,2},{{3,4}}}};
質問でエラーになったケースは、上の例でメンバsを{1,2}で初期化しようとしため、{3,4}が余ってエラーになる。

https://en.cppreference.com/w/cpp/language/aggregate_initialization

**デフォルトの名無しさん** · 2021/12/14(火) 19:16:16.31

>>421
>>422
ありがとうございます
配列をメンバに持ってるので本来は波括弧が二重に必要になるんですね
今までは1次元でなんとなく配列と同様で動いていたので省略しているという認識がありませんでした

**デフォルトの名無しさん** · 2021/12/14(火) 20:13:02.90

a{{1, 2}, {3, 4}}で初期化できるようにしようぜっていう提案もあったけど
初期化ルールがますますカオスになるので却下された

**デフォルトの名無しさん** · 2021/12/16(木) 18:55:44.40

テンプレートで関数の引数を書く方法がわからないんですが

sort(V.begin(), V.end(), ラムダ式)

を自作するにはどうやればいいんでしょうか

**デフォルトの名無しさん** · 2021/12/16(木) 18:59:42.63

まず日本語から勉強してください
「テンプレートで関数の引数を書く方法」と「sort(V.begin(), V.end(), ラムダ式)を自作」には何の関連もありません

**デフォルトの名無しさん** · 2021/12/16(木) 18:59:43.14

まず日本語から勉強してください
「テンプレートで関数の引数を書く方法」と「sort(V.begin(), V.end(), ラムダ式)を自作」には何の関連もありません