C++相談室 part163

2022/12/30(金) 23:16:31.37

!extend:checked:vvvvv:1000:512
!extend:checked:vvvvv:1000:512
↑同じ内容を3行貼り付けること

次スレは>>980が立てること
無理なら細かく安価指定

※前スレ
C++相談室 part162
https://mevius.5ch.net/test/read.cgi/tech/1667194175/

VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured

2023/01/15(日) 09:58:07.55

同じく

質問の意図がわからんな

2023/01/15(日) 18:50:51.76

質問なのですがintやdoubleといった単純な型のグローバル変数の初期化タイミングは
グローバルなオブジェクトの初期化タイミングより前であることが保証される？

多分 .dataセクションの初期化はグローバルなオブジェクトの初期化リストの実行より前だと思うんだけど
（そうでなければコンストラクタからC言語のライブラリを安心して呼べないということになる
規格的にそうなん？

2023/01/15(日) 19:52:54.05

>>141
静的初期化と動的初期化に大別されている。
初期化子が定数 (定数式) のものは静的初期化で、
そうではないものが動的初期化。
静的初期化は動的初期化より先であることは言語仕様で保証される。

2023/01/16(月) 08:14:19.28

>>141
記憶が確かなら、c++の関数スコープのstatic変数は呼び出し時に初期化されることが保証されているので、初期化順を細かく決める必要がある場合は関数のstatic変数を使う。

2023/01/16(月) 23:24:41.20

>>142
レス㌧クスだいたいわかりた
この場合のconstexprの扱いがわからん……
ビルド時に定数に展開できたら静的初期化可能な範疇に含まれ得る気がするが
定数に展開で来なかったらどうするんじゃ、という気もする、

>>143
ｶﾞﾁで初期化順序を確実にしたい場合はシングルトンにすることを提唱する。
InterlockerCompareExchange()的なインターロック系の関数を使えばスレッドセーフにできる
（初期化済フラグがfalseならnewに進む、というのをアトミックにやる
関数スコープのstatic変数も似たような実装ではないかと予想、

2023/01/16(月) 23:26:34.64

訂正orz
×：　（初期化済フラグがfalseならnewに進む、というのをアトミックにやる
○：（初期化済フラグがfalseならtrueにする、というのをアトミックにやって、false→trueに変化したときだけnewする

2023/01/16(月) 23:33:23.86

とｵﾓﾀがよく考えたら初期化済フラグがfalseならtrueに変化してからポインタpにnewされるまでの間に
別のスレッドが割り込んできてpを使おうとしたら破綻するからpを獲得できるまでスピンロック的に回ることが必要やったorz
ワイの答えはこれや……！

2023/01/18(水) 09:55:18.36

今さらだけどさ、以下Perlソースコードみたいに初期化以外の場所で複数の変数代入を一行で記述できたら楽だよね。
($a, $b) = (1, 2);

2023/01/18(水) 10:18:29.33

>>144
c++11からブロックスコープを持つstatic変数初期化はスレッドセーフだから、手動でやる必要ないんじゃない？

2023/01/18(水) 12:33:33.72

>>147
それ楽なん？

2023/01/18(水) 12:45:50.93

パターンマッチングとか単一化が欲しいという話じゃないの？

2023/01/18(水) 12:49:04.55

複数のことやってんだから複数行で書け
それかそんなにまとまり強いならラップしろ

2023/01/18(水) 12:57:11.05

俺もPerl使ってた頃に初期化で書いたことはあるけど、正直初期化以外での使い道ない気がする

rustのパターマッチは欲しい気がする

2023/01/18(水) 19:31:01.29

>>147
Perl でできるかは忘れたけどこれで交換できるのは便利
($a, $b) = ($b, $a);

2023/01/18(水) 19:47:26.33

int a, b;
tie(a, b) = tuple(1, 2);
tie(a, b) = tuple(b, a);
一応できなくはない。交換はswap(a, b)でいいけどね

2023/01/19(木) 20:52:51.98

つauto [a, b] = tuple(1, 2)

2023/01/19(木) 20:59:17.18

書記か以外って話なんだが……

**147** (ﾜｯﾁｮｲ caad-f6s+) · 2023/01/19(木) 21:22:03.00

解決方法を探しているんじゃなくて、言語仕様の変更提案なんだけど
改めてPerlだと以下のような感じ
use strict;
my ($a, $b) = ('AAA', 'BBB');
($a, $b) = ('YYY', 'ZZZ');

2023/01/19(木) 22:28:47.56

>>157
誰得？何得？

2023/01/19(木) 22:42:23.23

戻り値が1個だけ
どれを戻り値にするかで迷う

この辺はC++の欠点だと思う

2023/01/19(木) 23:07:21.11

>>159
構造体で戻せばいいですよ、KR2 から構造体の実体というかコピーが返ってきますから、それこそ3個でも4個でもお好きに

2023/01/19(木) 23:30:55.46

>>160
アホ

**147** (ﾜｯﾁｮｲ caad-f6s+) · 2023/01/19(木) 23:36:31.49

複数個の変数に対する初期化のワンライナー記述(本当は初期化なので代入ではないが)が許されるなら、再初期化もワンライナー記述できていいと思うんだ

2023/01/19(木) 23:47:19.80

rvoが働くんだからタプルでも返せばいいのでは？

2023/01/20(金) 06:46:04.32

>>160
このためだけに構造体定義したりするとかアホの極みだろ...

2023/01/20(金) 07:13:16.62

つtuple

2023/01/20(金) 13:36:18.44

C++の新しい規格で複数個戻せるっての見た事あるが、気のせいか。

2023/01/20(金) 14:39:16.65

うーん、やっぱり初期化以外での使い道がわからん

2023/01/20(金) 14:46:45.60

>>166
それは >>155 で言及 (?) されている構造化束縛 (structured bindings) のことでしょ。
返却値の数はあくまでもひとつ。
そのひとつを分割して初期値にすることが出来るのであって複数の返却値を返せるわけではない。

2023/01/20(金) 15:19:11.41

戻り値の型推論の規則が厳しいせいでtupleも微妙に使いづらい

2023/01/20(金) 16:25:40.34

(x, y) = (x+y, y-x)
とか

2023/01/20(金) 16:26:57.09

>>168
修行いたします。mOm

2023/01/20(金) 16:50:23.92

std::tie や std::tuple ってそんなに長い名前でもないし、
C++ のややこしい文法をもっとややこしくしてまで
専用の分割代入の構文が欲しいかな？

2023/01/20(金) 17:54:27.63

いらんよな

2023/01/20(金) 18:14:48.86

欠点なのは間違いない

2023/01/20(金) 18:15:46.20

C++は欠点が非常に多い

**147** (ﾜｯﾁｮｲ caad-f6s+) · 2023/01/20(金) 18:20:37.41

構造体のメンバ変数の再初期化を一行ですませたい需要、どうかな

2023/01/20(金) 18:21:31.76

それはそう。

2023/01/20(金) 18:22:22.62

C++ に欠点が多いのなんてイマサラな話だろ。

2023/01/20(金) 18:29:58.45

はちみつも欠点が多い

2023/01/20(金) 19:33:42.78

要らないなぁ。

>>176
c++ならコンストラクタを定義するのが定石じゃない？
使い捨ての構造体ならtupleだし。

2023/01/20(金) 20:55:20.44

再初期化ってのがまず無いかな

2023/01/20(金) 21:12:53.47

代入なら普通にあるね

2023/01/20(金) 21:59:52.24

>>164
単に名前付きタプルが欲しくてもない、というか名前付きタプルは限りなく構造体に近いというだけですよ
新しいものに飛びつく前に K&R2 以来の伝統の重みを評価するべきでしょう、型推論を併用すれば記述量も抑えることができますよ
https://marycore.jp/prog/cpp/anonymous-struct-tuple/

2023/01/20(金) 22:14:16.78

>>183
で、初期化じゃなくて代入はできるの？

2023/01/21(土) 00:47:37.77

>>176
どう書きたいのかいまいち分からん

2023/01/21(土) 10:30:12.76

>>184
今は >>159 の「複数の引数を返したい」要望に応える手段の話でしょ？
勝手に話題を広げないでね (^^)

2023/01/21(土) 10:33:35.82

tieって答え出てるのに気がついてないのかね

2023/01/21(土) 12:44:01.44

使いにくすぎて使われない

2023/01/21(土) 13:11:10.71

>>186
元々の話は>>147な

**147** (ﾜｯﾁｮｲ ffad-88l+) · 2023/01/21(土) 14:45:55.24

HOGE構造体インスタンス hogeのメンバfooとbarだけを再設定したい時に、hogeというインスタンス文字列を何度も書かずに済むような仕組みあればいいなあ
HOGE hoge = {0};
do_something(hoge);
hoge.[foo, bar] = [1, 2];

2023/01/21(土) 15:22:29.46

そういうメソッドを用意するんだよ

2023/01/21(土) 15:42:11.09

ClassName::enumElementという書き方で列挙体の要素を直接持ってこれるクラスを見かけたんですが
どうやってやってるんですか？
定義見てもよくわかりませんでした

2023/01/21(土) 15:48:28.56

>>192
enum class と enum が別物だってのは知ってる？

2023/01/21(土) 15:51:00.78

よくわからんがこれのことならenumは外のスコープに漏洩するから出来る
嫌ならenum classにする

class Foo{

public:

　enum{HOGE, FUGA,};

};

int main(){

　std::cout << Foo::HOGE;
}

2023/01/21(土) 15:52:32.72

>>192
何を書いているのかいまいち分からん
struct ClassName {
enum {
enumElement
};
};
int main () {
std::cout << ClassName::enumElement << '\n';
return 0;
}

2023/01/21(土) 20:19:12.82

説明がへたくそですみません
ClassName::EnumName::elementと書かないといけないところを、
途中のEnumNameを省略して使えるようになってます

>>193
普通のenumでした

2023/01/21(土) 20:30:34.45

普通のenumならEnumName::つかないよ
トップレベルに置いたenumもEnumName::つかないでしょ

2023/01/21(土) 20:43:48.05

>>196
だとしたら enum の列挙子のスコープはその列挙型のスコープと同じになるってだけ。
C のコードを持ってきて C++ でエラーにならないように配慮したんだと思う。

2023/01/21(土) 20:44:29.11

>>198
C の列挙子は C++ と違ってファイルスコープなので C で仕様に適合するものが C++ ではそうなない場合もあるけど……。
たとえばこういうのは C では通るが C++ ではエラー。

#include <stdio.h>

int main(void) {
struct foo { enum bar { baz } qux; };
int n = baz;
printf("%d\n", n);
}

2023/01/21(土) 22:18:57.09

>>196
enumとenum classの違いは分かってるんだよね?

#include <iostream>
using namespace std;
struct ClassName {
enum enumElement {element};
enum class enumclassElement {element};
};
int main () {
cout << ClassName::element << '\n'
<< static_cast <int> (ClassName::enumclassElement::element) << '\n';
return 0;
}

2023/01/21(土) 22:54:59.54

ああなるほど、何もしなくてもC形式のenumなら列挙名省略できるんですね
危険といわれている理由が分かりました

>>200
理解できてなかった😭

2023/01/22(日) 17:51:51.29

pythonのdecimalで2^256倍精度浮動小数点数の最大値を計算してみた。
https://ideone.com/aCP13Y

mpmathで検算もした。(桁数と先頭から千桁程度まで)

これらはC++だとどういうプログラムになるの？
メモリの容量から全桁の出力や検算は無理だと分かるが、できれば検算して戴きたい。

2023/01/22(日) 18:33:56.85

IEEE 754で規格化されてる

2023/01/22(日) 18:53:45.43

>>203
IEEE754準拠での値で計算してみた。
pythonのdecimalのlogでも検算したので多分合っていると思うが、
C++のプログラムだとどのように計算するのかな？という素朴な疑問です。
ideoneのc++だけでできる？
GMPあたりの任意精度パッケージとか必要になるのかな？

2023/01/22(日) 19:56:25.38

C++標準ライブラリにはないから外部ライブラリに頼ることになる

ideoneがそれ用のライブラリを持ってるか知らんから頑張って探すしかない

2023/01/22(日) 20:32:22.10

>>204
Boost Multiprecision Libraryあたりからお手軽かね。
他にあったっけ？

2023/01/22(日) 20:43:06.21

参考にします。どうもありがとう。

2023/01/23(月) 02:24:27.76

C++って最初のバージョンはC言語で開発されましたか？
どこかその話のソースありませんか？

2023/01/23(月) 07:10:57.25

cfrontはC++をCに翻訳するトランスレータ
というのはソースにならんか？

2023/01/23(月) 08:01:54.02

>>208
「C++の設計と進化」を読め。

2023/01/23(月) 08:27:15.10

C言語がC++から派生したというのは本当の話ですか？

2023/01/23(月) 09:40:42.62

>>211
あなたがウソである証拠を示せばいいだけ。他者に証拠を求めてはいけない。

2023/01/23(月) 10:00:24.86

polymorphic_allocatorなんでコピーでresource伝播してくれないんだ・・・

2023/01/23(月) 13:17:00.05

>>211
C が始まったとき (1972 年) に C++ は無い。
C++ の前身である C with Classes の歴史の始まりは 1979 年で、そのときは
C のプリプロセッサとして書かれていたしあくまでも C の拡張と見なされていた。

後に C は C++ からかなり多くを取り入れることになるし
現在進行形で取り入れてもいるが、それを「派生」とは普通は呼ばない。

普通は呼ばないがそこらへんは言葉の定義の問題なので「派生」という言葉の
定義によっては無理すれば派生と呼べなくもないかもね。

2023/01/23(月) 14:21:27.16

>>209
>>210
CFrontなんてあったのですか
ヒントをありがとうございますた

2023/01/26(木) 06:18:10.77

名前付き引数標準化への動向って今どうなん
標準化はしないから各自勝手にやってねって感じ？

2023/01/26(木) 07:48:33.46

class A{
public:
　void operator () () {...}
};

class B : public A{
　void func(){
　　ここでオペレータ()を呼びたいとき、(*this)()としたら呼べますが、this→()では呼べませんでした。
　　なぜでしょうか？
　}
};

2023/01/26(木) 08:02:56.89

>>217
オペレータが左右にとるのは引数でthis->だけだと型が違うから？

2023/01/26(木) 08:03:37.78

>>217
メソッド名でないから。

確認していないけど this->operator()() かと。

2023/01/26(木) 09:02:29.12

メソッド

2023/01/26(木) 11:28:53.15

× メソッド
〇メンバ関数

2023/01/26(木) 11:34:13.17

さてはDelphiやってたな

2023/01/26(木) 12:10:18.58

>>219様のやり方でできました皆様ありがとうございます

2023/01/26(木) 12:11:12.58

すみませんもう一個質問させてください。

template<class T> class A{
public:
　void f(){…}
};

template<class T> class B : public A<T>{
public:
　void g(){f();}
};

というコードがあったとき、g 内の f が undeclared identifier だというエラーが出ますよね？
T が不明だからそうなるのだと説明されてるのを見たのですが、T はコンパイル時には確定してるのになぜダメなのでしょうか。

2023/01/26(木) 12:18:25.89

template<>class A<void>{};
のようにf()のない特殊化をされる
可能性があるってことさ

2023/01/26(木) 12:30:19.94

>>224
void g(){A<T>::f();}
かね。理由は知らん。

2023/01/26(木) 13:28:25.80

SFINAEに使う技

2023/01/26(木) 14:00:57.20

>>226
*this→fとするにしてもA<T>::f()とするにしても長いなあと思ってしまいます
しかたがないので、Bはテンプレートじゃなくても良いように設計し直します

2023/01/26(木) 14:08:41.08

this->f で済むだろうに、設計を変えるほどのことなのか。

2023/01/26(木) 14:16:44.11

>>226
それでは>>225のケースでコンパイルできない
void g(){typename f();}
では?

2023/01/26(木) 14:17:00.65

>>226
それでは>>225のケースでコンパイルできない
void g(){typename f();}
では?

2023/01/26(木) 20:20:42.59

すでに出てるけどA<T>が何者か確定してないので、
(B<int>とかの具体的な型が決まる時ではなく)テンプレート宣言時にエラーになる。

template<class T> class B : public A<T>{
using A<T>::f;
public:
void g(){f();}
};
のように親クラスA<T>にメンバーfがいることを宣言してやればテンプレート宣言自体は通る。

2023/01/26(木) 22:25:04.25

>>232
>>231

2023/01/26(木) 23:06:43.67

>>226,232も
>>225のケースで通るよな？

2023/01/26(木) 23:24:47.70

>>234
わりっ! 通る
勘違いしておった

2023/01/26(木) 23:24:56.86

>>234
わりっ! 通る
勘違いしておった

2023/01/27(金) 08:40:23.26

テンプレート引数の取得ってどうやるんでしたっけ？

template<int N = 100> class A{
　...
};

class B : public A<>{
　ここから N (=100) が見えなくて困ってます。
};

2023/01/27(金) 08:43:39.83

Aの中にstatic const int nankanokosuu = N;とか定義しておく

2023/01/27(金) 08:49:13.97

>>237
class B : public A<>{
template <template<int> class T, int N> int func(T<N>*) { return N; }
public:
void test()
{
cout << func(this);
}
};

2023/01/27(金) 10:58:57.46

>>238
templateって結局
template構文書くより
C言語で直で書いた方が
短くて性能も良いパターンが多い