[過去ログ] C++相談室 part165 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
422(1): はちみつ餃子◆8X2XSCHEME (ワッチョイ 4d32-7Uxd) 2024/08/25(日)01:15 ID:zZ+WMAII0(1) AAS
>>414
テンプレート型引数に require 節などで制約を付けた場合に制約に合致しなければオーバーロード解決候補から除外されるが、 static_assert や if constexpr での判定は解決が終わってテンプレートが実体化されるときに判定される。
つまり、より優先順位の低い候補に当てはめたいかもしれない場合は static_assert や if constexpr での判定をすべきではない。
状況によって使い分けがある。
それと >>418 が注意しているのは、テンプレートはテンプレート引数に依存しない部分は実体化されなくても検証されるルールだから。
(Two phase name lookup について調べてみて。)
つまり static_assert(false, ほにゃらら) と書いてあったらそのテンプレートが使われるかどうかに関係なく問答無用でエラーとして報告されていた。
省2
423: (ワッチョイ 0278-RCJX) 2024/08/25(日)01:34 ID:GxcwnqZY0(1) AAS
まあ、そんな小難しいこと言われても。C++が嫌われる理由だわ
424: (ワッチョイ 02f0-HfY5) 2024/08/25(日)02:05 ID:LfSHCV3h0(2/2) AAS
実体化ってどっちみちコンパイルするときにエラー発生するんだから結果かわらねぇだろバカがよう
425: (ワッチョイ c5a7-8JDH) 2024/08/25(日)06:41 ID:n8ainESh0(1) AAS
static_assert(false, "")は何かしらダミーの値入れて回避してたけど修正されてたんだ、知らんかった
426: (ワッチョイ 02f0-HfY5) 2024/08/26(月)00:27 ID:JWWBXqLI0(1) AAS
false効かないバカコンパイラはどうしようもないからどうにもならんか
//requires を使った方法
template<class T, class U>
requires(!(std::is_same_v<double,T>&&std::is_same_v<complex<TU>))
void f(T& x, const U& y)
{
x=y;
省2
427: (ワッチョイ 2963-G6Q9) 2024/08/27(火)07:16 ID:NdPbjHCm0(1/2) AAS
特定の引数型についてテンプレート展開を阻止したいんなら
特殊化してその中にstatic_assert(false, "*** ERR ***")書いても昔は駄目だったんか恐ろしい……
428: (ワッチョイ 2963-G6Q9) 2024/08/27(火)07:35 ID:NdPbjHCm0(2/2) AAS
しかしまあ特殊化してテンプレート引数の型Tについて
態と存在しないメソッドを呼ぶように書いたらその特殊化ケースについて展開を阻止できうる(適当
クラス内でint型定数が欲しかったら古き良き enum { ONE, TWO, THREE } で十分やし
同じことをやる手段を増やせば良いってもんじゃないぞPerlじゃあるまいし……
429: (アウアウエー Sa0a-PBPb) 2024/08/27(火)14:55 ID:oHcafaf7a(1) AAS
perlの面白仕様
430: (ワッチョイ c5f3-8JDH) 2024/08/27(火)17:14 ID:K2iTXH930(1) AAS
まぁ普通にSFINAEなり=delete指定なりコンセプトなりでオーバーロード候補から外す方が利用者視点でいえば自然だな
431(1): (ワッチョイ 0278-RCJX) 2024/08/27(火)17:33 ID:K7dNHCWQ0(1) AAS
#include <iostream>
#include <complex>
template <class T> decltype(auto) f(T x)
{
decltype(abs(std::declval<T>())) w;
w=abs(x);
return w;
省12
432: はちみつ餃子◆8X2XSCHEME (ワッチョイ 4d32-7Uxd) 2024/08/27(火)18:27 ID:WfqXHPCU0(1) AAS
>>431
sizeof や decltype のオペランドは評価されないということになってる。
だからその文脈で関数を使う場合でもその関数が定義されている必要はない。 (宣言だけあればよい。)
評価されないけど実体化は起こるのでそのへんの理屈は複雑でよくわからん。
433: ころころ (ワッチョイ 0202-3rb6) 2024/08/30(金)02:40 ID:qLymVnYK0(1) AAS
decval使ったコード始めてみたかも
434: (ワッチョイ 0220-Fpn2) 2024/08/30(金)05:15 ID:ZIPlhev80(1) AAS
相互参照わっかんねぇ
435(2): (ワッチョイ 5f2f-+rLF) 2024/09/02(月)12:36 ID:bqeYsc0k0(1) AAS
相互参照は必要ない
最近はウェブプログラマのほうが賢くなった
すそ野が広がると質が良くなるらしい
436(1): (ワッチョイ bf0a-5+wm) 2024/09/02(月)13:00 ID:Rco2Fp/20(1) AAS
必要ない理由ぐらい言ったら?
437: はちみつ餃子◆8X2XSCHEME (ワッチョイ e732-CMA8) 2024/09/02(月)14:42 ID:o+5p2SR60(1) AAS
プログラムの文法要素が相互参照になっている状況という意味?
たとえば前方宣言が必要な場合とか。
それとも (実行時の) データ構造が相互参照ということ?
たとえば循環構造の後始末のやり方がわからんとか。
438: (ワッチョイ 0701-+rOo) 2024/09/02(月)19:52 ID:cn5uZ01w0(1) AAS
>>435
その「相互参照」って何?
439(1): (アウアウエー Sa1f-XN8b) 2024/09/05(木)00:06 ID:/oUqYYg3a(1) AAS
相互参照も自己参照も一緒
自己参照なんて参照してるのは自己ではない
ホントの意味での自己参照は循環参照
440(2): (ワッチョイ 5f00-+rLF) 2024/09/05(木)18:17 ID:xTcyjaky0(1) AAS
shared_ptrを使いたくなったら設計を見直すべき
441: (ワッチョイ 277f-jESi) 2024/09/06(金)07:27 ID:Qb4sTpDj0(1) AAS
>>440
それは無理があるんじゃないのかね。
データ共有とかインターフェイス共有とか本質的に所有者が複数存在するオブジェクトはsharedptr使うべきかと。
設計ではモジュール間の疎結合・インターフェイスの汎用化を重視すべきで、そのためにはデータの共有方法が重要になる。
442(4): (ブーイモ MM7f-5+wm) 2024/09/06(金)11:54 ID:onD85wsiM(1) AAS
>>440
マルチスレッドセーフ考えたら使わざるを得ない場合は多々ある
言ってる意味がわからないならお前は経験不足
443: (ワッチョイ e7df-UdSI) 2024/09/06(金)22:35 ID:0hxwMUxG0(1) AAS
recurcive_mutexが欲しくなったら設計を見直したい、なら分かる気もする
444(1): (ワッチョイ 0753-60ma) 2024/09/07(土)11:45 ID:Zy1zUumM0(1) AAS
C++11あたりから「生ポは使うな」みたいな極論で分かった気になってる思い上がった初心者が増えたからなぁ
445(1): (ワッチョイ bfac-jESi) 2024/09/07(土)11:58 ID:UFsx2JaR0(1) AAS
>>444
生ポ使うよりかスマートポインタの参照を使った方がマシだったりするからなぁ。スマートポインタがスタックフレームにあるなら安全だし。
スタック変数専用仮引数とかあればもっと安全になるのになぁ。
仮引数の種類はもっとあっていいと思う。
446: (ワッチョイ 27ea-60ma) 2024/09/07(土)16:26 ID:lSV8lU690(1/2) AAS
>>445
考え方にもよるだろうけど、確保も解放も所有もしない関数でスマポ受け取る必要あるか?
特定の用途で管理されている特定のポインタしか許容しない、という意図ならスマポの参照でもいいだろうけど、汎用性は無いよね
生ポ受け取る場合暗黙のキャストも効かないし
447(2): (ワッチョイ 8763-0xUn) 2024/09/07(土)20:17 ID:Ci+xhqlU0(1/2) AAS
>>442
むしろshared_ptr<T>でスレッド間共有オブジェクトを保持するのは
生ポに対するshared_ptr<T>のメリットが無い……
可能な限りスレッド間共有なんてことはやめてconstオブジェクトのコピーにするのが正義……
>>439
自己参照ではないが前方宣言が必須の例、
class TreeNode;
省8
448: (ワッチョイ 8763-0xUn) 2024/09/07(土)20:21 ID:Ci+xhqlU0(2/2) AAS
んまー前方宣言が必須というのは言い杉やったかもしれんorz
TreeNodeみたいなクラスはノード毎にヒープを確保するなんてことはやめて専用のアロケーターを設けて
専用の領域をまとめて確保して、
木全体がいらなくなったら木をトラバースすることなく一気に解放するのが本当やが
その場合m_pLeftやm_pRightにあたるのはポインタではなくて専用の領域(配列)のindexとかにすれば
前方宣言は不要、
449: (ワッチョイ 27ea-60ma) 2024/09/07(土)21:38 ID:lSV8lU690(2/2) AAS
>>442
使わざるを得ないは言い過ぎじゃね
同期取るのにshared_ptrのアトミック保証に依存するしか方法が無いの?
競技プログラマか何かか?
450: (ワッチョイ 069a-KwgP) 2024/09/08(日)00:33 ID:vgBqrjWA0(1) AAS
shared_ptrの内部的な参照カウンタとかはともかく
保持しているオブジェクト自体はアトミックでもなんでもないでしょ
ってなんか勘違いしてる?
451: (ワッチョイ 91ea-IbtD) 2024/09/08(日)01:27 ID:6Lpw1aoe0(1) AAS
持ってるポインタの指す先のオブジェクトがアトミックになるとか言ってると思ってんの?アホかw
452: (ワッチョイ b501-I4rH) 2024/09/08(日)01:32 ID:TMvzCbR60(1) AAS
そこでRustですよ!
453: (ワッチョイ eaf0-8qrK) 2024/09/08(日)12:52 ID:Lw7YNDXG0(1) AAS
でたw
布教マソw
454: (ブーイモ MM0a-bJfQ) 2024/09/10(火)11:29 ID:v6KS9t6sM(1) AAS
>>447
お前の理解はshared_ptrの一面だけだな
ようするにunique_ptrの延長でしか見てない
shared_ptrがどうしても欲しくなるのは
オブジェクトのリリースタイミングが非決定的であるとき
これは一般的にマルチスレッド環境
お前のTreeNodeの例はそれこそ生ポで実装しても対して苦労しないが
省2
455: (アウアウエー Sa52-t/33) 2024/09/10(火)13:20 ID:KGjTz1X0a(1) AAS
x 対して
456: (ワッチョイ 8a48-/VPw) 2024/09/10(火)15:36 ID:+l9ylb2n0(1/2) AAS
それで自己参照ってのは結局何のことを指して言っていたんだい
457: (ワッチョイ 8a48-/VPw) 2024/09/10(火)15:39 ID:+l9ylb2n0(2/2) AAS
あ、相互参照が先か
>>435>>436の言うところの
458: (ワッチョイ 1ede-2PHd) 2024/09/11(水)12:14 ID:n6/LwjNL0(1/3) AAS
(*this)
↑
自己参照
459: (ワッチョイ 1ede-2PHd) 2024/09/11(水)12:19 ID:n6/LwjNL0(2/3) AAS
木のノードはstd::vector<>で確保する
と言われて、だよねってなる人はnewもほとんど必要ない
460: (ワッチョイ 1ede-2PHd) 2024/09/11(水)12:22 ID:n6/LwjNL0(3/3) AAS
木の巡回は、巡回方向別にアダプタとしてイテレータを用意することが出来る
良くある行きがかり順のイテレータはスタックを使って作る
461: (ブーイモ MM45-bJfQ) 2024/09/11(水)15:12 ID:1n/VD1trM(1) AAS
でvectorの拡張で破綻すんだろ?
462: (アウアウエー Sa52-t/33) 2024/09/13(金)16:29 ID:bblj+c3pa(1) AAS
move禁止
463: (ワッチョイ 5ef4-bJfQ) 2024/09/13(金)19:59 ID:2C9M8qgO0(1) AAS
move禁止したらvector使えないし
464: (アウアウエー Sadf-N1Zj) 2024/09/17(火)12:59 ID:TMGdiCOOa(1) AAS
それならオブジェクトを保持するためのオブジェクトと
moveためだけのインデックスを分けるかな
465: (ワッチョイ bf84-GITO) 2024/09/17(火)16:24 ID:DN+X/Cyr0(1) AAS
何がしたい
あほでしょ
466(1): 447 (ワッチョイ d763-HdVQ) 2024/09/21(土)20:05 ID:FUSKAHoo0(1/3) AAS
何やら集中砲火を浴びている>>442 やが
マルチスレッド状況でshared_ptr<T>を超有効活用できる手が一つあったわ;;;
スレッド間の共有オブジェクトをポインタpで保持する際の問題点は、
そのポインタを知っている複数スレッドの間でpが指すオブジェクト*pへのアクセスを悉く排他制御せなばならない点やが
逆にpを知っているスレッドが任意の時刻につき1つだけなら、オブジェクトのアクセスに対して排他の必要が無い
それでいてスレッドへのデータの受け渡しに関してコピーの手間は減らせる
例:
省8
467: 447 (ワッチョイ d763-HdVQ) 2024/09/21(土)20:13 ID:FUSKAHoo0(2/3) AAS
ていうか2週間ぐらい前から作っていたやつが今さっき完動すた、
468: (ワッチョイ d763-HdVQ) 2024/09/21(土)20:35 ID:FUSKAHoo0(3/3) AAS
std::vector<TreeNode> nodes;
ならnodesを拡張したとき破綻するかもしれんが(nodeをnodesのindexで管理するならその限りではない
std::vector<std::shared_ptr<TreeNode> > apNodes;
ならapNodesを拡張しても破綻しないYO!(要素の実アドレスは保たれる
469: (ワッチョイ e37c-C1Jv) 2024/09/22(日)08:21 ID:e5FZYjui0(1) AAS
それ何のためのshared_ptrなの?unique_ptrでいいというか横からコピーされないようにそうすべきでは
470: (ワッチョイ 1e52-VArp) 2024/09/25(水)13:57 ID:N5yN4IuU0(1) AAS
>>466
>>442 を書いたのおれだけど、なんでおれが集中砲火浴びてることになってんだよ
生ポとか意味不明なこといってる>>447は一見してわかるクソレスだろ
おまえはそれ以上のクソレスにクソコード
でもお前の勝ちだ
クソコードに2週間かけた情熱に免じて親切におしえてやるわ
shared_ptrはpに誰かがアクセスしている可能性がある間は決してdeleteされないことを保証できるのが肝
省4
471: (ワッチョイ cb41-LUcV) 2024/09/26(木)03:21 ID:5BtHXQaO0(1) AAS
あーなるほど、一貫してshared_ptrの実体を渡してればそういう保証も出来るのか
自分の場合自前で排他処理や生存保証作ってたけど確かに大きなメリットだね
(オブジェクト内部の排他は別に必要だとしても)
472(1): (アウアウエー Saaa-rNKn) 2024/09/26(木)10:52 ID:R5lWYvWFa(1/4) AAS
そんなあなたにRust
473(2): (ワッチョイ 3224-jZWQ) 2024/09/26(木)11:26 ID:r0pzUHiv0(1) AAS
>>472
c++コードと混在できるようになってからの話だな。
既存c++を捨てなきゃならんのなら要らん。
474: (アウアウエー Saaa-rNKn) 2024/09/26(木)11:37 ID:R5lWYvWFa(2/4) AAS
もちろんRustをやるにはC++を捨てる覚悟が必要
C++コード(特にテンプレやclass)とは相性最悪
475: (アウアウエー Saaa-rNKn) 2024/09/26(木)11:38 ID:R5lWYvWFa(3/4) AAS
>c++コードと混在できるようになって
Rustについて言うなら
おそらくそんな未来は永久に来ない
476: (アウアウエー Saaa-rNKn) 2024/09/26(木)11:39 ID:R5lWYvWFa(4/4) AAS
誤解の無いように言っておくと
(一部機能に限れば今でも混在出来るけど)
基本的にはC++とは相いれない
477(1): (ワッチョイ 77da-jZWQ) 2024/09/26(木)18:22 ID:sl+cfKHN0(1/2) AAS
ならc++にRustの機能が取り込まれるのを待つ。
Rustが大人気になったら、さすがに標準委員の連中も初心者・コーダー向けの"Safe c++"をやる気になるだろ。
478(1): はちみつ餃子◆8X2XSCHEME (ワッチョイ e332-Pvcq) 2024/09/26(木)18:52 ID:B+Au+yIB0(1/2) AAS
>>477
もう Rust を使えばよくない……?
479: (ワッチョイ 77da-jZWQ) 2024/09/26(木)19:43 ID:sl+cfKHN0(2/2) AAS
>>478
>>473だっつうの。
Kotlinみたいなのが欲しいのであって、Clojureみたいなのは要らん。
480(2): はちみつ餃子◆8X2XSCHEME (ワッチョイ e332-Pvcq) 2024/09/26(木)20:25 ID:B+Au+yIB0(2/2) AAS
>>165
C++ のコードを Rust から呼び出したりするくらいのことは簡単に出来るよ。
たぶん (Java に対する) Kotlin みたいなこととして思い浮かべているようなことは出来る。
Rust がやってるような安全性の保障を自動では受けられない。
当然だが安全ではない (安全性が検証されていない) C++ のコードが Rust から呼び出すことで安全になったりはしない。
大抵の場合に Rust の都合に合わせてラッパーを書くことになる。
481(1): (ワッチョイ e39c-jZWQ) 2024/09/27(金)10:23 ID:n6BA5joS0(1/3) AAS
>>480
KotlinとJavaみたいにソースコードを混在できるレベルの相互運用性てあったっけ?
Rustとc++では無理だと思うけど。
482(1): (ブーイモ MMe3-VArp) 2024/09/27(金)10:44 ID:02Aq/BhWM(1) AAS
cxxとかあるけど個人的には中途半端だから使わない
普通に共有ライブラリにして呼び出す方が素直で汎用的で良い
483(1): (ワッチョイ 5e79-w5sm) 2024/09/27(金)12:33 ID:6/1p1gGO0(1) AAS
スマートポインターを使うように強制できる機能とかなら必要ないなあ
484: (アウアウエー Saaa-rNKn) 2024/09/27(金)16:51 ID:pgg/4VuRa(1/4) AAS
>>473 のような未来は永遠に来ない
485: (アウアウエー Saaa-rNKn) 2024/09/27(金)16:54 ID:pgg/4VuRa(2/4) AAS
>>482
結局Cが正解なんよ
C++のスレで言うのもなんだけど
486: (アウアウエー Saaa-rNKn) 2024/09/27(金)16:54 ID:pgg/4VuRa(3/4) AAS
>>481
同意
487: (アウアウエー Saaa-rNKn) 2024/09/27(金)16:54 ID:pgg/4VuRa(4/4) AAS
>>480
嘘つくな
出鱈目言うな
488: (ワッチョイ e39c-jZWQ) 2024/09/27(金)17:14 ID:n6BA5joS0(2/3) AAS
>>483
コーダー向けので考えるなら、スマポ強制は最優先だろ。
生ポインタを(コーダーが)保存できなくするだけでも随分安全になる。あと生ポインタdelete禁止とか。
489(1): (ワッチョイ 728c-rNKn) 2024/09/27(金)18:24 ID:dg7IL8lg0(1) AAS
極限のパフォーマンスは別に要らないから安全にしたいという要件なら GC が既に解決しているし
今更生ポインタを禁止したところで C# や Java と同じ方向性のナニカにしかならんじゃろ
490(1): (ワッチョイ 1e02-VArp) 2024/09/27(金)18:46 ID:EoeiRCVP0(1) AAS
gcがあったらメモリリークしないなんて幻想未だに信じてるとはね
491(1): (ワッチョイ a778-KU+G) 2024/09/27(金)18:59 ID:RwmUzOsi0(1) AAS
リークの話なの?
492(1): (ワッチョイ e39c-jZWQ) 2024/09/27(金)19:07 ID:n6BA5joS0(3/3) AAS
>>489
ライブラリとかフレームワークを使う側のコーダーと作る側のライブラリアンは性能要件が全然別。
コーダーに対してライブラリアンが「コーダーのコードに極限のパフォーマンスは別に要らないから安全に「させたい」」というのはあるだろ。
493: (ワッチョイ cb9e-LUcV) 2024/09/27(金)23:12 ID:cfj6fT7K0(1) AAS
>>492
それならライブラリ側でメモリ周りを隠蔽するような作り方も出来ると思うけど
ユーザー(コーダー)にはインスタンス使わせるけど内部では参照カウントなりスマポなり使ってるみたいな
それですら問題が起きるようならユーザーがクソ
494: (ワッチョイ e37c-C1Jv) 2024/09/28(土)10:42 ID:swed/tX60(1) AAS
C++はどんな安全策敷いてもユーザー側がその気になればいくらでもぶち壊せるからね
ライブラリがあんまりそこ頑張っても仕方ない
495: (アウアウエー Saaa-rNKn) 2024/09/28(土)12:39 ID:gf2/NL3ha(1) AAS
Rustなら壊れないみたいな言い草だな
496(1): (ワッチョイ 77ba-vp5J) 2024/09/28(土)13:06 ID:ZP4SxDa50(1) AAS
C++で書かれたChrome V8エンジンをRustから扱えるRusty V8というライブラリがリリースされたというニュースを見た
メモリ安全性を確保して呼び出しオーバーヘッドもゼロなんだって
ほんとかな?
ただのラッパーじゃないの?
C++側でメモリアクセス違反があれば落ちそうだけど
497: (ブーイモ MMde-7TYI) 2024/09/28(土)14:26 ID:yW35cSECM(1) AAS
その手の話はMICROSOFTの新機能ぐらいい思っておけば
腹も立たない
498(1): はちみつ餃子◆8X2XSCHEME (ワッチョイ b332-XD+R) 2024/09/30(月)22:26 ID:JxqgGnHQ0(1) AAS
>>496
Rust の標準ライブラリだって内部は unsafe だらけだぞ。
unsafe は Rust のメモリ安全性検査の例外とする指定で、検査はされないが安全であることはプログラマが保証しないといけない。
ただ、 unsafe な部分を慎重に押し込めて (押し込めるのが正しく出来ていれば) あとは Rust のメモリ安全性検査に頼ることが出来る。
ずっと気を付けなきゃならない C++ よりは面倒ごとを基盤に押し込めたら後は機械が検査してくれるほうがマシという程度の話。
押し込めた中に問題があればそりゃ当然駄目だよ。
499: (ワッチョイ 6f79-uMZa) 2024/10/01(火)02:05 ID:J7GPtKrz0(1) AAS
V8エンジンてCVE脆弱性で毎月アップデートの口実にされる迷惑なやつだからさっさとRustで書き直せよ
500(1): (オイコラミネオ MMa7-Pc8v) 2024/10/01(火)15:19 ID:KXGxeTHwM(1) AAS
>>498
>押し込めた中に問題があればそりゃ当然駄目だよ。
当然分かっているだろうが、unsafeの中だけでなく、
それが外側に及ぼす影響にも問題が生じないように作らなければなら
ないが、それにはunsafeとRustの両方に対する深い理解が
必要となるだろうな。
501: (オイコラミネオ MMa7-Pc8v) 2024/10/01(火)18:36 ID:al1nAqGBM(1) AAS
>>500
unsafeの中を通過する時には問題ないが、
戻り値などや、連携する他のメソッドなどが
関係した結果、どこかで分かりにくいメモリーエラー
になるようなことも避ける必要が有るが、
それにはかなりRustの内部構造(?)に対する深い知識
と理解が必要となりそうだ。
502: (ワッチョイ 1fb1-/QnX) 2024/10/17(木)11:01 ID:P7X9/HPx0(1) AAS
>>422
これ、static_assertだけ修正してもしょうがない気がするんだけどなぁ
他にも実体化しないはずの分岐でチェックされてエラーにされることあるし
まぁ条件式に無理矢理テンプレート入れて回避は出来るけど
上下前次1-新書関写板覧索設栞歴
あと 500 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.027s