C++相談室 part150

**デフォルトの名無しさん** · 2020/03/24(火) 00:04:33.93

C++に関する質問やら話題やらはこちらへどうぞ。
ただし質問の前にはFAQに一通り目を通してください。
IDE (VC++など)などの使い方の質問はその開発環境のスレにお願いします。

前スレ
C++相談室 part149
https://mevius.5ch.net/test/read.cgi/tech/1581974381/
このスレもよろしくね。
【初心者歓迎】C/C++室 Ver.105【環境依存OK】
http://mevius.5ch.net/test/read.cgi/tech/1556142878/

■長いソースを貼るときはここへ。■
　http://codepad.org/
　https://ideone.com/

[C++ FAQ]
https://isocpp.org/wiki/faq/
http://www.bohyoh.com/CandCPP/FAQ/ (日本語)

テンプレここまで

**デフォルトの名無しさん** · 2020/04/02(木) 18:42:26.03

禿げにノーベル賞を！

**デフォルトの名無しさん** · 2020/04/02(木) 18:51:05.61

>>147
ドラゴンブックを一通り実装したかどうかで変わるだけでは。

**デフォルトの名無しさん** · 2020/04/02(木) 19:38:08.14

右辺値参照とmoveでET不要になる？

**デフォルトの名無しさん** · 2020/04/02(木) 21:38:05.56

>>150
不要にはならない。
より効果的に使えるようになる。

**デフォルトの名無しさん** · 2020/04/02(木) 21:57:48.18

>>147
自分が書いたコードの中までコペンハーゲン解釈なんだろ
量子コンピュータでもないTTL～CMOSの回路で

**デフォルトの名無しさん** · 2020/04/03(金) 19:34:28.81

>>150
「ET」とはなんですか？

**デフォルトの名無しさん** · 2020/04/03(金) 21:35:11.04

>>153
ET (Expression Template)

**デフォルトの名無しさん** · 2020/04/03(金) 22:08:14.80

>>152
デジタル回路は決定論的かもしれんがI/Oを通して外界と繋がっている件

**デフォルトの名無しさん** · 2020/04/05(日) 06:22:54.73

デマングルのことで質問があります。Ubuntu上でwebkitgtkというライブラリを見てるんですが、ライブラリ内に
以下のような2つのシンボル

_ZN3WTF6StringC1EPKDsj
_ZN3WTF6StringC2EPKDsj

があるんですが、これらはデマングル後

WTF::String::String(char16_t const*, unsigned int)
WTF::String::String(char16_t const*, unsigned int)

となって区別がつかない（少なくとも自分には）んですが、これはどういうことでしょう。C1とC2という部分の違いは...
ちなみに元のコード上では同じ型のコンストラクタがダブってたりはしていません（と思います）。し、ダブってたら
コンパイル時にエラーになりますよね?
リンカー的にはデマングル前のシンボルで扱うんでしょうから両者とも必要なんでしょうねやはり

**デフォルトの名無しさん** · 2020/04/05(日) 08:18:36.63

unique_ptrについて質問です。
std::unique_ptr<T> uptr(new T);
に対して、uptr.get() と *reinterpret_cast<T**>(&uptr) は常に一致するでしょうか。

用途としては生ポインタの配列を受けとる関数にstd::vector<std::unique_ptr<T>>を渡したいです。
例：
void display_ptr(size_t n, int** pp){
　　for(size_t i=0; i<n; ++i){
　　　　std::cout << pp[i] << '\n';
　　}
}
int main(){
　　std::vector<std::unique_ptr<int>> vec;
　　for(size_t i=0; i<3; ++i){
　　　　vec.emplace_back(new int);
　　}
　　display_ptr(vec.size(), reinterpret_cast<int**>(&vec[0]));
　　return 0;
}

**デフォルトの名無しさん** · 2020/04/05(日) 09:51:55.61

>>157
しない

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

>>156
https://chromium.googlesource.com/chromium/src.git/+/62.0.3178.1/third_party/WebKit/Source/platform/wtf/text/WTFString.h
88行あたりから

**デフォルトの名無しさん** · 2020/04/05(日) 14:16:13.12

>>156
ググったらすぐに出てきたぞ
https://stackoverflow.com/questions/49824915/ambiguity-of-de-mangled-c-symbols

**デフォルトの名無しさん** · 2020/04/05(日) 14:41:32.21

UChar * と char16_t * の方だから 84-86 行目の方だったスマソ

**デフォルトの名無しさん** · 2020/04/05(日) 17:57:58.00

>>160
おっとすみません、単なるその説明の訳かもしれませんが、 内部的には (1)基底クラスを直接使う時のコンストラクタ (2)基底クラスから継承したクラスを
使う時に基底クラスを初期化するコンストラクタと二つある、
けどデマングルした名前では両者の区別はつかなくなる（だけ）、みたいな感じでいいんですかね?

>>159 >>161
うーんと意味がよくわからないです。あと、特定のコードには寄らない話っぽいですね。

**デフォルトの名無しさん** · 2020/04/06(月) 00:17:22.43

２次元のレイキャスティングを作成しようとしてます。

ttps://github.com/OneLoneCoder/olcPixelGameEngine/blob/master/Videos/OneLoneCoder_PGE_ShadowCasting2D.cpp
にあるコードを現在javaで書いており、

ttps://youtu.be/fc3nnG2CG8U?t=1519
のように縦に長く１本線が出来てほしいのですが、
縦やにブロックを並べた時に、なぜか１ブロックごとに線が出来てしまいます。

どうすれば動画みたいに、縦に長い１本線が出来ますでしょうか？
コードは
ttps://ideone.com/spxzNE
に載せてみました。

**デフォルトの名無しさん** · 2020/04/06(月) 00:42:09.55

Javaの質問ならJavaスレへ逝け

**デフォルトの名無しさん** · 2020/04/06(月) 00:49:35.43

無駄に長い一本糞を作りたいのなら修行を積んでください

**デフォルトの名無しさん** · 2020/04/06(月) 20:20:19.81

わかりました。javaの法で聞きます。

**デフォルトの名無しさん** · 2020/04/06(月) 20:22:44.75

そこをなんとか！

**デフォルトの名無しさん** · 2020/04/08(水) 01:04:01.57

質問ですが抽象メソッドを有するクラスのデストラクタは
なんで勝手に仮想デストラクタにならないんでしょうか…
なんか有用なイディオムでもあるんでしょうか……………

C#しばらくやった後だったのでC#のつもりでインターフェースを定義して
virtual ~ＩFoo() { }
を書き忘れた結果盛大にリークすたgrz

**はちみつ餃子** ◆8X2XSCHEME · 2020/04/08(水) 09:41:04.41

>>168
ゼロオーバーヘッドの原則は C++ 的にはかなり強い要請なので……。
オブジェクトに常にポインタを保持しなければならないことと、
呼び出すときに仮想関数テーブルをたどるコストがあるってのは看過できなかったんだろう。

**デフォルトの名無しさん** · 2020/04/08(水) 09:52:16.86

ん～そもそも抽象と仮想はもともとの発想が違うから似て非なるもの
さらにC#においてclassとinterfaceは似て非なるもの
C++に厳密な意味でinterfaceを実現する機能はない
そのへんはよしなによしなに

ていうか~IFOOの書き忘れがリークの元凶て発想があかん
解放し忘れしたらあかん物はsafe～とかのクラスに押し込むべき

**デフォルトの名無しさん** · 2020/04/08(水) 10:09:18.67

でも仮想関数を持つクラスのデストラクタをわざわざ非仮想にするメリットってなんかあるの？実際の所

**デフォルトの名無しさん** · 2020/04/08(水) 10:20:56.86

shared_ptrで管理するなら仮想デストラクタである必要がない
無駄に遅くなる

**デフォルトの名無しさん** · 2020/04/08(水) 11:24:20.39

>>171
インターフェースという位置づけなら仮想・非仮想どちらにしろデストラクタが直に呼ばれるべきじゃないんじゃないかと思うわ
ただのインターフェースだからむしろ非仮想＆protectedで隠すのがいいんじゃないかと（しらんけど）

↓こんなイメージで直にデストラクタ触れるのはclass A以降
struct IFOO
{
protected:~IFOO();
};
class A:IFOO
{
public: virtual ~A();
};
class B:A{};
class C:A{};

**デフォルトの名無しさん** · 2020/04/08(水) 11:40:23.05

それって要するに解放する時に、IFOOじゃなくてAだとかBだとかの
インスタンスの正体を全て把握しとけってことでしょ？
だったらそもそもIFOOって必要なの？って思う

**デフォルトの名無しさん** · 2020/04/08(水) 11:48:39.21

>>171
俺の狭い知見ではまず無いと思うよ
ただvirtual付けてないのに勝手に仮想になると言うのもいかがなものかと思う

**デフォルトの名無しさん** · 2020/04/08(水) 12:03:48.95

途中で書き込んでしまった

なので、やるとしても警告を出すぐらいだな
って思ってたらVisual Studio 2017だと既に警告出るわ（「警告をすべて有効にする」にしないとダメだけど）

warning C4265: 'C': クラスは仮想関数を含んでいますが、デストラクタはこのクラスの仮想インスタンスではなく、正しく消滅されない可能性があります

**デフォルトの名無しさん** · 2020/04/08(水) 12:54:49.68

>>174
まあ不要かもしらんけどねぇ
でもC#でも仮想デストラクタを入れてるインターフェースてなくね？
リソース開放を請け負うIDisposableにしても派生クラスのデストラクタから呼び出す形
呼び出さなきゃ勝手に呼ばれるわけでもない
むしろ仮想デストラクタは便利だから使う程度の利点しかなくてインターフェースとしては不要なんじゃないかと言う気がする

**デフォルトの名無しさん** · 2020/04/08(水) 13:19:13.33

GCがあるC#の話されても困る

**デフォルトの名無しさん** · 2020/04/08(水) 13:27:08.18

GCに夢観過ぎ

**デフォルトの名無しさん** · 2020/04/08(水) 13:32:26.06

夢の話じゃなくてリソース解放戦略が全然違うんだから比べても仕方ないだろ
というかそもそもC#は全部のメソッドがC++で言うところのvirtualなんだから比べようもない

**デフォルトの名無しさん** · 2020/04/08(水) 14:40:59.29

学術の巨大掲示板群 - アルファ・ラボ
ttp://x0000.net

数学物理学化学生物学天文学地理地学
IT 電子工学言語学国語方言など

PS スカイプ友達の掲示板 ttp://skype.x0000.net

**デフォルトの名無しさん** · 2020/04/08(水) 21:04:52.01

GC教のやつC++破門な

**デフォルトの名無しさん** · 2020/04/08(水) 22:17:53.89

class IFoo {
　　virtual int sum(int a, int b) const = 0;
};

これの書き方でリーク原因だったという話、

**デフォルトの名無しさん** · 2020/04/08(水) 22:20:32.95

コンパイラがクソなだけ

**デフォルトの名無しさん** · 2020/04/08(水) 22:23:35.70

public: を忘れたgrz、

で、
class IFoo {
public:
　　virtual ~IFoo() { }
　　virtual int sum(int a, int b) const = 0;
};
としたら治まった、

**デフォルトの名無しさん** · 2020/04/08(水) 22:26:09.85

>>172
std::shared_ptr<(IFooの派生クラス)> pObj(new (IFooの派生クラス)()) ならそもそもsumの方こそ仮想関数でなくても良い
std::shared_ptr<IFoo> pObj(new (IFooの派生クラス()) ならデストラクタが仮想でないとﾏｽﾞｰ

仮想関数有りかつ非仮想デストラクタ、を許すC++のこの仕様の理由をゼロオーバーヘッドの原則で説明くのであれば
仮想関数有りかつ非仮想デストラクタ、を許すことで得られる性能上のメリットが指摘されねばならない

**デフォルトの名無しさん** · 2020/04/08(水) 22:35:26.36

てかそれshared_ptrの作り方が悪いだけじゃん
普通make_sharedで作る。
weakを使う場合でオブジェクト自身が巨大なためメモリは即座に解放したいときでも一度newした型のshared_ptr作れと

**デフォルトの名無しさん** · 2020/04/08(水) 22:36:00.40

ほう、でそのメリットとは？

**デフォルトの名無しさん** · 2020/04/08(水) 22:38:08.35

大体純粋仮想しか持たないクラスって要はinterfaceでしょ

そのポインタで派生オブジェクトのインスタンスのリソース管理するってのとは全く別の概念じゃないか

**デフォルトの名無しさん** · 2020/04/08(水) 22:39:37.60

>>189
C++に向かって言うと良い

**デフォルトの名無しさん** · 2020/04/08(水) 22:51:06.86

>>186
あー何となくわかったわ
shared_ptrの使い方分かってないのね
一度派生型のshared_ptrで作ったら、それをbaseのshared_ptrに代入して保持していても、デストラクタは元の型で呼ばれるよ

ってかそういう風に使うもの
newと入れるshared_ptrの型を変えるのはダメな使い方

**デフォルトの名無しさん** · 2020/04/08(水) 22:56:00.22

って思ったけどよく考えたらいきなりbaseのshared_ptrに入れても大丈夫だったはず

**デフォルトの名無しさん** · 2020/04/08(水) 22:57:35.23

（はてさて…よくわかっていないのはどちらなのやろうか…

**デフォルトの名無しさん** · 2020/04/08(水) 23:01:19.22

>>193
いや、上でも下でも不味くない
きちんと派生クラスのデストラクタが呼ばれるよ

**デフォルトの名無しさん** · 2020/04/08(水) 23:44:04.80

>一度派生型のshared_ptrで作ったら、それをbaseのshared_ptrに代入して保持していても、デストラクタは元の型で呼ばれるよ
えっそうなん？って試してみたらマジだった。
https://ideone.com/ZRde8G

https://cpprefjp.github.io/reference/memory/shared_ptr.html
> 通常、void*に型変換して代入されたポインタは、delete演算子を呼んだとしても元の型のデストラクタは呼び出されない。しかしshared_ptrの場合は、代入されたポインタの型が持つデストラクタが正しく実行されることが保証される。

知らんかった。

**デフォルトの名無しさん** · 2020/04/08(水) 23:57:12.53

万能じゃないけどな
作る時に本来の型を教えないといけない

shared_ptr<Base> s(new Derived()) // OK

Base* b = new Derived();
shared_ptr<Base> s(b); // NG

**デフォルトの名無しさん** · 2020/04/09(木) 00:30:09.12

> 作る時に本来の型を教えないといけない

なるほど。
ttps://ideone.com/BUt4xc

教えてくれてありがとうな。勉強になる。

**デフォルトの名無しさん** · 2020/04/09(木) 00:57:59.70

なんのためのvirtualなのか解ってないのか

**デフォルトの名無しさん** · 2020/04/09(木) 01:01:05.17

ば、ばーちゃん…

**デフォルトの名無しさん** · 2020/04/09(木) 02:46:58.11

横レスですみませんがそもそもポインタなんてCの配列かscanfくらいでしか使ったことないんですがスマポとかってどんな事(時)に使うんですか？

**デフォルトの名無しさん** · 2020/04/09(木) 03:49:37.37

スマートポインタどころか、new deleteさえ使わなくなったな。

**デフォルトの名無しさん** · 2020/04/09(木) 06:58:42.11

>>200
動的なメモリ確保をしたことがない？

**デフォルトの名無しさん** · 2020/04/09(木) 07:41:56.66

昔はよくやりましたよね。

**デフォルトの名無しさん** · 2020/04/09(木) 07:44:32.83

結局、計算資源はそのスコープで管理するってのが主流になりつつある。

**デフォルトの名無しさん** · 2020/04/09(木) 08:55:49.91

C++は昔からそうだったと思うが
まぁCだと関数が確保して呼び出し元でどうこうするのも多かったけど

**デフォルトの名無しさん** · 2020/04/09(木) 09:06:44.43

例外入れてそういう性質は薄れてるでしょ。

**デフォルトの名無しさん** · 2020/04/09(木) 16:57:05.68

https://ideone.com/FvsiNz
意味わからん。

**デフォルトの名無しさん** · 2020/04/09(木) 17:00:04.84

std::make_shared<hoge>();　知らんの？

**デフォルトの名無しさん** · 2020/04/09(木) 17:34:40.74

>>207
mainでsort呼び出すところで、boolの後にret=みたいなのが無いせいで変に解釈されている

**デフォルトの名無しさん** · 2020/04/09(木) 18:20:12.74

>>200
CreateWindowExのlParam経由でオブジェクトのポインタを渡して受けて側でunique_ptrに格納して管理したりしてるよ

**デフォルトの名無しさん** · 2020/04/09(木) 18:20:40.62

>>204
スコープを飛び越えて永続的にデータを保持するために使うのが Heap なんだが。

**デフォルトの名無しさん** · 2020/04/09(木) 19:11:41.90

>>211
だからあんまり使わんようにって感じなってるだろ。
使うとしてもスマポであるスコープ外れたら回収するように作るとか、
そういう方向をどの言語も推奨してる。

**デフォルトの名無しさん** · 2020/04/09(木) 19:18:35.93

使わんように成っていないよなぁ

**デフォルトの名無しさん** · 2020/04/09(木) 19:58:02.69

>>209 thx!

**デフォルトの名無しさん** · 2020/04/09(木) 21:40:49.11

>>212
> そういう方向をどの言語も推奨してる。
具体的にどの言語のことを言ってるんだ？

**デフォルトの名無しさん** · 2020/04/09(木) 22:37:55.19

python,go,rustあたり見てもスコープ抜けた時に後処理する機構をサポートしとる。

**デフォルトの名無しさん** · 2020/04/09(木) 22:46:51.57

お前はスコープで管理するのが主流っていったわけだけど
gcのないc++ではスコープで管理できるものはスコープで管理するのは
大昔から当たり前ではないでしょうか
何がいいたいのやらわからん

**デフォルトの名無しさん** · 2020/04/09(木) 23:15:28.15

C++はおじょーずでも日本語アレな奴多いよね
職場でちゃんとコミュニケーションとれてるか？ｗｗｗ

**デフォルトの名無しさん** · 2020/04/09(木) 23:46:04.93

そんなん昔からじゃん
それこそcどころかアセンブラの頃から

**デフォルトの名無しさん** · 2020/04/10(金) 02:12:51.60

コンピュータとコミュニケーション取る方が大事だから

**デフォルトの名無しさん** · 2020/04/10(金) 05:02:14.17

>>216
スコープ抜けた時の後処理ってなんだ？
まさかと思うがGCの話じゃないよな？

**デフォルトの名無しさん** · 2020/04/10(金) 06:08:55.13

プログラミングスタイルが変わってきてるんだよね。
アジャイルとOOPは相性が悪いのかもしれない。

**デフォルトの名無しさん** · 2020/04/10(金) 06:35:52.26

sort(
vecVisibilityPolygonPoints.begin(),
vecVisibilityPolygonPoints.end(),
[&](const tuple<float, float, float> &t1, const tuple<float, float, float> &t2)
{
return get<0>(t1) < get<0>(t2);
});
はt1の最初に設定されたfloatとt2の最初に設定されたfloatを比較して昇順に並べているのでしょうか？
[&]の意味はよく分からなくて教えて頂けると幸いです。

**デフォルトの名無しさん** · 2020/04/10(金) 06:43:17.35

そうですね。
&に何の意味があるのか僕にもわかりません。

**デフォルトの名無しさん** · 2020/04/10(金) 07:08:42.52

>>223
>t1の最初に設定されたfloatとt2の最初に設定されたfloatを比較して昇順に並べているのでしょうか？
その通りです。get<0>(t)でタプルの最初の要素を取り出して大小比較してます。
ちなみにget<0>を使わずに直接 t1 < t2 と比較すればタプルの左の要素から順に辞書順でsortされます。リンク先の(3)参照。
https://ja.cppreference.com/w/cpp/utility/tuple/operator_cmp

[&]はラムダ式の中で使われる外部の変数を参照で持ってくるものです。リンク先のラムダキャプチャを参照。
ただ上の例ではそもそも外部の変数を使っていないので[&]ではなく単に[]で問題ないです。
https://ja.cppreference.com/w/cpp/language/lambda

**デフォルトの名無しさん** · 2020/04/10(金) 09:22:51.69

>>217
当たり前はそうなんだが言語機能や標準ライブラリでそういうのを守りやすくしようぜって
流れは感じるけどね。

**デフォルトの名無しさん** · 2020/04/10(金) 10:43:26.39

>>226
お前さんがそこで流れと言っているものは別に最近できた流れでもなく、昔からあったし随時拡充されてきているものだぞ。

**デフォルトの名無しさん** · 2020/04/10(金) 11:08:46.24

じゃあnewしたら負けって事で。

**デフォルトの名無しさん** · 2020/04/10(金) 11:14:55.67

僕も流れを感じますね。
このフォースを感じ取れないものもいるんですね。
少し驚きました。

**デフォルトの名無しさん** · 2020/04/10(金) 11:17:22.22

get<0> とか get<1> とか観るとげんなりする
なんで動的にアクセスできないんだ

**デフォルトの名無しさん** · 2020/04/10(金) 11:19:41.31

そりゃ0番目と1番目の型が違うかもしれないからだよ

**はちみつ餃子** ◆8X2XSCHEME · 2020/04/10(金) 11:23:39.14

>>230
タプルはそれぞれの要素の型が違う可能性があるから仕方がないし、
array とかなら get を使わない選択肢があるんだから問題なくね？

**デフォルトの名無しさん** · 2020/04/10(金) 11:27:18.78

格納する値の型を知っているのに相称型でしかアクセスできないのは不便ではないかというご提案として、受け付けました。
進捗状況は、ご提案番号1として随時ご確認できます。

格納する値が実行時にしか確定しない以上、コンパイラが値の型にアクセスすることも出来ないんだよな。

std::variantのoperator==は荒業でアクセスしてるよね。

**デフォルトの名無しさん** · 2020/04/10(金) 11:53:36.61

あらかじめインデックス渡した関数テンプレートを実体化して
boost::anyみたいなものを返すという力技でどうにか出来なくもないだろうけど
上の方で何でもコンパイル時にやるのが良い事みたいに思ってるアホがいたけど
この辺の問題全く分かってないんだろうなぁ
(tupleを否定してるわけじゃないので変な噛み付き方しないように

**デフォルトの名無しさん** · 2020/04/10(金) 12:15:49.17

学術巨大掲示板群: アルファ・ラボ
ttp://x0000.net

物理学化学数学生物学天文学地理地学
IT 電子工学国語方言言語学など

**デフォルトの名無しさん** · 2020/04/10(金) 12:21:34.43

int要素が1個だけならget<int>でアクセスできなかったっけ

**デフォルトの名無しさん** · 2020/04/10(金) 12:33:52.04

出来る限りコンパイル時に解決したほうが良いと思います。

**デフォルトの名無しさん** · 2020/04/10(金) 12:37:34.37

constexpr ifで実行時の条件分岐数を減らす。
これがいま話題の都会的プログラミング。

**デフォルトの名無しさん** · 2020/04/10(金) 12:52:10.41

>>230
楽してコストを減らす工夫だよ
見た目がイヤなら横着しないで
ちゃんと意味がわかる名前を付けなさい

**デフォルトの名無しさん** · 2020/04/10(金) 12:59:34.56

template < typename > union vector3 {
struct {
T x;
T y;
T z;
};
T[3];

T&operator[](int n);
const T& operator [](int n) const;
};

**デフォルトの名無しさん** · 2020/04/10(金) 12:59:47.08

定数に名前つけるのはどうだろか。

**デフォルトの名無しさん** · 2020/04/10(金) 13:06:38.10

>>238
規模の小さな小さなプログラムでしか効果が無いようなことが都会的かあ

**デフォルトの名無しさん** · 2020/04/10(金) 13:26:20.94

フォースを感じ取るんだ。

**デフォルトの名無しさん** · 2020/04/10(金) 13:55:31.86

>>242
何も知らない田舎者が漠然と憧れてイメージする都会ってことだろう

**デフォルトの名無しさん** · 2020/04/10(金) 14:25:31.83

岡山は大都会。

**デフォルトの名無しさん** · 2020/04/10(金) 15:17:20.24

都会が優れていると思っている人を見ると、馬鹿なのかな、と思ってしまう。

**デフォルトの名無しさん** · 2020/04/10(金) 16:06:17.50

キミ良いこと言うね。