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(木) 14:38:59.27

＞(たぶんオプションとかで制御できるようになってる。)
初耳だな

**はちみつ餃子** ◆8X2XSCHEME · 2020/04/02(木) 14:44:22.92

gcc のオプションをざっと検索してみたけど、
定数式の文脈とそうでないときを区別して指定するようなものは見つからんかった……。

**はちみつ餃子** ◆8X2XSCHEME · 2020/04/02(木) 14:45:31.73

>>119
入力がコンパイル時にわかる値 (定数式) でもその関数の呼び出し自身が定数式の文脈にない場合のことを言ってる。

**デフォルトの名無しさん** · 2020/04/02(木) 15:00:36.45

>>122
「定数式の文脈以外では」保証もクソも原理的に不可能だと言ってんの

**はちみつ餃子** ◆8X2XSCHEME · 2020/04/02(木) 15:11:28.10

>>123
できるよ。入力が定数式なら。

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

それを定数式の文脈と呼ぶんじゃないの

**はちみつ餃子** ◆8X2XSCHEME · 2020/04/02(木) 15:24:28.21

>>125
いいえ。

**デフォルトの名無しさん** · 2020/04/02(木) 15:26:39.69

あー調べたら意味わかったわ、結果を格納する左辺が非constexprなら定数式としては呼ばれないと決まってるんだな
それを定数式の文脈と呼ぶのはおかしいと思うが

**はちみつ餃子** ◆8X2XSCHEME · 2020/04/02(木) 15:30:04.54

>>127
cpprefjp でそういう用語を使ってるから私もそれに倣ったんだけども、
cppreference の方では「定数式を要求する文脈」という言い方をしてるなぁ。
こっちの方がわかりやすいと思うので今後はこっちを使うようにするよ。

**デフォルトの名無しさん** · 2020/04/02(木) 16:34:46.83

標準化以前からTMP大ウケだったC++に何求めてるんだよ

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

使い道を想像できない人のほうが多いことにとても驚いてます。

**デフォルトの名無しさん** · 2020/04/02(木) 17:05:14.94

Javaは心が洗われるような美しい言語だったのに、豆とか言い出したあたりから汚れてしまった。
もはや何も感じない。

**デフォルトの名無しさん** · 2020/04/02(木) 17:05:16.25

>>130
だから実例よろしく

**デフォルトの名無しさん** · 2020/04/02(木) 17:05:53.37

>>132
Excel使わなくて済むなって。

**デフォルトの名無しさん** · 2020/04/02(木) 17:08:51.09

https://html.spec.whatwg.org/multipage/parsing.html#parsing-main-inhtml
今ここやってんの。
色々検索してたら、std::sortにconstexprが付くというのを見つけて。
なんだこれ！
なんだこれ！
なんだこれ！
となった。
でもまだついてないから使えない。

**デフォルトの名無しさん** · 2020/04/02(木) 17:11:36.01

なぜ驚くのかよくわからん
ポイントは何？

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

翻訳時に解決できることを、実行環境に持ち越さないために
コンパイラ方式であることが20年かかってもわからんやつが
constexprという止めまで刺されてまだ暴れてるな

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

20年前のitaniumみたいな失敗を繰り返そうとしてるバカ。

**デフォルトの名無しさん** · 2020/04/02(木) 17:48:06.37

大変驚いています！

**デフォルトの名無しさん** · 2020/04/02(木) 17:53:56.92

コンパイル時にソートできるのか

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

>>136
うん、だから実例よろしく
所詮、TMPでやってたことを実行時コンパイル時普通の関数の形で書けるなら便利ってだけの話だよね
constexprの利点がそれ以上であるというなら実例出せ

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

発想を逆にしてみたらどうだろ。
100万件のデータをソートしたらコンパイル時間が増えるみたいな方向性じゃなくて。
100万件のデータにマッチさせる側の数十件の情報をコンパイル時にソートするとしたら？
ぐもももも！ってなる。

ちなみに100万件の文字列をソートするのは数百ミリ秒。
そんなに怖がるほどでもない。

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

>>140
コンパイラ方式という壮大な実例を出しているんだが
20年かかってもわからんやつには無理のようだな

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

>>141
普通そういうのはファイルから読むだろうしなぁ・・
(そういう意味では>>110に同意するけど

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

これは凄いことですよ！

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

21世紀最大の発明と言われる右辺値参照についてもコメントお願いします。
ノーベル賞はいつ決まるんでしょうか。

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

まあPL/1は35年前からプリプロセッサでサブルーチンも定義できてたから今更コンパイル時にソートできてもたいした驚きはないわ

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

西洋人の決定論が反映されている
「未来は決まって無い」という考え方はダイナミックであり動的と呼ばれる

「未来は全て決まっている」というのが彼らの古典的な思考方法
未来において起こることの全ては、あらかじめ既に決まっている
というか、神が決めた

そういう宗教的思想あるいは神学が反映されている

**デフォルトの名無しさん** · 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

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