※前スレ
C++相談室 part154
https://mevius.5ch.net/test/read.cgi/tech/1610096040/
テンプレここまで
探検
C++相談室 part155
■ このスレッドは過去ログ倉庫に格納されています
2021/03/24(水) 12:07:15.39ID:R+oM8cup
439デフォルトの名無しさん
2021/04/25(日) 04:21:43.82ID:vJWG11Gh >>438
C++の場合は、x=std::move(y);と書けば明示的にmove系が呼び出されるので
その場合、混乱は生じないが、右辺が関数の戻り値が構造体型/クラス型の場合、
RVO(Return Value Optimization)が働いたり、右辺が「クラス名(引数列)」
のようなテンポラリオブジェクト作成の場合にはmove系が選択される
という「自動振り分け機能」があり、自分が知らないだけでそれ以外にも
特殊なパターンがまだあるかもしれないことが、不安や予想しづらい
原因になっていると思う。
Rustの場合は、自動化されているかと思いきや、実際には、代入などが
move/copyのどちらになるかに関しては、自動ではなく、
デフォルトmoveで、x.clone()とした場合にのみcopyという明示的に
区別する方式なんだと思う。
C++の場合は、x=std::move(y);と書けば明示的にmove系が呼び出されるので
その場合、混乱は生じないが、右辺が関数の戻り値が構造体型/クラス型の場合、
RVO(Return Value Optimization)が働いたり、右辺が「クラス名(引数列)」
のようなテンポラリオブジェクト作成の場合にはmove系が選択される
という「自動振り分け機能」があり、自分が知らないだけでそれ以外にも
特殊なパターンがまだあるかもしれないことが、不安や予想しづらい
原因になっていると思う。
Rustの場合は、自動化されているかと思いきや、実際には、代入などが
move/copyのどちらになるかに関しては、自動ではなく、
デフォルトmoveで、x.clone()とした場合にのみcopyという明示的に
区別する方式なんだと思う。
440デフォルトの名無しさん
2021/04/25(日) 04:31:24.47ID:C7wl+mxO std::vector<int> v((size_t)3);
printf("&(v[2])=0x%p\n", &(v[2]));
v.resize((size_t)5000);
printf("&(v[2])=0x%p\n", &(v[2]));
↓実行結果(例)
&(v[2])=0x000002376EF91658
&(v[2])=0x000002376EF93A08
printf("&(v[2])=0x%p\n", &(v[2]));
v.resize((size_t)5000);
printf("&(v[2])=0x%p\n", &(v[2]));
↓実行結果(例)
&(v[2])=0x000002376EF91658
&(v[2])=0x000002376EF93A08
441デフォルトの名無しさん
2021/04/25(日) 04:50:08.06ID:2+KF94a+ new,deleteが起きないとかいうトンデモ理論はshared_ptr<T>のstd::vectorと混同した感じ?
442デフォルトの名無しさん
2021/04/25(日) 05:28:38.68ID:oSZrNkR7 数値計算畑の人間だけど、numpy with MKL が C++ より速くてワロス
もうホントにニッチな領域でしか使わなくなっていくな C++
もうホントにニッチな領域でしか使わなくなっていくな C++
>>442
それはシングルユーザーライセンスであっても 500千円からという価格のインテル製コンパイラやライブラリを使うからなのでは?
それはシングルユーザーライセンスであっても 500千円からという価格のインテル製コンパイラやライブラリを使うからなのでは?
444デフォルトの名無しさん
2021/04/25(日) 07:18:12.21ID:U1znDmKO 多次元配列の添字を入れ替える関数を実装したいのですが、任意の次元に対応するものをどう作れば良いのかわかりません。
たとえば v[a][b][c] を v[c][b][a] と入れ替えるのを全ての a, b, c について行ないたいです。
次元が 3 と決まっていれば、整数 a, b, c についてループを回して
v_[c][b][a] = v[a][b][c]
のようにコピーすれば良いのですが、次元が任意だと鉤括弧 [][][] を用いた要素アクセスをどうすれば良いのか分かりません。
不可能ですかね?
その場合、多次元配列を 1 次元で持つことにして、各次元の長さを la, lb, lc,... として、整数 x を 0 から la*lb*lc... -1 まで回して、その都度 x の各桁を取り出して要素をコピーする、みたいなことしかやりようがないですか?
そうなると各桁を取り出すのに割り算とか剰余演算を駆使しないと駄目なのでパフォーマンスが落ちるのが懸念です。
あるいは、3 次元に対応した関数、4 次元に対応した関数、…… といった感じで各次元に特殊化した関数を実装するべきでしょうか?
できれば一般的というか汎用の関数を作りたいのですが。。。
たとえば v[a][b][c] を v[c][b][a] と入れ替えるのを全ての a, b, c について行ないたいです。
次元が 3 と決まっていれば、整数 a, b, c についてループを回して
v_[c][b][a] = v[a][b][c]
のようにコピーすれば良いのですが、次元が任意だと鉤括弧 [][][] を用いた要素アクセスをどうすれば良いのか分かりません。
不可能ですかね?
その場合、多次元配列を 1 次元で持つことにして、各次元の長さを la, lb, lc,... として、整数 x を 0 から la*lb*lc... -1 まで回して、その都度 x の各桁を取り出して要素をコピーする、みたいなことしかやりようがないですか?
そうなると各桁を取り出すのに割り算とか剰余演算を駆使しないと駄目なのでパフォーマンスが落ちるのが懸念です。
あるいは、3 次元に対応した関数、4 次元に対応した関数、…… といった感じで各次元に特殊化した関数を実装するべきでしょうか?
できれば一般的というか汎用の関数を作りたいのですが。。。
445デフォルトの名無しさん
2021/04/25(日) 07:43:25.17ID:C7wl+mxO シングルユーザーライセンスであっても 500千円からという価格のインテル製コンパイラやライブラリ
を使ってもnumpy with MKL が C++ より速いとかこの世は暗黒だな
を使ってもnumpy with MKL が C++ より速いとかこの世は暗黒だな
446デフォルトの名無しさん
2021/04/25(日) 07:46:35.71ID:NKfmb8Oe v[0]やv[i][0]が配列なのか単一の型なのかは判定できるから
enable_ifで分けてオーバーロード(再帰するかしないか)とか出来るはず
enable_ifで分けてオーバーロード(再帰するかしないか)とか出来るはず
447デフォルトの名無しさん
2021/04/25(日) 08:25:03.80ID:1HSCMwQ7448デフォルトの名無しさん
2021/04/25(日) 09:11:43.96ID:/NByfBPS449デフォルトの名無しさん
2021/04/25(日) 10:57:33.64ID:vJWG11Gh >>445
MKLがIntel製で、
「Intel Math Kernel Library (MKL) というのは, Intel 製の高速な数値計算ライブラリ」
だよ。
つまり、Pythonでは、Intel製の高速なライブラリを使っているが、C++では
使って無い場合の速度比較。
MKLがIntel製で、
「Intel Math Kernel Library (MKL) というのは, Intel 製の高速な数値計算ライブラリ」
だよ。
つまり、Pythonでは、Intel製の高速なライブラリを使っているが、C++では
使って無い場合の速度比較。
450デフォルトの名無しさん
2021/04/25(日) 15:10:42.39ID:U1znDmKO >>446
なるほど……
勉強してみますが大変そうですね
外部ライブラリに頼るか迷いますが、多次元配列は非常に基本的な機能だと思ってるので最低限度で取り回しの良いものを自分で持っておきたいという思いがあります……
なるほど……
勉強してみますが大変そうですね
外部ライブラリに頼るか迷いますが、多次元配列は非常に基本的な機能だと思ってるので最低限度で取り回しの良いものを自分で持っておきたいという思いがあります……
451デフォルトの名無しさん
2021/04/25(日) 15:24:49.11ID:o+U9INbB 自分で作った方が融通がきく
452デフォルトの名無しさん
2021/04/25(日) 15:28:33.67ID:o+U9INbB 作るなら[x] [y] [z]の形にしない方が良い
[]の中にベクトルを入れる方が融通がきく
[]の中にベクトルを入れる方が融通がきく
453デフォルトの名無しさん
2021/04/25(日) 16:15:38.64ID:r+TKoBrZ >>452
v[ {x, y, z} ] みたいに要素アクセスするってことですか?
v[ {x, y, z} ] みたいに要素アクセスするってことですか?
454デフォルトの名無しさん
2021/04/25(日) 17:26:07.51ID:Ef2Yns/P MKLが元々c/c++のライブラリってことも知らん輩がおるのか。。
まあ確かにnumpyやってりゃ問題はないが。
まあ確かにnumpyやってりゃ問題はないが。
455デフォルトの名無しさん
2021/04/25(日) 17:43:00.50ID:C7wl+mxO MKLが元々c/c++のライブラリってことは知ってたが
Pythonでシングルユーザーライセンスであっても 500千円からという価格とは思わなかった
、
Pythonでシングルユーザーライセンスであっても 500千円からという価格とは思わなかった
、
456デフォルトの名無しさん
2021/04/25(日) 17:59:18.91ID:Nhz8hzcU457デフォルトの名無しさん
2021/04/25(日) 18:15:22.48ID:S2tV53BX >>454
でも
「numpy with MKL が C++ より速くて」
という言葉からすれば、Pythonの時だけそれを使い、C++の時にはそれを使ってない
としか思えない。
PythonでもC++でも同じMKLを使ってて、Pythonの方がC++より
速いなんて事は有り得ないだろうし。
でも
「numpy with MKL が C++ より速くて」
という言葉からすれば、Pythonの時だけそれを使い、C++の時にはそれを使ってない
としか思えない。
PythonでもC++でも同じMKLを使ってて、Pythonの方がC++より
速いなんて事は有り得ないだろうし。
458デフォルトの名無しさん
2021/04/25(日) 18:56:01.14ID:jEvf9lKr >>456 だれも生ポインタのvectorがだめなんて言ってないから何か勘違いしてそう。
459デフォルトの名無しさん
2021/04/25(日) 19:04:09.59ID:/NByfBPS >>456
ん?ダメなのはvector要素へのポインタだぞ?
ん?ダメなのはvector要素へのポインタだぞ?
460デフォルトの名無しさん
2021/04/25(日) 19:17:31.67ID:2+KF94a+ >>459
だめなのであれば、std::vectorの存在意義を否定することになりかねない。
C互換の配列およびポインタを実現するコンテナはstd::vectorだけ。
危険性を分かったうえで使う、というのが正しいかと。
だめなのであれば、std::vectorの存在意義を否定することになりかねない。
C互換の配列およびポインタを実現するコンテナはstd::vectorだけ。
危険性を分かったうえで使う、というのが正しいかと。
461デフォルトの名無しさん
2021/04/25(日) 19:26:38.89ID:/NByfBPS462デフォルトの名無しさん
2021/04/25(日) 20:19:11.49ID:2+KF94a+ 昔のstd::vectorは先頭アドレスを取得するメンバ関数data()がなかったのでポインタとして使うことに多少の背徳感があった
463デフォルトの名無しさん
2021/04/25(日) 21:16:54.88ID:JRQD9I35 >>453
そう
そう
464デフォルトの名無しさん
2021/04/25(日) 21:20:17.62ID:JRQD9I35465デフォルトの名無しさん
2021/04/25(日) 22:15:04.13ID:yRd8KdQ6 要素の再配置ができない場合や要素のポインタを扱う場合は、多少効率は落ちるがstd::dequeつかえば良いと思う
466デフォルトの名無しさん
2021/04/25(日) 22:40:08.86ID:2+KF94a+ >>465
> vector とは異なる欠点として deque は連続した位置のストレージに全ての要素を持つことを保証していないため、ポインタ演算を介しての安全なアクセスの可能性を排除する。
https://cpprefjp.github.io/reference/deque/deque.html
> vector とは異なる欠点として deque は連続した位置のストレージに全ての要素を持つことを保証していないため、ポインタ演算を介しての安全なアクセスの可能性を排除する。
https://cpprefjp.github.io/reference/deque/deque.html
467デフォルトの名無しさん
2021/04/25(日) 22:44:46.90ID:yRd8KdQ6 >>466
あぁ、連続要素アクセスは確かにだめだなw
あぁ、連続要素アクセスは確かにだめだなw
468デフォルトの名無しさん
2021/04/25(日) 22:50:09.53ID:yRd8KdQ6 でも、連続要素アクセスならポインタなんか使わずに範囲for分なりiteretor使った方が楽だよね
469デフォルトの名無しさん
2021/04/25(日) 22:51:31.52ID:9+aEf3uB なるべくキャッシュに入れたいって率でメモリ連続性を求めてる人たちはたぶんそれだとキツい
470デフォルトの名無しさん
2021/04/25(日) 22:54:28.47ID:2+KF94a+ Win32APIなどOS固有のシステムコールはC言語を前提に作られているので、C++でその恩恵を得たいならメモリ連続性が保証されたコンテナが必要不可欠
471デフォルトの名無しさん
2021/04/25(日) 23:17:48.67ID:yRd8KdQ6 APIがらみだとstd::arrayのheap使用版みたいなのが欲しくなることがあるな
vectorだと初期化が若干面倒なんだよね
vectorだと初期化が若干面倒なんだよね
472デフォルトの名無しさん
2021/04/26(月) 04:02:46.84ID:BvXVNvk7 >>450
ごめんさらっと言ったけど、現在の各次元のインデックスも実行時の数値として渡す必要あるし再帰と相性悪いかも
ただ文法上、次元数に関わらず同じコードで、ってなるとテンプレートと再帰は必須だと思う
けどそこまでしても、君が書いてた一次元で除算と剰余使うのと比べてそんな速くなるとも思えんので無理せず一次元でいいと思うw
ごめんさらっと言ったけど、現在の各次元のインデックスも実行時の数値として渡す必要あるし再帰と相性悪いかも
ただ文法上、次元数に関わらず同じコードで、ってなるとテンプレートと再帰は必須だと思う
けどそこまでしても、君が書いてた一次元で除算と剰余使うのと比べてそんな速くなるとも思えんので無理せず一次元でいいと思うw
473デフォルトの名無しさん
2021/04/26(月) 11:25:57.38ID:BvXVNvk7 https://wandbox.org/permlink/XpJkS3veZNwNOlaQ
気になったのでやってみた、実測(一次元、および要素数決め打ちとの)はめんどいので頼む・・
気になったのでやってみた、実測(一次元、および要素数決め打ちとの)はめんどいので頼む・・
474デフォルトの名無しさん
2021/04/26(月) 14:15:12.52ID:REE9nEfp numpy のAPIを C/C++ から使うのがお薦め
475デフォルトの名無しさん
2021/04/26(月) 14:59:17.98ID:S9wNYjN0476デフォルトの名無しさん
2021/04/26(月) 15:04:19.62ID:S9wNYjN0 >>474
これって、numpy の記法で C++ の配列を操るというわけではなく、Python (numpy) を C++ から操るということですよね?
全ての処理を numpy の機能で行なうことにすれば、全ての計算が事実上 C++ で動くことになるから速いって感じなんですかね
これって、numpy の記法で C++ の配列を操るというわけではなく、Python (numpy) を C++ から操るということですよね?
全ての処理を numpy の機能で行なうことにすれば、全ての計算が事実上 C++ で動くことになるから速いって感じなんですかね
477デフォルトの名無しさん
2021/04/26(月) 16:39:19.86ID:BvXVNvk7 >>475
いや再帰してるのは単にint[I][J][K]をint[J][K]のループ、さらにint[K]のループに(配列の参照で)分解するためにやってるだけ
(そうすればどの階層でもt[i]で書けるから
ただこれ、コンパイル時に要素数も次元数もわかってる固定長の配列でしか使えないんだよね
ポインタを要素数決め打ちで多次元配列の参照にキャストして渡すのは出来るかもしれんけど・・
まぁ要素数が実行時にしか分からなくても使える一次元での計算のが汎用性高いと思う
いや再帰してるのは単にint[I][J][K]をint[J][K]のループ、さらにint[K]のループに(配列の参照で)分解するためにやってるだけ
(そうすればどの階層でもt[i]で書けるから
ただこれ、コンパイル時に要素数も次元数もわかってる固定長の配列でしか使えないんだよね
ポインタを要素数決め打ちで多次元配列の参照にキャストして渡すのは出来るかもしれんけど・・
まぁ要素数が実行時にしか分からなくても使える一次元での計算のが汎用性高いと思う
478デフォルトの名無しさん
2021/04/26(月) 17:57:15.41ID:NyQKOVd9 C++なんだし
多次元コンテナ使おうよ
多次元コンテナ使おうよ
479デフォルトの名無しさん
2021/04/26(月) 18:43:48.56ID:G51Jv2BH 皆さまコロナ禍いかがお過ごしでしょうか
ちょっと質問させてください
特定のクラス内部で自身の型を格納するコンテナを実体として確保し、そのコンテナから入れ子状?のような形で使用しています
私の環境では動くのですが、これを動かしても安全なのでしょうか?
クラス内部には自身の型を確保できないと聞いたことがあります……
問題が起きそうな気配がしなくもない感じがしますが
当方素人です
class hoge{
Int a;
bool b;
vector<hoge> hoge_vec;
};
このクラスを
hoge Tochigi;
Tochigi.hoge_vec[0].a=315;
というように使っているのですが……
ちょっと質問させてください
特定のクラス内部で自身の型を格納するコンテナを実体として確保し、そのコンテナから入れ子状?のような形で使用しています
私の環境では動くのですが、これを動かしても安全なのでしょうか?
クラス内部には自身の型を確保できないと聞いたことがあります……
問題が起きそうな気配がしなくもない感じがしますが
当方素人です
class hoge{
Int a;
bool b;
vector<hoge> hoge_vec;
};
このクラスを
hoge Tochigi;
Tochigi.hoge_vec[0].a=315;
というように使っているのですが……
480デフォルトの名無しさん
2021/04/26(月) 19:13:39.09ID:yzDyA3P+ ビルド通る?
481はちみつ餃子 ◆8X2XSCHEME
2021/04/26(月) 19:25:06.15ID:AdDHfoXQ >>479
問題ない。 クラスは自分自身を内包できないが、
それは自分を内包した自分というものが可能だとすると
大きさが無限になってしまって確定できないからで、
参照やポインタとして持つ分にはそういった問題にならない。
std::vector の実体としてはヒープに確保した配列に要素を入れていく形になるので、
この場合に hoge が hoge を内包しているわけではない。
問題ない。 クラスは自分自身を内包できないが、
それは自分を内包した自分というものが可能だとすると
大きさが無限になってしまって確定できないからで、
参照やポインタとして持つ分にはそういった問題にならない。
std::vector の実体としてはヒープに確保した配列に要素を入れていく形になるので、
この場合に hoge が hoge を内包しているわけではない。
482デフォルトの名無しさん
2021/04/26(月) 19:35:48.39ID:G51Jv2BH >>481
ありがとうございます
アロケーターがコンテナ用の領域を確保してくれるので確保可能と言うことでしょうか?
クラス内部で要素数ゼロのvector領域を確保してメモリを予約してるのかな?
vectorの型がvector分の領域を計算できないから見た感じ不可能だと思って
どういう処理してるのか
ありがとうございます
アロケーターがコンテナ用の領域を確保してくれるので確保可能と言うことでしょうか?
クラス内部で要素数ゼロのvector領域を確保してメモリを予約してるのかな?
vectorの型がvector分の領域を計算できないから見た感じ不可能だと思って
どういう処理してるのか
483はちみつ餃子 ◆8X2XSCHEME
2021/04/26(月) 19:37:27.97ID:AdDHfoXQ >>482
std::vector が適当な大きさの配列へのポインタを持つ構造だと思ったらだいたい正しい。
std::vector が適当な大きさの配列へのポインタを持つ構造だと思ったらだいたい正しい。
484デフォルトの名無しさん
2021/04/26(月) 19:57:41.54ID:G51Jv2BH >>483
その言い方でなんとなくわかった気分になりました
連続で確保できる適当な長さの配列の先頭へのアドレスを確保してるってこと?
自身の大きさは除外してほかのメンバ変数の大きさだけを配列0番目に確保すればいいのかな
その言い方でなんとなくわかった気分になりました
連続で確保できる適当な長さの配列の先頭へのアドレスを確保してるってこと?
自身の大きさは除外してほかのメンバ変数の大きさだけを配列0番目に確保すればいいのかな
485デフォルトの名無しさん
2021/04/26(月) 19:58:27.26ID:G51Jv2BH 前回も餃子さんに答えていただいた記憶
どうもありがとうございました
どうもありがとうございました
486デフォルトの名無しさん
2021/04/26(月) 20:26:32.67ID:ckbrupKp いずれ共有ポインタのvectorを使いたくなるはず
GW期間中に循環参照の罠を思う存分楽しむといい
GW期間中に循環参照の罠を思う存分楽しむといい
487デフォルトの名無しさん
2021/04/26(月) 20:32:09.29ID:1d/LxAg8 やはりノードシステムこそ至高
488デフォルトの名無しさん
2021/04/26(月) 20:51:21.16ID:G51Jv2BH 共有ポインタのvectorって何だろう?
sheared_ptrの事ですか?
sheared_ptrの事ですか?
489デフォルトの名無しさん
2021/04/27(火) 00:45:26.56ID:XHlpaM1W >>478
標準ライブラリは遅いから、使いたくないです
標準ライブラリは遅いから、使いたくないです
490デフォルトの名無しさん
2021/04/27(火) 01:07:31.65ID:rFiajegR 別に標準ライブラリじゃなくて良いんだよ
491デフォルトの名無しさん
2021/04/27(火) 03:14:22.91ID:/IsfP16Y >>478
mdspan?
mdspan?
492デフォルトの名無しさん
2021/04/27(火) 08:10:53.39ID:eX4df2SV 多次元コンテナってもう標準ライブラリ入ってるんですか?
493デフォルトの名無しさん
2021/04/27(火) 08:23:06.09ID:rYx8lJmb なきゃ作れ
494デフォルトの名無しさん
2021/04/27(火) 08:28:06.32ID:jjM1CAyW495デフォルトの名無しさん
2021/04/27(火) 08:34:35.77ID:rYx8lJmb 良いのがあったら使えば良いし
無きゃ作れば良い
っていう感じ
多次元コンテナなんて
使い方によって最適な実装はいくらでも変わるんで
汎用性を追及するのは時間の無駄
無きゃ作れば良い
っていう感じ
多次元コンテナなんて
使い方によって最適な実装はいくらでも変わるんで
汎用性を追及するのは時間の無駄
496デフォルトの名無しさん
2021/04/27(火) 10:24:53.85ID:9qe4V1bo 左辺には置けないものがある、その一覧とか例とかありますかね・・・
497デフォルトの名無しさん
2021/04/27(火) 10:39:34.03ID:zzzFrqtR 例?
整数リテラル
整数リテラル
498デフォルトの名無しさん
2021/04/27(火) 12:29:20.94ID:ul4gccCl 関数
499デフォルトの名無しさん
2021/04/27(火) 12:34:12.25ID:rYx8lJmb const
500デフォルトの名無しさん
2021/04/27(火) 14:47:15.34ID:V9b4VlmB >>496
・定数リテラル、const属性が付くもの、は置けない。
・関数呼び出しの 関数()は、戻り値は、伝統的に右辺値扱いになるので左辺に置くとエラー
になる様になっている。
戻り値は、構造体型(クラス型/union型含む)/整数型/浮動小数点型/ポインタ型/列挙型の場合
を想定した。
・*ptr のようなものは左辺値になるので置ける。
・変数名はconst 修飾されていないなら置ける。
・構造体変数名.データメンバ名 は const 修飾されていないなら置ける。
・「関数名」は置けない。これは関数呼び出しの関数()とは別の話。
・&x は置けない。理由としては右辺値であるから。constでもあるが。
・x + y は、組み込み演算子の場合でも、関数呼び出しに置き換わった場合でも
置けない。後者の場合は、関数の戻り値が置いてあるということになるが右辺値だから。
前者の場合は、右辺値だからだと思う。
・定数リテラル、const属性が付くもの、は置けない。
・関数呼び出しの 関数()は、戻り値は、伝統的に右辺値扱いになるので左辺に置くとエラー
になる様になっている。
戻り値は、構造体型(クラス型/union型含む)/整数型/浮動小数点型/ポインタ型/列挙型の場合
を想定した。
・*ptr のようなものは左辺値になるので置ける。
・変数名はconst 修飾されていないなら置ける。
・構造体変数名.データメンバ名 は const 修飾されていないなら置ける。
・「関数名」は置けない。これは関数呼び出しの関数()とは別の話。
・&x は置けない。理由としては右辺値であるから。constでもあるが。
・x + y は、組み込み演算子の場合でも、関数呼び出しに置き換わった場合でも
置けない。後者の場合は、関数の戻り値が置いてあるということになるが右辺値だから。
前者の場合は、右辺値だからだと思う。
501デフォルトの名無しさん
2021/04/27(火) 14:48:40.00ID:V9b4VlmB >>500
>・構造体変数名.データメンバ名 は const 修飾されていないなら置ける。
これについては、構造体変数名が、右辺値の場合は、
構造体変数名.データメンバ名も右辺値になるため、置けない。
>・構造体変数名.データメンバ名 は const 修飾されていないなら置ける。
これについては、構造体変数名が、右辺値の場合は、
構造体変数名.データメンバ名も右辺値になるため、置けない。
502デフォルトの名無しさん
2021/04/27(火) 15:10:33.44ID:V9b4VlmB [続き]
・(cast)x は置けない。理由は、右辺値になるから。
なので、int i; (char)i = 5; はエラーになる。
そうしたい場合は、*(char *)&i = 5; と書く。
・(cast)x は置けない。理由は、右辺値になるから。
なので、int i; (char)i = 5; はエラーになる。
そうしたい場合は、*(char *)&i = 5; と書く。
503デフォルトの名無しさん
2021/04/27(火) 17:53:11.42ID:x+a+UXmv 配列を要素展開して、可変長引数の関数に渡したいんですけど、どうかけばいいか分かりません
template<typename... Ts>
void g(Ts... ts){}
template<typename T,size_t N>
void f(T (&a)[N])
{
g(a[0],a[1],a[2]/* なんて書くのか*/);
}
template<typename... Ts>
void g(Ts... ts){}
template<typename T,size_t N>
void f(T (&a)[N])
{
g(a[0],a[1],a[2]/* なんて書くのか*/);
}
504デフォルトの名無しさん
2021/04/27(火) 18:30:39.66ID:z5odOJ3h505デフォルトの名無しさん
2021/04/27(火) 19:37:01.40ID:2o2XkKHN >>504
ありがとう出来ました
ありがとう出来ました
506デフォルトの名無しさん
2021/04/27(火) 19:58:19.96ID:1Ls3FsW9 通常クラスのコンストラクタにテンプレート引数がある場合ってどう呼び出したらよいでしょう?
class Test{
public:
template<class T>
Test() {}
};
Test test = Test::Test<int>();
で呼び出せるかと思ったのですが出来ず...
class Test{
public:
template<class T>
Test(T dummy) {}
};
コンストラクタに引数を持たせると、msvcでは一応できました。
Test test(0);
class Test{
public:
template<class T>
Test() {}
};
Test test = Test::Test<int>();
で呼び出せるかと思ったのですが出来ず...
class Test{
public:
template<class T>
Test(T dummy) {}
};
コンストラクタに引数を持たせると、msvcでは一応できました。
Test test(0);
507デフォルトの名無しさん
2021/04/27(火) 20:39:05.42ID:eX4df2SV 代入演算子ってメンバ関数じゃないとだめなんだな
thisを返すから当たり前だが、オーバーロードしたいとき困る
a = b を意味する assign(a, b) を作るしかない?
thisを返すから当たり前だが、オーバーロードしたいとき困る
a = b を意味する assign(a, b) を作るしかない?
508デフォルトの名無しさん
2021/04/27(火) 21:47:32.08ID:rFiajegR 別にthisを返す必要もないけど
509デフォルトの名無しさん
2021/04/28(水) 00:01:05.47ID:pTBAhwEs thisがどうのじゃなくてコピー代入演算子とムーブ代入演算子が特別扱いだから
510デフォルトの名無しさん
2021/04/28(水) 02:07:16.16ID:LEZnE3AK >>506 https://timsong-cpp.github.io/cppwp/n4861/temp.arg.explicit#8
> [Note: Because the explicit template argument list follows the function template name, and because constructor templates ([class.ctor]) are named
> without using a function name ([class.qual]), there is no way to provide an explicit template argument list for these function templates. - end note]
> [Note: Because the explicit template argument list follows the function template name, and because constructor templates ([class.ctor]) are named
> without using a function name ([class.qual]), there is no way to provide an explicit template argument list for these function templates. - end note]
511デフォルトの名無しさん
2021/04/28(水) 03:41:16.44ID:v8E9sca8 unique_ptrって、unique_ptr<T>とuniqu_ptr<T[]>が、1つのテンプレートではなく、
テンプレート自体が別に用意されてるんだよね?
そもそも前者の規則と後者は使う時の記号としても違っていて、前者は、
unique_ptr<int> a = new int;
*a = 5;
と書くのだから、a は、int*、つまり、intへのポインタのように振舞う。
この規則のままであるなら、
unique_ptr<int[]> b = new int[10];
と書いた場合、b は、int[10] へのポインタ、つまり、int (*b)[10] のように
振舞わなければならない。
となると、
b[idx] = value;
とは書けずに、(*b)[idx] = value; と書かねば成らないが、実際にはそうではない。
テンプレート自体が別に用意されてるんだよね?
そもそも前者の規則と後者は使う時の記号としても違っていて、前者は、
unique_ptr<int> a = new int;
*a = 5;
と書くのだから、a は、int*、つまり、intへのポインタのように振舞う。
この規則のままであるなら、
unique_ptr<int[]> b = new int[10];
と書いた場合、b は、int[10] へのポインタ、つまり、int (*b)[10] のように
振舞わなければならない。
となると、
b[idx] = value;
とは書けずに、(*b)[idx] = value; と書かねば成らないが、実際にはそうではない。
512はちみつ餃子 ◆8X2XSCHEME
2021/04/28(水) 05:20:55.28ID:cpOEbmvB >>511
> テンプレート自体が別に用意されてるんだよね?
特殊化で配列の場合は特別に用意されている。
> unique_ptr<int[]> b = new int[10];
> と書いた場合、b は、int[10] へのポインタ、つまり、int (*b)[10] のように
> 振舞わなければならない。
(そのように b を初期化することは出来ない (生ポインタを受け取るコンストラクタには explicit が付いてる) が、意図はわかるのでとりあえずわきに置く。)
new int[10]; という式の型は int* なので、この時点で配列の大きさに関する情報は失われている。
(配列の先頭要素を指す生ポインタではなく) 配列を指す生ポインタのようにスマートポインタを抽象化する意味がない。
どうしてもやりたければ std::array と組み合わせればいいし。
> テンプレート自体が別に用意されてるんだよね?
特殊化で配列の場合は特別に用意されている。
> unique_ptr<int[]> b = new int[10];
> と書いた場合、b は、int[10] へのポインタ、つまり、int (*b)[10] のように
> 振舞わなければならない。
(そのように b を初期化することは出来ない (生ポインタを受け取るコンストラクタには explicit が付いてる) が、意図はわかるのでとりあえずわきに置く。)
new int[10]; という式の型は int* なので、この時点で配列の大きさに関する情報は失われている。
(配列の先頭要素を指す生ポインタではなく) 配列を指す生ポインタのようにスマートポインタを抽象化する意味がない。
どうしてもやりたければ std::array と組み合わせればいいし。
513デフォルトの名無しさん
2021/04/28(水) 12:25:48.23ID:jQpDsyge >>512
すまん。正しい書き方は:
unique_ptr<int[]> b(new int[10]); //(1)
だったようだ。
ちょっと意図が伝わらなかったのか、言いたかったのは、
unique_ptr<T> a; //(2)
の場合、a の型は、T* のようになるのに、
unique_ptr<U[]> b;
の型は、U* のようになるので、数学の様に最初のT=U[]
すまん。正しい書き方は:
unique_ptr<int[]> b(new int[10]); //(1)
だったようだ。
ちょっと意図が伝わらなかったのか、言いたかったのは、
unique_ptr<T> a; //(2)
の場合、a の型は、T* のようになるのに、
unique_ptr<U[]> b;
の型は、U* のようになるので、数学の様に最初のT=U[]
514デフォルトの名無しさん
2021/04/28(水) 12:39:35.77ID:jQpDsyge すまん、まちがって送信してしまった。
>>512
正しい書き方は:
unique_ptr<int[]> b(new int[10]); //(1)
だったようだ。それはともかく、ちょっと意図が伝わらなかったのか、言いたかったのは、
unique_ptr<T> a; //(2)
の場合、a の型は T * であるかのように振舞う(T *a と宣言していたかのように振舞う)のに、
unique_ptr<U[]> b; //(3)
の場合、b の型は U* のように振舞うが、数学の様に(2)にT=U[]を代入してみると、
b の型は本来、T *b とした場合のように振舞うはずなので、数学的には U (*b) [] とした
場合の型になっていなければならないはずなのに、実際には、U *b のようにした場合
の型になっているということで、(3)は数学的には (2)の特殊形とはみなせないということ。
なので、unique_ptr<U[]>のテンプレートは、unique_ptr<T>のテンプレートとは別に人間が
意図的に専用のコードを書いて「特殊化」していることの証拠となるということ。
もちろんそれが「テンプレート特殊化」という仕組みで行われていることは知っているが、
数学的な意味で(2)を一般形とみなした場合の自動的な特殊形にはなってないということ
(だからこそ「テンプレート特殊化」で特殊な場合だけを例外的に特記するのではあるが)。
これは、unique_ptr<T>は、Tが配列型の場合は、Tがその他の場合と比べて
「一般性を失っている」と言える。
一般性を失っていることは、言語として分かりにくくなってしまうと俺は思うんだ。
>>512
正しい書き方は:
unique_ptr<int[]> b(new int[10]); //(1)
だったようだ。それはともかく、ちょっと意図が伝わらなかったのか、言いたかったのは、
unique_ptr<T> a; //(2)
の場合、a の型は T * であるかのように振舞う(T *a と宣言していたかのように振舞う)のに、
unique_ptr<U[]> b; //(3)
の場合、b の型は U* のように振舞うが、数学の様に(2)にT=U[]を代入してみると、
b の型は本来、T *b とした場合のように振舞うはずなので、数学的には U (*b) [] とした
場合の型になっていなければならないはずなのに、実際には、U *b のようにした場合
の型になっているということで、(3)は数学的には (2)の特殊形とはみなせないということ。
なので、unique_ptr<U[]>のテンプレートは、unique_ptr<T>のテンプレートとは別に人間が
意図的に専用のコードを書いて「特殊化」していることの証拠となるということ。
もちろんそれが「テンプレート特殊化」という仕組みで行われていることは知っているが、
数学的な意味で(2)を一般形とみなした場合の自動的な特殊形にはなってないということ
(だからこそ「テンプレート特殊化」で特殊な場合だけを例外的に特記するのではあるが)。
これは、unique_ptr<T>は、Tが配列型の場合は、Tがその他の場合と比べて
「一般性を失っている」と言える。
一般性を失っていることは、言語として分かりにくくなってしまうと俺は思うんだ。
515デフォルトの名無しさん
2021/04/28(水) 12:44:49.64ID:P6pu+tTf 「数学的に」
数学を知らないヤツがよく使う言葉
類義語
「物理的に」
数学を知らないヤツがよく使う言葉
類義語
「物理的に」
516デフォルトの名無しさん
2021/04/28(水) 12:56:00.95ID:VWIud7ZL 規格的にってのも仕事ができない言語厨がよく使ってるw
517デフォルトの名無しさん
2021/04/28(水) 12:57:27.64ID:jQpDsyge >>515
「数学的に」と書いたのは、法則に従った「規則変化」しているということだ。
言語仕様で決まっているとかではなく、記号パターンで「導出」されるというか。
「代入」の概念というか。
優先順位のために、U (*b)[] のような 記号になっているが、これも数学的に
演算子が演算される順序に従って「平坦」に書くと
b --> * --> [] --> U
となる。読み方は、一番左の b の部分以外が右から順に
bの型は「Uの配列へのポインタ」
となる。ちなみに、
T b の場合は、
b --> T
となり、読み方は、
bの型は「T」
となる。
「数学的に」と書いたのは、法則に従った「規則変化」しているということだ。
言語仕様で決まっているとかではなく、記号パターンで「導出」されるというか。
「代入」の概念というか。
優先順位のために、U (*b)[] のような 記号になっているが、これも数学的に
演算子が演算される順序に従って「平坦」に書くと
b --> * --> [] --> U
となる。読み方は、一番左の b の部分以外が右から順に
bの型は「Uの配列へのポインタ」
となる。ちなみに、
T b の場合は、
b --> T
となり、読み方は、
bの型は「T」
となる。
518デフォルトの名無しさん
2021/04/28(水) 12:58:27.74ID:jQpDsyge519デフォルトの名無しさん
2021/04/28(水) 13:01:24.71ID:jQpDsyge >>517
もう少し噛み砕いて書くと、コンパイラ内部では、
U (*b)[];
という宣言は、優先順位に従って、
b --> * --> [] --> U
となり、コンパイラ内部では左から順に
「bは、ポインタ(*)であり、その元の型は、配列([])であり、その元の型は、
U である」
と理解している。
もう少し噛み砕いて書くと、コンパイラ内部では、
U (*b)[];
という宣言は、優先順位に従って、
b --> * --> [] --> U
となり、コンパイラ内部では左から順に
「bは、ポインタ(*)であり、その元の型は、配列([])であり、その元の型は、
U である」
と理解している。
520デフォルトの名無しさん
2021/04/28(水) 13:04:48.90ID:jQpDsyge >>519
b --> * --> [] --> U
は、英語で読むと、左から順に、
「b is a pointer(*) to array([]) to type U.」
と読めて、言葉と記号の順序が一致する。
b --> * --> [] --> U
は、英語で読むと、左から順に、
「b is a pointer(*) to array([]) to type U.」
と読めて、言葉と記号の順序が一致する。
521デフォルトの名無しさん
2021/04/28(水) 14:25:22.22ID:uUyjbKVX void hoge(){
vector<int> a(10);
vector<int*> p(10);
for(int i=0; i<10; i++) p[i] = &a[i];
// play with a and p
}
っていう関数で a とか p に対してやったらやばい操作ってどんなんですかね
vector<int> a(10);
vector<int*> p(10);
for(int i=0; i<10; i++) p[i] = &a[i];
// play with a and p
}
っていう関数で a とか p に対してやったらやばい操作ってどんなんですかね
522デフォルトの名無しさん
2021/04/28(水) 14:41:21.61ID:P6pu+tTf 数学記号に関するIQて何?
523デフォルトの名無しさん
2021/04/28(水) 15:09:55.27ID:pxclvZlf524デフォルトの名無しさん
2021/04/28(水) 15:12:59.93ID:GWxUY3yT すごい
クソゲボゴミ老害の意見
頼まれたことはできない、自分なりに行動しても何も産まない、家族と職場の全員から疎まれてるバカ
天晴
クソゲボゴミ老害の意見
頼まれたことはできない、自分なりに行動しても何も産まない、家族と職場の全員から疎まれてるバカ
天晴
525デフォルトの名無しさん
2021/04/28(水) 15:14:07.47ID:UpJQEntB >>510
ありがとうございます!できないんですね…
ありがとうございます!できないんですね…
526デフォルトの名無しさん
2021/04/28(水) 15:21:22.38ID:aIuZlW8v527デフォルトの名無しさん
2021/04/28(水) 15:26:21.46ID:+7CWSFOZ >>521
pのサイズが変わるような操作はアドレスが変わる可能性があるので全てアウト
pのサイズが変わるような操作はアドレスが変わる可能性があるので全てアウト
528デフォルトの名無しさん
2021/04/28(水) 15:27:17.73ID:+7CWSFOZ >>527
おっと、aのサイズが〜の間違い
おっと、aのサイズが〜の間違い
529デフォルトの名無しさん
2021/04/28(水) 15:51:27.64ID:P5vpmJVI >>515
そうか、禿Stroustrupは数学を知らないのか
そうか、禿Stroustrupは数学を知らないのか
530デフォルトの名無しさん
2021/04/28(水) 15:52:12.82ID:Kf9DoDRw pのサイズ変わるのもまずいよね?
勝手に new/delete されて使用不能になりえるので
勝手に new/delete されて使用不能になりえるので
531デフォルトの名無しさん
2021/04/28(水) 16:03:18.23ID:P6pu+tTf >>529
どこからそういう結論になった?
どこからそういう結論になった?
532デフォルトの名無しさん
2021/04/28(水) 16:04:05.01ID:P6pu+tTf533デフォルトの名無しさん
2021/04/28(水) 16:06:25.57ID:7RK+jwPd >>530
晒しage
晒しage
534デフォルトの名無しさん
2021/04/28(水) 16:18:30.85ID:eLEqCP2l >>530
ダメな例をコードで示してくれ
ダメな例をコードで示してくれ
535デフォルトの名無しさん
2021/04/28(水) 16:28:13.84ID:c0w2coaF 自作クラスや構造体に対して範囲forを使うための条件って、そのクラスや構造体が
・メンバ関数としてbegin()、end()を持つ
・begin()、end()が間接参照演算子、インクリメント演算子、不等価演算子を持つクラスか構造体を返す
で合ってますか?
cpprefjp見てたら一個目の条件しか書いてなかったんですが、二個目の条件要りますよね?
・メンバ関数としてbegin()、end()を持つ
・begin()、end()が間接参照演算子、インクリメント演算子、不等価演算子を持つクラスか構造体を返す
で合ってますか?
cpprefjp見てたら一個目の条件しか書いてなかったんですが、二個目の条件要りますよね?
536はちみつ餃子 ◆8X2XSCHEME
2021/04/28(水) 16:35:30.69ID:cpOEbmvB537デフォルトの名無しさん
2021/04/28(水) 18:23:34.44ID:c0w2coaF もう一個質問させてください
範囲for文ってfor文スコープ外の変数を使えないんですか?
int i;
vector<int> v;
// v を初期化
for(i: v){
...
}
みたいなことをしたいです
範囲for文ってfor文スコープ外の変数を使えないんですか?
int i;
vector<int> v;
// v を初期化
for(i: v){
...
}
みたいなことをしたいです
538デフォルトの名無しさん
2021/04/28(水) 18:36:49.45ID:7AKt1vSf■ このスレッドは過去ログ倉庫に格納されています
ニュース
- バリ島で男子生徒ら集団万引きか、防犯カメラ映像が拡散 京都の大谷中学・高校が「窃盗行為」謝罪★4 [七波羅探題★]
- 中国軍機レーダー照射、トランプ氏沈黙突く 試される日本外交 [蚤の市★]
- 【地震】青森県で震度6強 長周期地震動も 津波注意報すべて解除 ★7 [ぐれ★] [ぐれ★]
- 【広島】「万引きした人を追跡」コンビニ店員の男性(46)を果物ナイフで刺したか 中国籍の少年(17)を殺人未遂容疑で現行犯逮捕 [ぐれ★]
- トランプ大統領 エヌビディア製AI半導体の中国輸出許可 安全保障重視の方針転換 [蚤の市★]
- 【サッカー】58歳カズ「オファーが来ている」 J3福島と近日中にも交渉 早ければ年内にも決断 [征夷大将軍★]
- 【悲報】高市早苗の擬人化がXで大バズりwwwwwwwwwwww [455031798]
- 高市が早くあの発言を撤回しないと、中国からもっと大きな制裁が飛んでくるぞ [805596214]
- 【動画】ファッションモデルまんこ、裸でランウェイを歩く。これがファッションだと言われて [749674962]
- 【画像】髙市さん「無職のシンママ支援を手厚くするため、世帯年収900万円以上の控除をカットします🙂」 [881878332]
- 早大名誉教授「高市内閣の高支持率はデータ操作か、支持している日本人がアホなのか」👈核心を突いてしまう [868050967]
- こんぺこ!こんぺこ!こんぺこ!🐰🏡
