C++相談室 part158

**デフォルトの名無しさん** · 2021/11/15(月) 18:49:18.44

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

**デフォルトの名無しさん** · 2021/12/31(金) 08:06:29.68

んだね

**デフォルトの名無しさん** · 2021/12/31(金) 08:45:47.76

クラス T のメンバ関数で自身のコピーを返す（つまり返り値の型が T）ものを考える
メンバ関数の修飾が && のときは std::move(*this) とかしたいけどこれはいちいち書かないとダメ？
普通は std::forward で統一できるが

**デフォルトの名無しさん** · 2021/12/31(金) 09:05:22.16

*thisはxvalueではないからムブコンに渡したければstd::move()か(T&&)がいるね

**デフォルトの名無しさん** · 2021/12/31(金) 11:52:30.35

>>598
ありがとうございます
ただ、
>メンバ変数を非publicにしてgetter/setter
これだと結局setterでメンバ変数を変更できてしまいますよね？

>>601
ありがとうございます、検討してみます

**デフォルトの名無しさん** · 2021/12/31(金) 14:47:55.66

instance.field; が暗黙のうちに書き変わらないだけでも効果あるんだよ

void f(T&t){ t.clear();}
f(instance.field);
うっかりこんなことしたらヤバいし

const T& get_field() const;
を使っとけばコンパイル時エラーにしてくれる

>>597 冒頭の質問なら、参照渡し引数に
void f(const T&);
のようにconstつけとけばいい

**デフォルトの名無しさん** · 2021/12/31(金) 15:16:00.18

>>597
まだ標準に入ってないけど、propagate_const使うとか
https://ideone.com/O8a0hn

**デフォルトの名無しさん** · 2022/01/04(火) 07:21:58.04

Packtpubが不安定になってるんだけど。
見れますか？

**デフォルトの名無しさん** · 2022/01/05(水) 21:49:37.99

クラステンプレートについて、明示的実体化しておけば実装を.cppでもできるというのを知ったのですが、その場合、テンプレートでない普通のクラスと同じように
部分的にヘッダに実装を書いて、残りを.cppに書く、というのは正式な書き方として許されるでしょうか？

**デフォルトの名無しさん** · 2022/01/05(水) 22:24:10.67

許される。

**デフォルトの名無しさん** · 2022/01/05(水) 22:48:02.56

>>610
ありがとうございます！

**デフォルトの名無しさん** · 2022/01/06(木) 15:12:35.27

その昔、exportテンプレートというのがあってだな

**デフォルトの名無しさん** · 2022/01/07(金) 00:07:55.52

class T;

class C {
public:
T t;
};

とあったとき

C c{T()};

と集成体初期化を行うと T のコンストラクタが1回だけ呼ばれます
メンバ t をカプセル化してコンストラクタを自分で用意するとどうやっても T のムーヴコンストラクタが余計に1回呼ばれてしまうと思ったのですが回避する方法はありますか？

**デフォルトの名無しさん** · 2022/01/07(金) 02:01:17.79

>>613
直接的にはないけど
optionalとかvariantにあるin_placeコンストラクタと同じことをすればTのコンストラクタ呼び出しは一回で済みそう

**デフォルトの名無しさん** · 2022/01/07(金) 20:51:50.26

>>614
ありがとうございます！

**デフォルトの名無しさん** · 2022/01/09(日) 10:55:01.80

>>597
配列の定義を vector<const testclass*> にすればよくない？

**デフォルトの名無しさん** · 2022/01/09(日) 11:30:20.08

外では変更するけど関数内では変更しないことを明示したいんでしょ

**デフォルトの名無しさん** · 2022/01/12(水) 09:32:50.44

関数の定義で
auto foo() -> void{}
みたいに書くの見かけたけどこのやり方何かメリットありますか？

**デフォルトの名無しさん** · 2022/01/12(水) 12:16:01.64

あるね
auto s = std::string{"test"};
みたいな宣言とかも

**デフォルトの名無しさん** · 2022/01/12(水) 12:26:17.78

>>618は型推論効いてないやん

**デフォルトの名無しさん** · 2022/01/12(水) 12:28:40.33

戻り値の型を->の先に書いてあるだけだよ。
だからこれはvoid型の戻り値ね。

利点は引数からdecltype使って戻り値の型を指定できるくらいじゃない？

**デフォルトの名無しさん** · 2022/01/12(水) 13:45:01.07

https://www.fluentcpp.com/2018/09/28/auto-stick-changing-style/

この記事で論じられているね

**はちみつ餃子** ◆8X2XSCHEME · 2022/01/12(水) 13:59:43.98

ラムダ式で返却値の型をどう書くかというのが後置スタイルを導入した直接の動機だと思う。

普通の関数で後置にするメリットがない場合であっても、
メリットがある場合とない場合で区別して使い分けるよりは全部を後置で一貫させたほうが綺麗だと思うこともあるだろ。

**デフォルトの名無しさん** · 2022/01/12(水) 17:10:39.04

みずほが復旧をあきらめるとかどうみてもfukkyu

**デフォルトの名無しさん** · 2022/01/12(水) 18:43:03.08

人がつくったものネットから持ってきて何個も組み合わせて合体させるとみずほみたいになるんだろうな
自分で作ってない部分はメンテしようがないからな

**デフォルトの名無しさん** · 2022/01/12(水) 19:53:35.19

Windows serverにしたのが最大の間違い。

**デフォルトの名無しさん** · 2022/01/12(水) 20:51:55.49

std::stringの大文字を全て小文字に変換するのってstd::transformより良いものあるの？

**デフォルトの名無しさん** · 2022/01/12(水) 22:50:55.12

Windowsで文字列中の大文字を小文字に変換する_mbslwr()って今やランタイムで使えなくなってんだね、知らんかったわ

**蟻人間** ◆T6xkBnTXz7B0 · 2022/01/12(水) 23:14:22.56

CharLower
CharLowerBuff

**デフォルトの名無しさん** · 2022/01/13(木) 21:50:13.52

c++のexe → ライブラリA(c++のdll)
と
c++のcリンケージのdll → ライブラリA(c++のdll)
で
同じライブラリの同じ関数を呼び出してるのに
呼び出し元の形態によって挙動が変わるなんてこと有り得ますか？

**デフォルトの名無しさん** · 2022/01/13(木) 22:14:06.74

ライブラリも呼び出し元も外部の同名のdllをリンクしているけれども
呼び出し元が参照しているdllの実体が別だったとか。

**デフォルトの名無しさん** · 2022/01/14(金) 09:16:33.28

struct Vector2 { float x, y; };のような64bitで済んでしまうものの計算にSSE命令を使っても高速化は見込めないのでしょうか？
上記に対して_mm_mul_psを行うと上位2float分を余計に計算させることになってしまいますよね

**デフォルトの名無しさん** · 2022/01/15(土) 05:56:06.60

>>603
deducing thisがC++23で入るね

**デフォルトの名無しさん** · 2022/01/15(土) 16:29:52.27

>>632
余計に計算させるけど一命令で済むよ
ただし速度以外のデメリット出てくるけど

**デフォルトの名無しさん** · 2022/01/16(日) 12:31:04.34

>>630
同じ関数というのが関数名と引数の数が同じというだけなら
extern "C" double sqrt(double x);
extern float sqrt(float x);
とから有り得る

**デフォルトの名無しさん** · 2022/01/17(月) 15:18:31.08

pair<int, int> の first と second に、例えば座標と向きのような意味をもたせてるとします
このとき、using なんかを使って pair<int, int> x の第一要素と第二要素に x.pos、x.dir のようにアクセスする方法ってありますか？

**はちみつ餃子** ◆8X2XSCHEME · 2022/01/17(月) 15:34:47.07

>>636
C++ ではメンバ (のように見えるもの) を後から生やすことは出来ない。

**デフォルトの名無しさん** · 2022/01/17(月) 16:04:32.58

auto& [x, y] = obj;
x = 100;
y = 100;

動くかは試してない

**デフォルトの名無しさん** · 2022/01/17(月) 16:07:55.78

>>636
そういうあちこちで使う用途の、はっきり意味が決まった構造体は
pairやtupleに頼らない方が(大抵の場面では)便利だよ
その一箇所でしか使わないならpairでいいと思うけど

**はちみつ餃子** ◆8X2XSCHEME · 2022/01/17(月) 16:18:00.13

いくつかの要件を満たして "Tuple-like" であるようなクラスはタプルのように扱える仕組みがある。
タプルを多用途に使うよりは個別のクラスを作った上でタプルのインターフェイスを持たせるほうが
使いやすくなると思う。

**デフォルトの名無しさん** · 2022/01/17(月) 16:55:14.33

>>636
まず構造体を勉強しよう

**デフォルトの名無しさん** · 2022/01/17(月) 17:09:52.53

struct だと困るんですか？

**デフォルトの名無しさん** · 2022/01/17(月) 17:35:43.45

みなさん御機嫌よう
このスレには何度も助けられているものです
再度お知恵を拝借したいです

任意のユーザー定義型のインスタンスhogeが、基底クラスbaseを継承しているか調べたいです。
この一例のみならtypeidで合致させればいいと思うのですが、実際は派生クラスが200くらいある予定です。
type-traitでインクルード出来るstd::is_base_ofで、RTTIを使い判定しようとしたのですが、typeidで取得できる型で合致させようとしたところ型情報が合いません……orz
どんな方法でもいいので何かいい方法がございましたらご教授いただければと思います。

class base{};
class driv:public base{};
class foo{};

//もしhogeがfoo型のインスタンスなら偽を、drivのインスタンスなら真を返したい関数
bool exHantei(){}

**はちみつ餃子** ◆8X2XSCHEME · 2022/01/17(月) 17:43:03.78

老眼なので Hantei が Hentai に見えた。

**はちみつ餃子** ◆8X2XSCHEME · 2022/01/17(月) 17:49:59.30

>>643
静的な型を判定するならこういうのでいけると思うが、
RTTI が出てくるってことは状況が違うのかな？

#include <iostream>
#include <type_traits>

class base{};
class driv : public base{};
class foo{};

template<class T>
bool exHantei(const T&){
return std::is_base_of<base, T>::value;
}

int main(void) {
driv hoge;
foo huga;
std::cout << exHantei(hoge) << std::endl;
std::cout << exHantei(huga) << std::endl;
}

**デフォルトの名無しさん** · 2022/01/17(月) 20:36:31.89

dynamic_cast<base*>(hoge)がnullptrかどうかを見ろ

**デフォルトの名無しさん** · 2022/01/17(月) 20:47:22.64

>>643
bool exHentai(){
return std::is_base_of_v<base, std::remove_reference_t<decltype(hoge)>>;
}

**デフォルトの名無しさん** · 2022/01/17(月) 20:49:09.31

>>645
ありがとうございます。
ただ今これで動作確認はしました。

が本来は基底クラスのポインタに格納されているのです……
書き込む時に蛇足と思って省いてしまったのですが、実際は
class base{};
class driv:public base{};
class WantToFind:public driv{}
std::vector<base*> VecBasePtr;
void pusbak()
{
WantToFind f1;
VecBasePtr.push_back(&f1);
}
というようにベースポインタに押し込んで使っていて、exHantei()を使用する時にはベースとこのポインタを比較することになります。
今はちみつ餃子様のコードで動作確認をした後、自分のコード用に書き直したところ、ポインタから型を取得させる動作ができません(泣)
てっきりtypeidと同じ様に、exHantei(*VecBasePtr[0]);と*を付けてポインタの中身を外に出せば生のWantToFind型が出てくるかと思ったのですが……
思い通りの動作が出来ませんでした。
どうしてなんですかね、、、
デバッグモードで確認してもわからない
もちろんbaseに仮想関数は置いてあるので、RTTIで動作してくれるものと思っていましたが。
Templateの機序が違うのかな……？

**デフォルトの名無しさん** · 2022/01/17(月) 21:03:17.46

だからdynamic_castで調べろって
そのための機能だから

**デフォルトの名無しさん** · 2022/01/17(月) 21:36:21.92

>>649
ありがとうございます！！！
確認しましたところ自分の思っている動作が得られました☆*:.｡. o(≧▽≦)o .｡.:*☆
こんなに簡単に出来るとは、is_base_ofの使い所さんはどうなってしまうんだ。。。

レスへの返信を書きながら、自分でもコード確認やリファレンスを検索していたため、スレの確認が遅くなってしまい、多くの型と行き違いになってまいました。
返信をくださった方々には重ね重ねお礼申し上げます。
まだまだ弱輩者ですが、これからも生暖かい目で返信くださると幸いです。
皆さんありがとうございます！

**はちみつ餃子** ◆8X2XSCHEME · 2022/01/17(月) 21:36:54.84

>>648
動的型で継承関係を確かめるなら >>646 が述べている通り dynamic_cast で実際に変換してみるのは手っ取り早い方法だと思う。

> 生のWantToFind型が出てくるかと思ったのですが……

「生の」ってなんやねん。
その場合の *VecBasePtr[0] の静的型はあくまで base だよ。
オブジェクトの base である部分 (サブオブジェクト) が取り出される。
いわゆるスライシング。

**デフォルトの名無しさん** · 2022/01/17(月) 21:37:50.95

dynamic_castは知ってたはずなのに思い出さなかったというか思いつかなかった……

**デフォルトの名無しさん** · 2022/01/17(月) 21:46:56.12

>>651
ありがとうございます。

自分はスライシングもちゃんと理解してないですね……
ポインタのメモリ確保サイズが一様に8バイト(4バイト)なので、基底型が派生型の型を丸ごと格納している(派生型のポインタを確保している)と理解していました。。。(*を付けると派生型が出てくる)
悪魔でも基底型なのですね？
キャストで受けるまでは基底型として扱われるので、型情報が合致しなかったのかな。
type_infoは、全く別の型を型合致に使うから*baseが有効なのかな。

**デフォルトの名無しさん** · 2022/01/17(月) 21:55:40.15

dynamic_castって仮想関数テーブル必要じゃなかったっけ？
まぁいずれにせよ仮想関数テーブルでぐぐればそこらへんの理解が進むと思う
多分

**デフォルトの名無しさん** · 2022/01/19(水) 17:29:06.73

スライシングとか知らない単語使わないで

**デフォルトの名無しさん** · 2022/01/19(水) 18:16:17.94

用語って大事だよな
言葉遣いがおかしいの指摘されると逆ギレする
DQN気質なやつが残念ながら後を経たない

**デフォルトの名無しさん** · 2022/01/20(木) 05:34:44.25

https://cpplover.blogspot.com/2018/07/c20.html?m=1
汎用エイリアス宣言の提案ってどうなったんだろう

**デフォルトの名無しさん** · 2022/01/20(木) 09:07:39.69

#include <cctype>
//#include <string>

template <typename F>
void test(F&& f){}

int main(){
test(std::isprint);
}
これ<string>を有効にするとcouldn't deduceになるんだけど
なんで？

コンパイラはMSYS2 g++ 10.3.0

**デフォルトの名無しさん** · 2022/01/20(木) 09:24:47.83

名前衝突してんじゃないの？

**デフォルトの名無しさん** · 2022/01/20(木) 09:37:40.24

<locale>のテンプレートが干渉してるっぽいことはわかった
これ、俺の落ち度なの？

**デフォルトの名無しさん** · 2022/01/20(木) 13:32:22.34

>>660
オーバーロードやデフォルト引数が追加される可能性があるから、
一般的に標準ライブラリ関数のアドレスは取れないと思ったほうがいい。
https://isocpp.org/std/standing-documents/sd-8-standard-library-compatibility

**デフォルトの名無しさん** · 2022/01/20(木) 18:29:19.36

ぐぶー・・・

**デフォルトの名無しさん** · 2022/01/20(木) 22:37:24.73

ランタイムサポートが必要なC++言語機能ってRTTIやdynamic_cast、例外くらい？

**デフォルトの名無しさん** · 2022/01/20(木) 23:29:32.85

そもそもランタイムサポートの定義をちゃんとしないとな・・・

**デフォルトの名無しさん** · 2022/01/21(金) 00:00:01.47

RTTIも例外も標準C++の一部
それが使えないような設定は厳密には規格違反だし、それで高速化や効率化しますってのは各コンパイラの独自機能に過ぎない

**デフォルトの名無しさん** · 2022/01/21(金) 01:04:31.52

アホすぎるｗ

**デフォルトの名無しさん** · 2022/01/21(金) 07:18:18.80

dynamic initializationも裏で色々やってるね

**デフォルトの名無しさん** · 2022/01/21(金) 07:28:47.34

とりあえずOSないところか、簡単な仕組みしかないところでC++で何か書いてみればいいよ
処理系が何をしてくれているのか分かる

**デフォルトの名無しさん** · 2022/01/21(金) 07:43:11.40

ベアメタルはオモロイ

**デフォルトの名無しさん** · 2022/01/21(金) 07:59:33.55

658だけど、自己解決の報告。
テンプレートにしないで
void test(int(*f)(int)){}
にしたら<locale>のisprintが干渉しなくなった
最初の発想がいかんかった

**デフォルトの名無しさん** · 2022/01/21(金) 08:26:30.46

isprintのテンプレート引数が決まらないからだろ
test(std::isprint<int>);
とかなら通ると思う

**デフォルトの名無しさん** · 2022/01/21(金) 08:32:03.82

compiler explorerのarm g++ 10.3で確認した。ヘッダはlocaleにした。
#include <locale>
template <typename F>
void test(F&& f){}
int main(){
//test(std::isprint);
test(std::isprint<int>);
}

**デフォルトの名無しさん** · 2022/01/21(金) 08:47:07.93

元のコードをなるべく変えずにだと
#include <string>
#include <cctype>
template <typename F>
void test(F&& f){}
int main(){
test(static_cast<int (*)(int)>(std::isprint));
}
※オーバーロードを選択させるべくキャストする

**デフォルトの名無しさん** · 2022/01/21(金) 09:54:53.25

conceptでテンプレートテンプレート引数を弾いたりできないかとも思ったけど
SFINAEは関数の除外なので引数の候補を絞るのは無理だった

**デフォルトの名無しさん** · 2022/01/22(土) 10:28:58.52

class A { static inline struct SubStruct { int value; } Field1; } //通常の構造体のスタティックメンバ変数はヘッダファイル、cppファイル共に実体は同じ
class A { static inline struct { int value; } Field1; } //無名構造体のスタティックメンバ変数はヘッダファイルとcppファイルとでそれぞれ別の実体が生成されアドレスが異なる

この挙動は仕様なのでしょうか？

**デフォルトの名無しさん** · 2022/01/22(土) 10:57:07.60

名前書き忘れて0点取ったことないのか

**デフォルトの名無しさん** · 2022/01/22(土) 11:38:04.16

今だと仮想関数とvariantとどっち使うのが主流ですか？

**デフォルトの名無しさん** · 2022/01/22(土) 11:49:22.43

>>675
名前のない構造体には実体がなく外部リンケージを持たないのでそこに対するinline指定は無視されるってことでは？
分かりにくいけど仕様として矛盾してはいないと思う

**デフォルトの名無しさん** · 2022/01/22(土) 13:06:33.51

>>675
「ヘッダファイルとcppファイルとでそれぞれ別の実体が生成されアドレスが異なる」という状態をどうやって観測しているの？
そんな挙動しないと思うんで、観測方法に間違いがありそう。

>>678
名前のない構造体もクラス型としては存在するし、それとは別に変数 A::Field1 は外部リンケージを持つよ。
https://timsong-cpp.github.io/cppwp/n4861/basic.link#5
> In addition, a member function, static data member, ..., has the same linkage, if any, as the name of the class of which it is a member.

**デフォルトの名無しさん** · 2022/01/22(土) 13:08:52.36

>>678
あと仮にinline指定が無視されたとしても「別の実体が生成される」というような動作には繋がらないね。

**デフォルトの名無しさん** · 2022/01/22(土) 13:59:06.18

>>599
ｱｰﾊﾝ？
doubleで表現可能な最小の数と1e-14の大小関係もわかんない人なんですかね、、、

**デフォルトの名無しさん** · 2022/01/22(土) 14:05:40.45

>>593
その2π周期というのが厳密に2*M_PI周期であることの根拠は？
>>560の時点ではそれは示されていなかった
>>588で2*M_PI周期と言う実験結果がﾃﾞﾀ

**デフォルトの名無しさん** · 2022/01/22(土) 14:11:22.71

>>596
万能の一般論は無い（ｷﾘ
なぜなら、f(x)が0かどうかの判定をしたいとして、±|⊿|を0とみなすべきなのかは
f(x)の精度に依存するから
ただし、>>560式に f(x1) と f(x2) の等値判定なら >>560式にやりうる
これは f(x1) - f(x2) のゼロ判定として>>560式にやればよろっし

**デフォルトの名無しさん** · 2022/01/22(土) 14:15:01.32

アンカーミスった；；；orz
s/>>560/>>588/g

**デフォルトの名無しさん** · 2022/01/22(土) 16:12:55.51

>>681
O(1) の数値を使って計算してたら例えば 1e-15 以下の数値をゼロと見なすとかするより他ないでしょ
バカ？

**デフォルトの名無しさん** · 2022/01/22(土) 16:30:03.25

sedかよ

**デフォルトの名無しさん** · 2022/01/22(土) 16:59:40.11

知らなくて驚くかもしれないけどdoubleは1e-324も表せちまうんだ

**デフォルトの名無しさん** · 2022/01/22(土) 17:34:26.32

>>681-687
まだやってたのか小学生・・・ID変えてご苦労様
何度も言ってるが>>560でこの話は終了している

**デフォルトの名無しさん** · 2022/01/22(土) 17:48:02.61

>>687
そこまで拗らせてる事に驚いたわw

**デフォルトの名無しさん** · 2022/01/22(土) 19:34:50.12

>>560
>100万をsin()しても、sin()は2π周期
>doubleの精度15桁中の5桁以上を無駄にしている

これよくわからん。

**デフォルトの名無しさん** · 2022/01/22(土) 20:03:51.19

言ってる当人もわかってないんだろＪＫ

**デフォルトの名無しさん** · 2022/01/22(土) 20:37:14.45

double sin(double x)の精度が±10E-10程度らしいことは>>588の結果が示しているが
こっれはxが100万かどうかによらないことも結果が示してゐる
実装を見ないとわからんが、多分マクローリン展開の打ち切りによる誤差とみるべき

**デフォルトの名無しさん** · 2022/01/22(土) 21:05:23.18

>>692
実装見てから言った方がいいよ。マクローリン展開というが、0を基準にマクローリン展開してるわけないだろ。

**デフォルトの名無しさん** · 2022/01/22(土) 21:18:55.93

>>685
その方法は等値判定として一貫性が無いからNG
double x = 2.0;
double y = 2.0 + (10E-15) / 2.0;
assert(fabs(x - y) <= 10E-15); // pass. 10E-15基準で x == y とみなされる
assert(fabs(100 * x - 100.0 * y) <= 10E-15); // fail。　10E-15基準の下で 100 * x と 100.0 * y　はイコールにならにあ

**デフォルトの名無しさん** · 2022/01/22(土) 21:22:04.30

>>693
sin(x)の場合は|x|<<1においてsin(x) ≒ xなのでsin(x+a)を展開をする際のaを0にするのが妥当に思えまっする、

**デフォルトの名無しさん** · 2022/01/23(日) 04:16:28.14

>>689-695
まだやってたのか小学生・・・ID変えてご苦労様
何度も言ってるが>>560でこの話は終了している

**デフォルトの名無しさん** · 2022/01/23(日) 09:39:04.54

>>678
挙動としては正にそんな感じですね

>>679
test.hにあるinline void 内でprintf("%p\n", Field1)、test.cppのvoid Func1内で同様の事をして確認しました
出力のみならず、そもそもヘッダのinline void内でField1に値をセットしたはずなのにソース内ではデフォルト値のままで動作が狂ったので上記のテストをして発覚した次第です
structを名前付きにするかしないかの一点だけで上記の結果が変わります

**デフォルトの名無しさん** · 2022/01/23(日) 09:40:35.92

>>697
printf("%p\n", Field1)はレス間違いでprintf("%p\n", &Field1)で実験しています

**デフォルトの名無しさん** · 2022/01/23(日) 10:41:30.96

#include<iostream>
struct A{static struct SubStruct{int value;} Field1;};
A::SubStruct A::Field1;
int main() {
std::cout << std::hex << &A::Field1 << std::endl;
return 0;
}
無名で実体の定義なんてできんのか？

**デフォルトの名無しさん** · 2022/01/23(日) 10:43:19.72

キャストやconst&でできるな

**デフォルトの名無しさん** · 2022/01/23(日) 10:47:03.39

>>700
どうやんの？上の例でやってみてよ