C++相談室 part155 - 暇つぶし2ch

C++相談室 part155 at TECH

[前50を表示]
400:デフォルトの名無しさん
21/04/24 06:48:46.10 glcm53ed.net
using namespace std をヘッダファイル内で使いたいです。なんせ短くなるので
でも、そうすることでリスクを負うというのもわかります
どう折り合いをつけるべきでしょうか
皆さんはどうされていますか

401:デフォルトの名無しさん
21/04/24 06:59:42.53 xdmXCppW.net
>>381
メンバ関数追加するだけならまぁ問題は思いつかないけど(スライシングや非仮想のデストラクタはメンバ変数追加が無ければOK
ただ素のvectorからの代入やコピー、ムーブコンストラクトは出来ないので追加で書いてやらないといけない
さらにそのメンバ関数を呼ぶには派生型にキャスト(コピーとか防止のために参照でキャスト)をいちいち書かないといけない
まぁそんな面倒な派生クラス使うくらいならフリー関数にしといた方が楽だよね
そんなこんなで安易な機能追加のための継承(まして継承される前提でないクラスを)ってのは普通避ける

402:デフォルトの名無しさん
21/04/24 07:00:28.36 xdmXCppW.net
>>491
そんなの自分で決断すれば

403:デフォルトの名無しさん
21/04/24 07:00:46.76 xdmXCppW.net
すまん >>391だった

404:デフォルトの名無しさん
21/04/24 07:13:23.58 RMr7e0df.net
>>391
ARM C++のコンパイラ使ったら？
#include <iostream.h>
これならstd空間が元々ないよ

405:デフォルトの名無しさん
21/04/24 07:14:46.51 +S3huMNR.net
コンテナは継承するまでもないほど完成されていること、
コンテナを継承するくらいならコンテナをメンバ変数にもつクラスを定義したほうが機能拡張や仕様変更に対応しやすい
などなどでしょ

406:デフォルトの名無しさん
21/04/24 07:59:47.57 glcm53ed.net
>>393-394
でも例えば公開するとかなってくると当然 using namespace std; は問答無用で除くべきですよね？
あと近い話で、マクロってどこに書いたら良いんでしょうか
REPマクロ等を多用するんですが、同じマクロをいろんなヘッダファイルの冒頭に書くのって変ですか？
共通するマクロは、親に該当する utility.hpp みたいなヘッダファイルを作ってそこに書く等するべきですか？

407:デフォルトの名無しさん
21/04/24 08:07:53.01 RMr7e0df.net
>>397
ああ、それなら俺もやる
開発初期はusing namespace std;で色々試していて
公開がちらついてきたあたりで律儀にstd::を書くスタイルに変えていく

408:デフォルトの名無しさん
21/04/24 08:12:30.74 fCIZIfYl.net
同じものはまとめるのがプログラミングの鉄則

409:デフォルトの名無しさん
21/04/24 08:15:10.79 V/Qt/+uA.net
自分はC++17でusingディレクティブでなくusing宣言のパック展開使ってるけど、(using std::cout, std::endl, std::string; とか)
これも好ましくないのかな

410:デフォルトの名無しさん
21/04/24 08:17:39.39 +S3huMNR.net
using std::* したいスコープを独自の名前空間で囲めば他人に迷惑かけずに済む
マクロは名前空間を超えるので他人に迷惑かけやすい

411:デフォルトの名無しさん
21/04/24 08:30:55.95 glcm53ed.net
>>401
その理屈だと、公開するプログラムにおいてはマクロはよほどユニークな名前じゃない限り使うべきじゃないってことですか？

412:デフォルトの名無しさん
21/04/24 08:35:45.72 +S3huMNR.net
ヘッダーファイルでマクロを定義するなら名前衝突を警戒すべきであって理屈とかじゃなくてマナー

413:デフォルトの名無しさん
21/04/24 08:40:34.40 xdmXCppW.net
>>397
ユーザーにincludeされるヘッダじゃなくてcppでだけusingすればいいやろどうせ実装書かないんだから
(テンプレートとかでヘッダに実装書くならすでに出てる通り名前空間に隠すとか
 >>402
まず被らない名前ならいんじゃね
それかundefするヘッダも作って使い終わった段階でそれをインクルード

414:デフォルトの名無しさん
21/04/24 08:45:45.71 fCIZIfYl.net
Windowsのmin,maxとかAppleのcheckとか
考えなしの公開マクロ名は使う側に大迷惑だから慎重にしないといけない

415:デフォルトの名無しさん
21/04/24 09:19:30.74 aNHhbYgZ.net
minとmaxが関数型マクロなのはやさしさ
#include <Windows.h>
#include <stdio.h>
#include <algorithm>
int main() {
　int a = 3, b = 4;
　//int x = std::max(a, b);　　// NG! ビルドエラー
　int x = (std::max)(a, b);　　　// OK
　printf("x=%d\n", x);
}

416:デフォルトの名無しさん
21/04/24 09:57:34.16 RMr7e0df.net
#include <windows.h>
#undef max
#undef min

417:デフォルトの名無しさん
21/04/24 10:18:48.27 N1eYD/7j.net
>>398
>>401-403
namespace hoge {
using namespace std;
プログラム本体
}
って書いておけば他と干渉しないんじゃないの

418:
21/04/24 11:03:59.20 Acac14lu.net
>>307
あなたの粘着力には、ほとほとあきれかえりますね‥‥それって何年前の話？
URLﾘﾝｸ(toro.2ch.net)
171 ◆QZaw55cn4c [sage] 投稿日2013/07/11(木) 01:45:29.07
ラプラスは練習中
けれどもどうせ資格試験用だし、むずかしいことははなからやるつもりもないのです、複素関数論なんて一生縁がないとおもう留数とかもう忘れた‥‥
なお、実は 8　年たった今でも私はラプラスは練習中だったりするのです‥‥資格試験の方は諦めていますが
いま詰まっている箇所は以下の定理、証明がわからない、誰か教えて‥‥
URLﾘﾝｸ(ja.wikibooks.org)

419:デフォルトの名無しさん
21/04/24 11:32:30.02 plvAJ+CF.net
>>409
×留数とかもう忘れた・・・
◎留数なんて勉強してません高卒てすから

420:デフォルトの名無しさん
21/04/24 11:40:13.58 TN7U0OWK.net
学歴コンプレックスって醜いよね～
ところでラプラスって何ですか？
ラプラシアンなら知ってるんですけど
Lhaplusのことですか？

421:デフォルトの名無しさん
21/04/24 11:53:07.06 zTQKHVDv.net
>>409
そういうのは小さい次元,2x2あたりで計算してみて、大きい次元でも成り立ちそうだなと納得するのが早いかもですな

422:デフォルトの名無しさん
21/04/24 12:43:43.67 aNHhbYgZ.net
つか人生相談は板違い、
一生虐げられ続ける弱キャラとしての宿命がC++の規格書に書かれているなら話は別だが

423:デフォルトの名無しさん
21/04/24 12:44:49.58 aNHhbYgZ.net
>>407
天才か！

424:デフォルトの名無しさん
21/04/24 12:47:38.37 glcm53ed.net
ヘッダオンリーライブラリの体で自作のプログラム配布するときって、全体を namespace でくるむのがマナーなんですかね
普通な名前の関数を定義したりして衝突したら不味いから？

425:デフォルトの名無しさん
21/04/24 12:56:34.70 fCIZIfYl.net
ヘッダオンリーに限った話じゃない

426:デフォルトの名無しさん
21/04/24 13:00:31.18 xdmXCppW.net
>>414
それならNOMINMAXでいいのでは

427:デフォルトの名無しさん
21/04/24 13:05:05.35 aNHhbYgZ.net
>>417
もしプリコンパイルヘッダーに
#define NOMINMAX
#include <Windows.h>
と書いてしまった暁には、マクロ版のmin()やmax()を使いたい人は
どうやって生きていくんじゃ……

428:デフォルトの名無しさん
21/04/24 13:16:46.63 xdmXCppW.net
なるほど（´･ω･`）

429:デフォルトの名無しさん
21/04/24 13:33:18.27 5mKZGvgg.net
boost の多次元配列ライブラリ multi_array を使ってるんだが、両辺の shape が違うときに = で代入できないのがストレスなので、引数の shape が違うときには左辺を右辺と同じようにリサイズしてから代入するように = の定義を変えたい
演算子のオーバーロードってテクを使えば良いらしいが、これは諸刃の剣で注意が必要みたいな記事を見て戦々恐々としてる、、、
代入演算子のオーバーロードで最低限気をつけるべきことってどういうものですかね

430:デフォルトの名無しさん
21/04/24 14:01:29.71 F03PJ4BE.net
気をつけるべきこと
代入演算子を一時的なストレスでオーバーロードしない

431:デフォルトの名無しさん
21/04/24 14:04:54.62 xdmXCppW.net
代入はグローバルに書けないはず
メンバとして書くしかない->multi_arrayのヘッダを書き換えるしかない

432:デフォルトの名無しさん
21/04/24 14:18:13.19 jLd1Bq7I.net
new して確保するわけじゃない、既存の変数のアドレスを格納するだけのポインタって別にスマートポインタじゃなくて生ポで持てば十分だよね？

433:デフォルトの名無しさん
21/04/24 14:33:50.86 RMr7e0df.net
生ポでいい用途を自信を持って判断できず「念のため」スマポ使うやつでも見かけた？

434:デフォルトの名無しさん
21/04/24 14:39:12.20 jLd1Bq7I.net
いや自分が不安なだけ

435:デフォルトの名無しさん
21/04/24 15:34:17.33 fCIZIfYl.net
用途次第だけどnullにならない分参照の方がいいかもしれない
もしくはshared_ptrと一緒に使うならweak_ptr

436:デフォルトの名無しさん
21/04/24 15:39:23.77 jLd1Bq7I.net
>>426
後出しですみませんが、vector の各要素へのポインタを vector で持つ事も考えてます
参照の vector は普通には持てないので、その意味でももう生ポインタの vector で良いかって気になっていました

437:デフォルトの名無しさん
21/04/24 15:46:35.43 fCIZIfYl.net
reference_wrapperなら参照vector作れるけど、そこまでしたくないってことならポインタでいいんじゃない
気をつけてな

438:デフォルトの名無しさん
21/04/24 17:56:54.49 F03PJ4BE.net
考えるべき所がズレてる
既存の変数はポインタを保持してる期間に必ず存在しているか
別スレッドから既存の変数へのアクセスが発生するか
表記方法を考えるのはその後

439:はちみつ餃子
21/04/24 18:25:12.58 ubeHrzBk.net
>>423
こういう場面では生ポインタでいいよね？っていう意味？
#include <memory>
int main(void) {
int a;
std::unique_ptr<int> b(&a);
}
むしろ不必要に解放しようとしてワヤになるんで、生ポインタである必要がある。
デリータが何もしないようにすればスマートポインタでも大丈夫ではあるけど、
あえてそうする必要もないし。
>>427
std::vector は要素を追加するなどしたときに再配置が起こる可能性があるから
要素へのポインタ (または参照) を持つのはあまりオススメできない。
(インデックスで持ったほうがいい。)
適切に管理できるならポインタでもそれほど問題でもないんだけど、
質問の雰囲気を見る限り十分な理解があるような感じでもないので……。

440:デフォルトの名無しさん
21/04/24 18:40:32.67 F03PJ4BE.net
vectorの中身なら
要素の参照やポインタ
vectorの参照やポインタと要素のインデックス
イテレター
色々と持ち方があるから
場面場面において適切なのを選ぶ
メモリ管理をしてないのにスマポで保持は無い

441:デフォルトの名無しさん
21/04/24 22:02:18.72 aNHhbYgZ.net
>>234
あ
った
>3-5-1. 逆数を精度よく求めれば割り算できる
URLﾘﾝｸ(qiita.com)

442:デフォルトの名無しさん
21/04/25 01:50:20.57 Y3JQTvld.net
>>430
> std::vector は要素を追加するなどしたときに再配置が起こる可能性があるから
> 要素へのポインタ (または参照) を持つのはあまりオススメできない。
> (インデックスで持ったほうがいい。)
再配置が起きたとして、ポインタが指してる先が危険にさらされることなんてあるんですか？

443:デフォルトの名無しさん
21/04/25 02:05:45.03 NKfmb8Oe.net
newした新しいメモリにコピーして古いのをdeleteしたら古いのを指してるポインタはもう使えんだろ
ほら最近初心者への教え方がおかしい&最初からスマポ押し付けるからこういうのが出てくる・・

444:デフォルトの名無しさん
21/04/25 02:18:07.61 qqNNQCrU.net
いや new や delete はしないって書いてあるよ
よく読んでおじいちゃん

445:デフォルトの名無しさん
21/04/25 02:22:40.39 NKfmb8Oe.net
>>435
本気で言ってんのか？

446:デフォルトの名無しさん
21/04/25 03:15:48.16 vJWG11Gh.net
最近のC++が難しく感じる原因は、cppreferenceに頼ってる人が多いから
ではないか。あそこはドキュメントの品質が悪くて混乱の原因になる。

447:デフォルトの名無しさん
21/04/25 04:11:52.10 vJWG11Gh.net
C++は、代入/コンストラクタがmove系とcopy系で原理的には好き勝手にプログラム
できるので、バグが出た時にプログラムの流れを追うためにはmoveとcopyのどちらが
呼び出されているかプログラマがコードから明確に区別ができないと困るね。
その点、デフォルトmoveで、xxx.clone()としない限りは複製されないRustの
設計思想はそれはそれで便利と言えるかな。
どちらが優れているかは一概には分からないかも知れないけれども、デバッグ
時の追いやすさの観点からすればRust流の方が良いかな。

448:デフォルトの名無しさん
21/04/25 04:21:43.82 vJWG11Gh.net
>>438
C++の場合は、x=std::move(y);と書けば明示的にmove系が呼び出されるので
その場合、混乱は生じないが、右辺が関数の戻り値が構造体型/クラス型の場合、
RVO(Return Value Optimization)が働いたり、右辺が「クラス名(引数列)」
のようなテンポラリオブジェクト作成の場合にはmove系が選択される
という「自動振り分け機能」があり、自分が知らないだけでそれ以外にも
特殊なパターンがまだあるかもしれないことが、不安や予想しづらい
原因になっていると思う。
Rustの場合は、自動化されているかと思いきや、実際には、代入などが
move/copyのどちらになるかに関しては、自動ではなく、
デフォルトmoveで、x.clone()とした場合にのみcopyという明示的に
区別する方式なんだと思う。

449:デフォルトの名無しさん
21/04/25 04:31:24.47 C7wl+mxO.net
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

450:デフォルトの名無しさん
21/04/25 04:50:08.06 2+KF94a+.net
new,deleteが起きないとかいうトンデモ理論はshared_ptr<T>のstd::vectorと混同した感じ？

451:デフォルトの名無しさん
21/04/25 05:28:38.68 oSZrNkR7.net
数値計算畑の人間だけど、numpy with MKL が C++ より速くてワロス
もうホントにニッチな領域でしか使わなくなっていくな C++

452:
21/04/25 05:44:12.98 vI2EHMtp.net
>>442
それはシングルユーザーライセンスであっても 500千円からという価格のインテル製コンパイラやライブラリを使うからなのでは？

453:デフォルトの名無しさん
21/04/25 07:18:12.21 U1znDmKO.net
多次元配列の添字を入れ替える関数を実装したいのですが、任意の次元に対応するものをどう作れば良いのかわかりません。
たとえば 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 次元に対応した関数、…… といった感じで各次元に特殊化した関数を実装するべきでしょうか？
できれば一般的というか汎用の関数を作りたいのですが。。。

454:デフォルトの名無しさん
21/04/25 07:43:25.17 C7wl+mxO.net
シングルユーザーライセンスであっても 500千円からという価格のインテル製コンパイラやライブラリ
を使ってもnumpy with MKL が C++ より速いとかこの世は暗黒だな

455:デフォルトの名無しさん
21/04/25 07:46:35.71 NKfmb8Oe.net
v[0]やv[i][0]が配列なのか単一の型なのかは判定できるから
enable_ifで分けてオーバーロード(再帰するかしないか)とか出来るはず

456:デフォルトの名無しさん
21/04/25 08:25:03.80 1HSCMwQ7.net
>>435
>>435

457:デフォルトの名無しさん
21/04/25 09:11:43.96 /NByfBPS.net
>>433
>>427で「vector の各要素へのポインタ」って書いてるからそっちの話だろう

458:デフォルトの名無しさん
21/04/25 10:57:33.64 vJWG11Gh.net
>>445
MKLがIntel製で、
「Intel Math Kernel Library (MKL) というのは, Intel 製の高速な数値計算ライブラリ」
だよ。
つまり、Pythonでは、Intel製の高速なライブラリを使っているが、C++では
使って無い場合の速度比較。

459:デフォルトの名無しさん
21/04/25 15:10:42.39 U1znDmKO.net
>>446
なるほど……
勉強してみますが大変そうですね
外部ライブラリに頼るか迷いますが、多次元配列は非常に基本的な機能だと思ってるので最低限度で取り回しの良いものを自分で持っておきたいという思いがあります……

460:デフォルトの名無しさん
21/04/25 15:24:49.11 o+U9INbB.net
自分で作った方が融通がきく

461:デフォルトの名無しさん
21/04/25 15:28

462::33.67 ID:o+U9INbB.net

463:デフォルトの名無しさん
21/04/25 16:15:38.64 r+TKoBrZ.net
>>452
v[ {x, y, z} ] みたいに要素アクセスするってことですか？

464:デフォルトの名無しさん
21/04/25 17:26:07.51 Ef2Yns/P.net
MKLが元々c/c++のライブラリってことも知らん輩がおるのか。。
まあ確かにnumpyやってりゃ問題はないが。

465:デフォルトの名無しさん
21/04/25 17:43:00.50 C7wl+mxO.net
MKLが元々c/c++のライブラリってことは知ってたが
Pythonでシングルユーザーライセンスであっても 500千円からという価格とは思わなかった
、

466:デフォルトの名無しさん
21/04/25 17:59:18.91 Nhz8hzcU.net
>>448
生ポインタのvectorってだめなんだ
やってたかも
まあpush_backとかしなければいいんかしらんけど

467:デフォルトの名無しさん
21/04/25 18:15:22.48 S2tV53BX.net
>>454
でも
「numpy with MKL が C++ より速くて」
という言葉からすれば、Pythonの時だけそれを使い、C++の時にはそれを使ってない
としか思えない。
PythonでもC++でも同じMKLを使ってて、Pythonの方がC++より
速いなんて事は有り得ないだろうし。

468:デフォルトの名無しさん
21/04/25 18:56:01.14 jEvf9lKr.net
>>456 だれも生ポインタのvectorがだめなんて言ってないから何か勘違いしてそう。

469:デフォルトの名無しさん
21/04/25 19:04:09.59 /NByfBPS.net
>>456
ん？ダメなのはvector要素へのポインタだぞ？

470:デフォルトの名無しさん
21/04/25 19:17:31.67 2+KF94a+.net
>>459
だめなのであれば、std::vectorの存在意義を否定することになりかねない。
C互換の配列およびポインタを実現するコンテナはstd::vectorだけ。
危険性を分かったうえで使う、というのが正しいかと。

471:デフォルトの名無しさん
21/04/25 19:26:38.89 /NByfBPS.net
>>460
どういう意味で存在意義を否定することになると言っているんだろうか。
必要に応じて再配置してくれるのもvectorの存在意義だと思っているが？

472:デフォルトの名無しさん
21/04/25 20:19:11.49 2+KF94a+.net
昔のstd::vectorは先頭アドレスを取得するメンバ関数data()がなかったのでポインタとして使うことに多少の背徳感があった

473:デフォルトの名無しさん
21/04/25 21:16:54.88 JRQD9I35.net
>>453
そう

474:デフォルトの名無しさん
21/04/25 21:20:17.62 JRQD9I35.net
>>459
ポインタ保持中にvectorがresizeしないなら
ポインタ保持で何の問題もない

475:デフォルトの名無しさん
21/04/25 22:15:04.13 yRd8KdQ6.net
要素の再配置ができない場合や要素のポインタを扱う場合は、多少効率は落ちるがstd::dequeつかえば良いと思う

476:デフォルトの名無しさん
21/04/25 22:40:08.86 2+KF94a+.net
>>465
> vector とは異なる欠点として deque は連続した位置のストレージに全ての要素を持つことを保証していないため、ポインタ演算を介しての安全なアクセスの可能性を排除する。
URLﾘﾝｸ(cpprefjp.github.io)

477:デフォルトの名無しさん
21/04/25 22:44:46.90 yRd8KdQ6.net
>>466
あぁ、連続要素アクセスは確かにだめだなw

478:デフォルトの名無しさん
21/04/25 22:50:09.53 yRd8KdQ6.net
でも、連続要素アクセスならポインタなんか使わずに範囲for分なりiteretor使った方が楽だよね

479:デフォルトの名無しさん
21/04/25 22:51:31.52 9+aEf3uB.net
なるべくキャッシュに入れたいって率でメモリ連続性を求めてる人たちはたぶんそれだとキツい

480:デフォルトの名無しさん
21/04/25 22:54:28.47 2+KF94a+.net
Win32APIなどOS固有のシステムコールはC言語を前提に作られているので、C++でその恩恵を得たいならメモリ連続性が保証されたコンテナが必要不可欠

481:デフォルトの名無しさん
21/04/25 23:17:48.67 yRd8KdQ6.net
APIがらみだとstd::arrayのheap使用版みたいなのが欲しくなることがあるな
vectorだと初期化が若干面倒なんだよね

482:デフォルトの名無しさん
21/04/26 04:02:46.84 BvXVNvk7.net
>>450
ごめんさらっと言ったけど、現在の各次元のインデックスも実行時の数値として渡す必要あるし再帰と相性悪いかも
ただ文法上、次元数に関わらず同じコードで、ってなるとテンプレートと再帰は必須だと思う
けどそこまでしても、君が書いてた一次元で除算と剰余使うのと比べてそんな速くなるとも思えんので無理せず一次元でいいと思うw

483:デフォルトの名無しさん
21/04/26 11:25:57.38 BvXVNvk7.net
URLﾘﾝｸ(wandbox.org)
気になったのでやってみた、実測(一次元、および要素数決め打ちとの)はめんどいので頼む・・

484:デフォルトの名無しさん
21/04/26 14:15:12.52 REE9nEfp.net
numpy のAPIを C/C++ から使うのがお薦め

485:デフォルトの名無しさん
21/04/26 14:59:17.98 S9wNYjN0.net
>>473
ありがとうございます
正直 beyond me って感じですが、勉強になります
こういう再帰的な定義って STL の [] も同じなんですかね？

486:デフォルトの名無しさん
21/04/26 15:04:19.62 S9wNYjN0.net
>>474
これって、numpy の記法で C++ の配列を操るというわけではなく、Python (numpy) を C++ から操るということですよね？
全ての処理を numpy の機能で行なうことにすれば、全ての計算が事実上 C++ で動くことになるから速いって感じなんですかね

487:デフォルトの名無しさん
21/04/26 16:39:19.86 BvXVNvk7.net
>>475
いや再帰してるのは単にint[I][J][K]をint[J][K]のループ、さらにint[K]のループに(配列の参照で)分解するためにやってるだけ
(そうすればどの階層でもt[i]で書けるから
ただこれ、コンパイル時に要素数も次元数もわかってる固定長の配列でしか使えないんだよね
ポインタを要素数決め打ちで多次元配列の参照にキャストして渡すのは出来るかもしれんけど・・
まぁ要素数が実行時にしか分からなくても使える一次元での計算のが汎用性高いと思う

488:デフォルトの名無しさん
21/04/26 17:57:15.41 NyQKOVd9.net
C++なんだし
多次元コンテナ使おうよ

489:デフォルトの名無しさん
21/04/26 18:43:48.56 G51Jv2BH.net
皆さまコロナ禍いかがお過ごしでしょうか
ちょっと質問させてください
特定のクラス内部で自身の型を格納するコンテナを実体として確保し、そのコンテナから入れ子状？のような形で使用しています
私の環境では動くのですが、これを動かしても安全なのでしょうか？
クラス内部には自身の型を確保できないと聞いたことがあります……
問題が起きそうな気配がしなくもない感じがしますが
当方素人です
class hoge{
Int a;
bool b;
vector<hoge> hoge_vec;
};
このクラスを
hoge Tochigi;
Tochigi.hoge_vec[0].a=315;
というように使っているのですが……

490:デフォルトの名無しさん
21/04/26 19:13:39.09 yzDyA3P+.net
ビルド通る？

491:はちみつ餃子
21/04/26 19:25:06.15 AdDHfoXQ.net
>>479
問題ない。クラスは自分自身を内包できないが、
それは自分を内包した自分というものが可能だとすると
大きさが無限になってしまって確定できないからで、
参照やポインタとして持つ分にはそういった問題にならない。
std::vector の実体としてはヒープに確保した配列に要素を入れていく形になるので、
この場合に hoge が hoge を内包しているわけではない。

492:デフォルトの名無しさん
21/04/26 19:35:48.39 G51Jv2BH.net
>>481
ありがとうございます
アロケーターがコンテナ用の領域を確保してくれるので確保可能と言うことでしょうか？
クラス内部で要素数ゼロのvector領域を確保してメモリを予約してるのかな？
vectorの型がvector分の領域を計算できないから見た感じ不可能だと思って
どういう処理してるのか

493:はちみつ餃子
21/04/26 19:37:27.97 AdDHfoXQ.net
>>482
std::vector が適当な大きさの配列へのポインタを持つ構造だと思ったらだいたい正しい。

494:デフォルトの名無しさん
21/04/26 19:57:41.54 G51Jv2BH.net
>>483
その言い方でなんとなくわかった気分になりました
連続で確保できる適当な長さの配列の先頭へのアドレスを確保してるってこと？
自身の大きさは除外してほかのメンバ変数の大きさだけを配列0番目に確保すればいいのかな

495:デフォルトの名無しさん
21/04/26 19:58:27.26 G51Jv2BH.net
前回も餃子さんに答えていただいた記憶
どうもありがとうございました

496:デフォルトの名無しさん
21/04/26 20:26:32.67 ckbrupKp.net
いずれ共有ポインタのvectorを使いたくなるはず
GW期間中に循環参照の罠を思う存分楽しむといい

497:デフォルトの名無しさん
21/04/26 20:32:09.29 1d/LxAg8.net
やはりノードシステムこそ至高

498:デフォルトの名無しさん
21/04/26 20:51:21.16 G51Jv2BH.net
共有ポインタのvectorって何だろう？
sheared_ptrの事ですか？

499:デフォルトの名無しさん
21/04/27 00:45:26.56 XHlpaM1W.net
>>478
標準ライブラリは遅いから、使いたくないです

500:デフォルトの名無しさん
21/04/27 01:07:31.65 rFiajegR.net
別に標準ライブラリじゃなくて良いんだよ

501:デフォルトの名無しさん
21/04/27 03:14:22.91 /IsfP16Y.net
>>478
mdspan？

502:デフォルトの名無しさん
21/04/27 08:10:53.39 eX4df2SV.net
多次元コンテナってもう標準ライブラリ入ってるんですか？

503:デフォルトの名無しさん
21/04/27 08:23:06.09 rYx8lJmb.net
なきゃ作れ

504:デフォルトの名無しさん
21/04/27 08:28:06.32 jjM1CAyW.net
>>493
や、>>478さんはどういう意味で仰ってるのかなと思った次第です

505:デフォルトの名無しさん
21/04/27 08:34:35.77 rYx8lJmb.net
良いのがあったら使えば良いし
無きゃ作れば良い
っていう感じ
多次元コンテナなんて
使い方によって最適な実装はいくらでも変わるんで
汎用性を追及するのは時間の無駄

506:デフォルトの名無しさん
21/04/27 10:24:53.85 9qe4V1bo.net
左辺には置けないものがある、その一覧とか例とかありますかね・・・

507:デフォルトの名無しさん
21/04/27 10:39:34.03 zzzFrqtR.net
例？
整数リテラル

508:デフォルトの名無しさん
21/04/27 12:29:20.94 ul4gccCl.net
関数

509:デフォルトの名無しさん
21/04/27 12:34:12.25 rYx8lJmb.net
const

510:デフォルトの名無しさん
21/04/27 14:47:15.34 V9b4VlmB.net
>>496
・定数リテラル、const属性が付くもの、は置けない。
・関数呼び出しの関数()は、戻り値は、伝統的に右辺値扱いになるので左辺に置くとエラー
　になる様になっている。
　戻り値は、構造体型(クラス型/union型含む)/整数型/浮動小数点型/ポインタ型/列挙型の場合
　を想定した。
・*ptr のようなものは左辺値になるので置ける。
・変数名はconst 修飾されていないなら置ける。
・構造体変数名.データメンバ名は const 修飾されていないなら置ける。
・「関数名」は置けない。これは関数呼び出しの関数()とは別の話。
・&x は置けない。理由としては右辺値であるから。constでもあるが。
・x + y は、組み込み演算子の場合でも、関数呼び出しに置き換わった場合でも
置けない。後者の場合は、関数の戻り値が置いてあるということになるが右辺値だから。
　前者の場合は、右辺値だからだと思う。

511:デフォルトの名無しさん
21/04/27 14:48:40.00 V9b4VlmB.net
>>500
>・構造体変数名.データメンバ名は const 修飾されていないなら置ける。
これについては、構造体変数名が、右辺値の場合は、
構造体変数名.データメンバ名も右辺値になるため、置けない。

512:デフォルトの名無しさん
21/04/27 15:10:33.44 V9b4VlmB.net
[続き]
・(cast)x は置けない。理由は、右辺値になるから。
なので、int i; (char)i = 5; はエラーになる。
　そうしたい場合は、*(char *)&i = 5; と書く。

513:デフォルトの名無しさん
21/04/27 17:53:11.42 x+a+UXmv.net
配列を要素展開して、可変長引数の関数に渡したいんですけど、どうかけばいいか分かりません
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]/* なんて書くのか*/);
}

514:デフォルトの名無しさん
21/04/27 18:30:39.66 z5odOJ3h.net
>>502
(char &)iでええやん...
>>503
index_sequence

515:デフォルトの名無しさん
21/04/27 19:37:01.40 2o2XkKHN.net
>>504
ありがとう出来ました

516:デフォルトの名無しさん
21/04/27 19:58:19.96 1Ls3FsW9.net
通常クラスのコンストラクタにテンプレート引数がある場合ってどう呼び出したらよいでしょう？
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);

517:デフォルトの名無しさん
21/04/27 20:39:05.42 eX4df2SV.net
代入演算子ってメンバ関数じゃないとだめなんだな
thisを返すから当たり前だが、オーバーロードしたいとき困る
a = b を意味する assign(a, b) を作るしかない？

518:デフォルトの名無しさん
21/04/27 21:47:32.08 rFiajegR.net
別にthisを返す必要もないけど

519:デフォルトの名無しさん
21/04/28 00:01:05.47 pTBAhwEs.net
thisがどうのじゃなくてコピー代入演算子とムーブ代入演算子が特別扱いだから

520:デフォルトの名無しさん
21/04/28 02:07:16.16 LEZnE3AK.net
>>506 URLﾘﾝｸ(timsong-cpp.github.io)
> [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]

521:デフォルトの名無しさん
21/04/28 03:41:16.44 v8E9sca8.net
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; と書かねば成らないが、実際にはそうではない。

522:はちみつ餃子
21/04/28 05:20:55.28 cpOEbmvB.net
>>511
> テンプレート自体が別に用意されてるんだよね？
特殊化で配列の場合は特別に用意されている。
> unique_ptr<int[]> b = new int[10];
> と書いた場合、b は、int[10] へのポインタ、つまり、int (*b)[10] のように
> 振舞わなければならない。
(そのように b を初期化することは出来ない (生ポインタを受け取るコンストラクタには explicit が付いてる) が、意図はわかるのでとりあえずわきに置く。)
new int[10]; という式の型は int* なので、この時点で配列の大きさに関する情報は失われている。
(配列の先頭要素を指す生ポインタではなく) 配列を指す生ポインタのようにスマートポインタを抽象化する意味がない。
どうしてもやりたければ std::array と組み合わせればいいし。

523:デフォルトの名無しさん
21/04/28 12:25:48.23 jQpDsyge.net
>>512
すまん。正しい書き方は：
unique_ptr<int[]> b(new int[10]);　//(1)
だったようだ。
ちょっと意図が伝わらなかったのか、言いたかったのは、
unique_ptr<T> a;　　//(2)
の場合、a の型は、T* のようになるのに、
unique_ptr<U[]> b;
の型は、U* のようになるので、数学の様に最初のT=U[]

524:デフォルトの名無しさん
21/04/28 12:39:35.77 jQpDsyge.net
すまん、まちがって送信してしまった。
>>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がその他の場合と比べて
「一般性を失っている」と言える。
一般性を失っていることは、言語として分かりにくくなってしまうと俺は思うんだ。

525:デフォルトの名無しさん
21/04/28 12:44:49.64 P6pu+tTf.net
「数学的に」
数学を知らないヤツがよく使う言葉
類義語
「物理的に」

526:デフォルトの名無しさん
21/04/28 12:56:00.95 VWIud7ZL.net
規格的にってのも仕事ができない言語厨がよく使ってるw

527:デフォルトの名無しさん
21/04/28 12:57:27.64 jQpDsyge.net
>>515
「数学的に」と書いたのは、法則に従った「規則変化」しているということだ。
言語仕様で決まっているとかではなく、記号パターンで「導出」されるというか。
「代入」の概念というか。
優先順位のために、U (*b)[] のような記号になっているが、これも数学的に
演算子が演算される順序に従って「平坦」に書くと
b --> * --> [] --> U
となる。読み方は、一番左の b の部分以外が右から順に
bの型は「Uの配列へのポインタ」
となる。ちなみに、
T b の場合は、
b --> T
となり、読み方は、
bの型は「T」
となる。

528:デフォルトの名無しさん
21/04/28 12:58:27.74 jQpDsyge.net
>>515
ちなみに、俺は数学記号に関するIQは200を越えている。
トータルでも150以上。

529:デフォルトの名無しさん
21/04/28 13:01:24.71 jQpDsyge.net
>>517
もう少し噛み砕いて書くと、コンパイラ内部では、
U (*b)[];
という宣言は、優先順位に従って、
b --> * --> [] --> U
となり、コンパイラ内部では左から順に
「bは、ポインタ(*)であり、その元の型は、配列([])であり、その元の型は、
　U である」
と理解している。

530:デフォルトの名無しさん
21/04/28 13:04:48.90 jQpDsyge.net
>>519
b --> * --> [] --> U
は、英語で読むと、左から順に、
「b is a pointer(*) to array([]) to type U.」
と読めて、言葉と記号の順序が一致する。

531:デフォルトの名無しさん
21/04/28 14:25:22.22 uUyjbKVX.net
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 に対してやったらやばい操作ってどんなんですかね

532:デフォルトの名無しさん
21/04/28 14:41:21.61 P6pu+tTf.net
数学記号に関するIQて何？

533:デフォルトの名無しさん
21/04/28 15:09:55.27 pxclvZlf.net
>>521
理屈を理解してない状態なら何やったってやばいよ
まあ、みんなやらかしながら覚えるもんだから心配せずどんどんコード書いて地雷踏んで地獄に嵌まれ
ただしプロダクションのコードだけは書くなよ

534:デフォルトの名無しさん
21/04/28 15:12:59.93 GWxUY3yT.net
すごい
クソゲボゴミ老害の意見
頼まれたことはできない、自分なりに行動しても何も産まない、家族と職場の全員から疎まれてるバカ
天晴

535:デフォルトの名無しさん
21/04/28 15:14:07.47 UpJQEntB.net
>>510
ありがとうございます！できないんですね…

536:デフォルトの名無しさん
21/04/28 15:21:22.38 aIuZlW8v.net
ああなるほど、最近多い >>521みたいなのは、中で何が起こるか想像できてない(基本すら出来てない)から
いちいちこんなこと訊いてるのか・・・
何度も言ってるけど教える順番おかしいんだよマジで
 >>524
自己紹介？

537:デフォルトの名無しさん
21/04/28 15:26:21.46 +7CWSFOZ.net
>>521
pのサイズが変わるような操作はアドレスが変わる可能性があるので全てアウト

538:デフォルトの名無しさん
21/04/28 15:27:17.73 +7CWSFOZ.net
>>527
おっと、aのサイズが～の間違い

539:デフォルトの名無しさん
21/04/28 15:51:27.64 P5vpmJVI.net
>>515
そうか、禿Stroustrupは数学を知らないのか

540:デフォルトの名無しさん
21/04/28 15:52:12.82 Kf9DoDRw.net
pのサイズ変わるのもまずいよね？
勝手に new/delete されて使用不能になりえるので

541:デフォルトの名無しさん
21/04/28 16:03:18.23 P6pu+tTf.net
>>529
どこからそういう結論になった？

542:デフォルトの名無しさん
21/04/28 16:04:05.01 P6pu+tTf.net
>>530
何がまずい？
勝手にnew/deleteとは？

543:デフォルトの名無しさん
21/04/28 16:06:25.57 7RK+jwPd.net
>>530
晒しage

544:デフォルトの名無しさん
21/04/28 16:18:30.85 eLEqCP2l.net
>>530
ダメな例をコードで示してくれ

545:デフォルトの名無しさん
21/04/28 16:28:13.84 c0w2coaF.net
自作クラスや構造体に対して範囲forを使うための条件って、そのクラスや構造体が
・メンバ関数としてbegin()、end()を持つ
・begin()、end()が間接参照演算子、インクリメント演算子、不等価演算子を持つクラスか構造体を返す
で合ってますか？
cpprefjp見てたら一個目の条件しか書いてなかったんですが、二個目の条件要りますよね？

次ページ