C++相談室 part160

**デフォルトの名無しさん** · 2022/04/15(金) 08:39:32.42

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

**デフォルトの名無しさん** · 2022/04/29(金) 20:44:15.30

江副さんは今は何に興味あるのかしら
なんでc++やる気なくなったんだろ(´・ω・`)

**はちみつ餃子** ◆8X2XSCHEME · 2022/04/29(金) 21:36:57.56

>>497
今は C++ 関連ではない仕事をやっているので C++ に対して時間が取れないということと、
C++20 に追加された一部の機能 (ロケールまわり？) に懐疑的だということは江添のブログに数年前に書かれている。
彼は C++ の規格については強い関心を持っていたし解説・教育にも熱心だったが、
プログラミング自体はそんなに意欲的な感じではないんだよな。
好きにやれるポジションを失ったことでやる気をなくしたんだろう。
細かい心情の機微はわからんけどな。

**デフォルトの名無しさん** · 2022/04/29(金) 22:32:49.28

てっきり素行不良が祟ってパブリックな場で出禁食らったのかと

**デフォルトの名無しさん** · 2022/04/29(金) 22:37:01.98

（＾ω＾）もうC++の規格に熱心な人はいないんですかお？

**デフォルトの名無しさん** · 2022/04/29(金) 22:39:33.37

C++とは仕事の付き合いなので
それ以上に彼のことを知ろうとは思いません

**デフォルトの名無しさん** · 2022/04/29(金) 22:42:26.90

MZうｙちゃーーーん♪はこっちに戻ってたのかｗ

**デフォルトの名無しさん** · 2022/04/29(金) 23:32:54.20

江添なんて仕様把握だけで俺すげーしたかっただけの奴だからな。
それすら満足にできなくなっていじけてるんだろ。

**デフォルトの名無しさん** · 2022/04/29(金) 23:40:47.95

プログラムの書き方的なところへの興味はどうなんじゃろうね

**はちみつ餃子** ◆8X2XSCHEME · 2022/04/29(金) 23:44:21.28

江添が仕事で実務的なプログラムを C++ で書いたことがあるのかはようわからんが、
少なくとも外部に発表したのは文章ばかりで、完成したアプリケーションを発表したことはほとんどない。
俺が知っているのは彼がドワンゴに入るよりもずっと前に Windows 用ソフト (というかとあるソフトのアドオン) を
公開したのを見たのが最初で最後だ。

**デフォルトの名無しさん** · 2022/04/29(金) 23:54:37.33

仕様ばかりに詳しくても何の役にも立たない

大抵の仕事は言語の細かな仕様まで知らなくてもC++98程度の知識でおおむねこなせるし

**デフォルトの名無しさん** · 2022/04/30(土) 00:06:07.15

さすがにやだよ、c++11より前のは

**はちみつ餃子** ◆8X2XSCHEME · 2022/04/30(土) 00:20:09.66

程度問題だわな。
俺も今の C++ は C++11 が最低ライン (もちろん可能ならもっと新しい版) だと考えている。
あまり古すぎるのはかえって学ぶのに資料が見つけにくくなっている場合もある。

**デフォルトの名無しさん** · 2022/04/30(土) 02:51:19.52

C++11に詳しそうだから教えて
あるテンプレート関数に渡される関数ポインタ、メンバ関数ポインタ、ファンクタ、ラムダの
戻り値の型を取得する方法を教えて

template<class R,class E,class...A> R f(E&& e,A... a)
{
using TypeOfCallableExec=/*ここ*/;
//...
}

**デフォルトの名無しさん** · 2022/04/30(土) 03:49:46.04

>>509
C++17より前ならstd::result_of
C++17以降ならstd::invoke_result

return e(a...); とするつもりならRは不要。
返り値型はdecltype(auto)、
TypeOfCallableExec=decltype(e(a...));か、
TypeOfCallableExec=typename std::result_of<F(A...)>::type;
とでもしておけばいい

**デフォルトの名無しさん** · 2022/04/30(土) 05:43:50.13

あいかわらず、いい加減な回答だなｗ

それでやってみろよｗｗｗｗ

**デフォルトの名無しさん** · 2022/04/30(土) 07:04:59.56

構造体中の配列の特定の要素に対するメンバポインタって何で使えないの？

struct STRUCT {
int array[4];
};

int STRUCT::*pt = &STRUCT::array[2];

こんな事をやりたい

offsetofを使えって？

**デフォルトの名無しさん** · 2022/04/30(土) 09:31:27.50

>>512
同じことを思ってる人がいるけどダメっぽい
https://stackoverflow.com/questions/674635/member-pointer-to-array-element

**デフォルトの名無しさん** · 2022/04/30(土) 10:58:35.53

質問ですが
他から渡されてきたstd::cout（ていうかstd::ostream）について
std::cout << std::left; （またはstd::right）
std::cout << std::setfill('_')
の状態が現在どうーなっているか知る方法って何かあるんでしたっけ

あと、ストリームに対して（独自のstd::left/std::right、std::setfill()を設定を含む）
独自フォーマットで出力した後ストリームの状態を元に戻す方法って何かあるんでしたっけ
std::ostringstream os; としてosに対してで独自フォーマットで出力して
std::cout << os.str();
ぐらい？
しかしこれにしてもstd::cout << setw(10000) << std::left << std::setfill('0');
とかされていたら左詰め/右詰め/パディングが独自フォーマットとして制御し切れていない気が……

**デフォルトの名無しさん** · 2022/04/30(土) 11:11:18.79

つか実はostreamは使い終わったら、独自に使った書式指定について
cout << resetiosflags(...);
でリセットするのが作法？

**デフォルトの名無しさん** · 2022/04/30(土) 11:40:17.38

('_')と('0')が顔文字に見えた

**デフォルトの名無しさん** · 2022/04/30(土) 11:49:21.15

　('_')
｜｜
｜つ('0')

**デフォルトの名無しさん** · 2022/04/30(土) 11:50:48.98

>>514
left/right は os.flags() の戻り値を std::ios_base::{left, right} でマスクして確認
https://en.cppreference.com/w/cpp/io/ios_base/flags

書式設定全体の保存・復元は一時的な ostream を作って copyfmt でやるのがいいらしいよ
https://stackoverflow.com/questions/2273330/restore-the-state-of-stdcout-after-manipulating-it

**デフォルトの名無しさん** · 2022/04/30(土) 12:10:48.58

>>518
>left/right は os.flags() の戻り値を std::ios_base::{left, right} でマスクして確認
なるほど……

>書式設定全体の保存・復元は一時的な ostream を作って copyfmt でやるのがいいらしいよ
なるほど……
書式設定を記憶するだけのためにstd::iosオブジェクトを作るのかmjk、、、

**デフォルトの名無しさん** · 2022/04/30(土) 13:59:17.37

https://ideone.com/JPtQV9
VCでは通らないが、GCCでは通るコード。正しデバッグ中・・・。

ブロックソート書いたんですよ、ブロックソート。
安定ソート書けないから横着してアルゴリズムヘッダーのヤツ使ったんですよ。
落ちるんですよ。

誰かたすけて！

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

おまえらさぁ
openAPIがロハなのになんでいつまでもVCなんか使ってるのさ?

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

円盤でお願いします

**デフォルトの名無しさん** · 2022/05/01(日) 07:28:35.35

>>520
31行目で A = B = DD; しないで return してしまってるけどいいの?

**デフォルトの名無しさん** · 2022/05/01(日) 09:52:18.27

>>523
がーん。ありがとう。ありがとう。
https://ideone.com/Bb65gm
こんな感じになりました。デコーダ書かなきゃ。

**デフォルトの名無しさん** · 2022/05/01(日) 14:31:24.77

あるプロセスで、変数の型とアドレスはわかってるものとして、
それをc++のプログラムから書き換えるにはどうすればいいんですかね？
調べても情報があまり出てこなくて...

**デフォルトの名無しさん** · 2022/05/01(日) 14:43:19.26

>>525
アドレス分かってるんならそこにアクセスすれば
でもC++からはわかるわけねえわ

**デフォルトの名無しさん** · 2022/05/01(日) 14:53:21.11

こんなんでいいんじゃね
mytype* p = reinterprit_cast<mytype*>(0xaabbccdd);
*p = 1000

**デフォルトの名無しさん** · 2022/05/01(日) 14:55:46.12

他のプロセスからってことじゃないの
WindowsならReadProcessMemory/WriteProcessMemory

**デフォルトの名無しさん** · 2022/05/01(日) 14:56:17.49

アドレスがわかってると言いながら実は空間が違うとか。

**デフォルトの名無しさん** · 2022/05/01(日) 14:58:07.61

すみません、説明不足でした。
自分がやりたいのは、あるプロセスの変数をc++で作った別のプログラムから書き換えることです。
a.exeが持つ変数をb.exeから書き換える、みたいなことです。

**デフォルトの名無しさん** · 2022/05/01(日) 15:03:02.21

linux的にはptraceを調べるとか…

**デフォルトの名無しさん** · 2022/05/01(日) 15:07:04.74

リバースエンジニアリングでしょ
環境依存だしここで有益な答えが返ってくるとは思えない

**デフォルトの名無しさん** · 2022/05/01(日) 15:07:49.80

実行時に書き換えるならば排他制御が必須

**デフォルトの名無しさん** · 2022/05/01(日) 15:11:01.84

スタック変数やヒープ変数を実行前に書き換えるのは不可能

**デフォルトの名無しさん** · 2022/05/01(日) 15:13:35.34

皆さんありがとうございます。
>>528さんのものが使えるかもしれないので、一回調べながら触ってみます。

**デフォルトの名無しさん** · 2022/05/01(日) 15:47:36.66

>>534
プロセスって言ってんだから実行中の話だろうjk

**デフォルトの名無しさん** · 2022/05/01(日) 16:19:28.57

>>521
oneapi でなく openapi というのがあるの？

**デフォルトの名無しさん** · 2022/05/01(日) 16:52:28.16

readprocessmemory, writeprocessmomoryの詳しい使い方が載ってるサイトってありますかね...

**デフォルトの名無しさん** · 2022/05/01(日) 18:15:25.12

>>513
マジか
結局キャストだな
中途半端で使えない機能なんか付けんなよ

**はちみつ餃子** ◆8X2XSCHEME · 2022/05/01(日) 18:35:08.33

>>538
https://docs.microsoft.com/ja-jp/windows/win32/api/memoryapi/nf-memoryapi-readprocessmemory
https://docs.microsoft.com/ja-jp/windows/win32/api/memoryapi/nf-memoryapi-writeprocessmemory
プロセスハンドルとアドレスと大きさを指示するだけで難しいことはなんもない。

ターゲットになるプロセスを見つける方法とかはたぶんこのあたりが参考になるかな……
https://docs.microsoft.com/ja-jp/windows/win32/psapi/enumerating-all-processes

公式ドキュメントは全体像が掴みづらい場合もあるけど、
この場合はたいした規模の話でもないからこれで十分でしょ。

外部のプロセスから逐一コピーして操作するのが面倒なら DLL Injection でプロセス内にプログラムを注入する方法もあるよ。

**デフォルトの名無しさん** · 2022/05/01(日) 18:37:39.22

srd::vectorも最初は誰がこんなクソコンテナ使うんだよっ
て言われてて皆好き勝手に独自のコンテナ実装してたらしいなｗ

**デフォルトの名無しさん** · 2022/05/01(日) 18:42:14.03

>>539
まあ結構ニッチだと言うのとリンク先にも書いてある通り
struct STRUCT {
int* array;
};
int STRUCT::*pt = &STRUCT::array[2];
ってやられたら違うコードにしないといけないから面倒なんだろうね

**デフォルトの名無しさん** · 2022/05/01(日) 18:48:00.04

>>540
ありがとうございます！試してみます！

**デフォルトの名無しさん** · 2022/05/01(日) 18:54:08.08

>>542
その例を上げるのはメンバポインタがわかってない人と思う

**デフォルトの名無しさん** · 2022/05/01(日) 19:01:02.73

その例は構造体の中のintを指してないから
出来ないのは当たり前

**デフォルトの名無しさん** · 2022/05/01(日) 21:50:45.69

>>521
oneapi最適化性能ショボくね？
Ryzenだからかもしれんがgfortranと速度同じくらいでビビったわ。

**デフォルトの名無しさん** · 2022/05/01(日) 22:03:23.83

>>544-545
だからできないって話なんだがw

**デフォルトの名無しさん** · 2022/05/02(月) 06:08:38.44

struct STRUCT
{
int array[2];
};

arrayはSTRUCT直属のメンバだからメンバポインタで指せるが
array[1]はあくまでarrayの要素であってSTRUCT直属のメンバではないので
これを指すようなメンバポインタは存在しない

**デフォルトの名無しさん** · 2022/05/02(月) 06:48:46.84

classのメンバ関数型が存在しない理由って何？

classのメンバ関数へのポインタのことではないよ
関数型も関数への参照も関数へポインタも認めてるのになぜメンバ関数は存在しないんだ

**デフォルトの名無しさん** · 2022/05/02(月) 07:02:09.71

できない話をいつまでもしてるのは脳に何か障害でもあるのか？

**デフォルトの名無しさん** · 2022/05/02(月) 07:08:05.16

理由を問うているんだけ、理解できないのか

脳に何か障害でもあるのか？

**デフォルトの名無しさん** · 2022/05/02(月) 07:36:33.49

void func(void (CLASS::*pm)(), CLASS& ref)
{
*pm; //Error. メンバ関数ポインタには逆参照演算子が存在しない
(ref.*pm)(); //pmを実体化するには.*か->*しかない
}
メンバ関数型というのがもし存在するなら*pmのはずだが現実にはできない

**デフォルトの名無しさん** · 2022/05/02(月) 07:56:46.72

出来るできないを聞いているわけじゃない・・・
日本語理解できますか？

**デフォルトの名無しさん** · 2022/05/02(月) 08:09:32.17

単純な逆参照*pmができるメンバ関数型はすべからくクロージャなるべし？
class Foo a;　　// std::string Foo::someMemberFunc(int a, int b, double c)を持つ
class Bar b;　　// std::string Bar::anotherMemberFunc(int a, int b, double c)を持つ

auto someMemberFunc = [=, &a](int a, int b, double c) -> std::string { return a.someMemberFunc(a, b, c); };
auto anotherMemberFunc = [=, &b](int a, int b, double c) -> std::string { return b.anotherMemnberFunc(a, b, c); };

std::function<std::string(int, int, double>* pm;
pm = &someMemberFunc;
std::cout << (*pm)(1, 2, 3.4); // a.someMemberFunc()が呼ばれる
pm = &anotherMemberFunc;
std::cout << (*pm)(5, 6, 7.8);　　// b.anotherMemberFunc()が呼ばれる
std::function<std::string(int, int, double)> fn = *pm;　　//　 b.anotherMemberFunc()が呼ばれるためのクロージャにデリファレンスされる

**デフォルトの名無しさん** · 2022/05/02(月) 09:03:37.01

>>553
自分が欲しい機能は全て揃ってないとおかしいとかガイジすぎだろw

**デフォルトの名無しさん** · 2022/05/02(月) 09:06:55.61

あれが「揃ってないとおかしい」と読める読解力の方に問題がありそうだが

**デフォルトの名無しさん** · 2022/05/02(月) 10:01:16.40

理由「仕様です」ということも理解できないの？
まじで脳障害を疑った方がいいぞw

**デフォルトの名無しさん** · 2022/05/02(月) 10:12:11.24

仕様がクソすぎる

**デフォルトの名無しさん** · 2022/05/02(月) 11:03:41.58

無能ワイ、メンバ関数型がなんなのかよく分からない

**デフォルトの名無しさん** · 2022/05/02(月) 11:30:26.72

ちんちんシュッ!シュッ!シュッ!

**デフォルトの名無しさん** · 2022/05/02(月) 11:53:48.09

>>549
適切な規格化（めんどくさい）や新たな実装（めんどくさい）が必要なわりに見合う有用性が無いと考えられているからでしょう。

**デフォルトの名無しさん** · 2022/05/02(月) 12:05:29.20

>>553
いいだろう
では、仮にあったとしてどんな使い方を考えているんだ？

decltype(CLASS::func) mirror;
CLASS obj;
obj.mirror(); //これでobj.func();になればいいのか？

**デフォルトの名無しさん** · 2022/05/02(月) 12:29:35.60

operator ?: がない理由も
仮にあったとして以下略への答えがないからだね

**デフォルトの名無しさん** · 2022/05/02(月) 12:40:24.60

>>559
安心しろ。俺もわからん。

**デフォルトの名無しさん** · 2022/05/02(月) 13:38:33.63

>>547
違う話を出してきて出来ないと主張されても

>>548
メンバポインタの実体はただのアドレスのオフセットなんだから出来て良い
実際offsetofは出来る

結局制約が多過ぎてoffsetofとキャストを使うことになるなら
非常に中途半端な拡張と言わざるをえない

**はちみつ餃子** ◆8X2XSCHEME · 2022/05/02(月) 13:50:32.84

>>565
メンバでないものをメンバポインタの範囲で扱うことは出来るけど「やるべきでない」からやってないって話だろ。
まあそれを言ったら C++ には奇妙なものはいっぱいあるから今更ではあるけどさ。

それに offsetof は offsetof で色々と制約があるからなぁ。
特にスタンダードレイアウトである必要がある (そうでないときは未定義) というのがなかなか厳しい。
可能な場合には型システムの枠組み内で扱いたい。

**デフォルトの名無しさん** · 2022/05/02(月) 14:01:47.48

>>565
仕様として出来ないことと実現不可能なことの区別もつかないのかよw

**デフォルトの名無しさん** · 2022/05/02(月) 16:26:17.62

>>566
配列の要素はメンバ
ではないと
まあそんな言葉の定義はどうでもいいとして

なぜやるべきでないと思う？
出来たら何がまずい？
何が不都合？
誰もこの点にふれてない

ただ単に仕様と言われても
その仕様が糞と思うだけ

**デフォルトの名無しさん** · 2022/05/02(月) 16:53:07.08

>>568
よくわからんが、こう言いたいの？
struct STRUCT
{
int array[2];
};

int STRUCT::*pm;
pm = &STRUCT::array[0];
pm = &STRUCT::array[1];
STRUCT obj;
(obj.*pm) = 1; //obj.array[1] = 1; こうなるべき

**はちみつ餃子** ◆8X2XSCHEME · 2022/05/02(月) 17:15:19.01

>>568
は？

> どうでもいいとして

> 誰もこの点にふれてない

触れたことを勝手に無かったことにしてるのはお前じゃん。
あほか。

**デフォルトの名無しさん** · 2022/05/02(月) 17:32:38.90

>>568
どうでもよくないぞ
オブジェクトが何に属するのかは
OOPの根幹に係わる重要なことだ

**デフォルトの名無しさん** · 2022/05/02(月) 17:34:25.32

>>570
配列の要素がメンバでないことは、現状のメンバ変数へのポインタが配列要素に適用できない理由を示すものと思いますが、
メンバ変数へのポインタを配列要素に適用可能にするという拡張の話について「やるべきでない」という理由にはならないかと。

**はちみつ餃子** ◆8X2XSCHEME · 2022/05/02(月) 17:56:52.90

>>572
そいういう拡張はあり得ると思う。
私の感覚では (メンバ内の) 配列の要素を許すのだともはやメンバポインタではない何かだろうという意識で書いてた。

つまり、メンバポインタとしてやるべきではないということと、
メンバポインタを拡張して出来上がる何者かで出来るようにするというのは両立するってことね。

**デフォルトの名無しさん** · 2022/05/02(月) 18:01:04.13

なんとなくわかったけど、
c において配列を指す変数がポインタと同一視されるんだから、cを踏襲するc++でも配列を指す変数がポインタ扱いになるのはおかしなことじゃない。そうすると配列の要素はポインタの先になるので、配列を指すメンバー変数の要素もポインタの先になってメンバーじゃなくなりますな。
というか、こんなくだらないことでゴチャゴチャやってたの？

**デフォルトの名無しさん** · 2022/05/02(月) 18:06:02.86

>>574
文章ミスしたわ。
どちらにしてもややこしいけど。

誤：配列を指すメンバー変数の要素も
正：配列を指すメンバー変数の配列の要素も

**デフォルトの名無しさん** · 2022/05/02(月) 18:23:20.44

>>570
構造体の中の配列の各要素は当然構造体の一部
つまりメンバ
というのが私の認識だが
その結果はどうでも良い
ここを議論しても意味がない
単なる言葉の定義の話だから

そうじゃなくて
技術的な話をしたいわけで

以下なら&S::a1と出来る
これで実質&S::a[1]になる

struct S {
...
union {
int a[3];
struct {
int a0;
int a1;
int a2;
};
};
};

こんな事をやらないと出来ないのはなぜか？

**デフォルトの名無しさん** · 2022/05/02(月) 18:27:19.33

>>571
>>576

**はちみつ餃子** ◆8X2XSCHEME · 2022/05/02(月) 18:34:51.86

>>576
これは抽象の問題だから言葉の定義こそが本題だよ。

**デフォルトの名無しさん** · 2022/05/02(月) 18:40:58.17

おじいさんみたいな改行と文体

**デフォルトの名無しさん** · 2022/05/02(月) 18:45:56.08

>>578
>576は抽象の問題は話していないので、そういうことにはならないかと。
言葉の定義が重要というならまず「メンバポインタ」などという未定義の用語を使うべきではないでしょうし。

なお>574の「配列を指す変数がポインタと同一視される」といった不正確な理解も、
厳密な定義を語るにあたっては前提が不適切と思います。

>576 などでは現行の pointer to data member を拡張した "pointer to subobject" とでも言うようなものの
可能性が探られているものと理解しています。
現状でそういった機能が無い理由は >561 になると思ってますが。

**デフォルトの名無しさん** · 2022/05/02(月) 18:53:30.65

配列にも入れ子の構造体にも使えない
offsetofの劣化コピーじゃ
何のためにわざわざ仕様追加したんだかわからんねえ

**デフォルトの名無しさん** · 2022/05/02(月) 19:03:28.83

>>581
追加された理由は offsetof に伴う危険なキャスト無しで同等の機能を提供したかったからでしょうね。
そもそもCでさえ offsetof を使ったメンバアクセスはすべて規格上は未定義動作の範疇のままであり、
未定義動作を認めないとする観点で言えば pointer to data member は純粋な拡張として有用です。

現行コンパイラ実装での挙動まで含めて考えれば、挙げられているとおり offsetof の適用可能範囲のほうが
ずっと広いんですけども。

**デフォルトの名無しさん** · 2022/05/02(月) 20:14:09.92

ninja使わないで普通にmakeするとものすごく遅いな。
ninjaって凄く速かったんだな。

**デフォルトの名無しさん** · 2022/05/02(月) 20:49:04.97

純粋な疑問なんだけどメンバ変数である配列の要素のポインタを変数として扱えて何が嬉しいの？
使い方が思い浮かばない…

**はちみつ餃子** ◆8X2XSCHEME · 2022/05/02(月) 20:59:32.26

そもそもメンバを指すポインタだってそんなに使うもんじゃないしな。
std::is_class の実装に使えるんじゃねーのという文脈で登場する程度。

**デフォルトの名無しさん** · 2022/05/03(火) 10:38:15.40

ていうか>>512の例ができない理由の説明は>>548で良くね↑
>>542のコードを借りるが
struct STRUCT {
　int* array;
};
int STRUCT::*pt = &STRUCT::array[2];
という最後の行は
>c において配列を指す変数がポインタと同一視されるんだから(>>574)
に依存した便法が混じっているから話がおかしくなるので便法抜きで厳密に書いたら
int (STRUCT::*pt)[] = &STRUCT::array;
であって配列内のオフセットがメンバポインタで表せる余地が無いことは確定的に明らか

**デフォルトの名無しさん** · 2022/05/03(火) 10:41:06.53

構造体STRUCTのメンバを指すメンバポインタというものが
構造体STRUCTの直接の配下のメンバ以外まで指せる仕様にしたら
構造体STRUCTの中に構造体SSTTRRUUCCTTが存在する入れ子のケースにおいて
構造体STRUCTのメンバポインタでなんでSTRUCT::SSTTRRUUCCTTのメンバを指せないんじゃｳﾞｫｹ、
おなじSTRUCTのメンバやろうが、
みたいなお馬鹿疑問を抱くｱﾌｫが出てくるに違いないのと同じ

**デフォルトの名無しさん** · 2022/05/03(火) 12:03:52.41

エラーログかとおもた

Amnesty International USA
https://twitter.com/amnestyusa/status/1521295013044539392
Abortion is a human right
Abortion is a human right
Abortion is a human right
Abortion is a human right
Abortion is a human right
Abortion is a human right
Abortion is a human right
Abortion is a human right
Abortion is a human right
Abortion is a human right
https://twitter.com/5chan_nel (5ch newer account)

**デフォルトの名無しさん** · 2022/05/03(火) 18:51:24.96

>>587
最後の止め乙

**デフォルトの名無しさん** · 2022/05/03(火) 22:24:19.43

ついでに漏れもお馬鹿質問したいのですが
ファイルスコープの関数をextern "C"する正しいやり方教えてｸﾚﾒﾝｽorz
目的はatexit()への登録で、登録する関数自体は公開したっくないケース

// (1)
extern "C" void foo(void) { ... } // NG: ファイルスコープにならない

// (2)
extern "C" void foo(void);
static void foo(void) { .. }　　// NG(?): コンパイラに怒られそう

// (3)
namespace {
　extern "C" void foo(void) { ... } // NG(?): コンパイラに怒られそう　怒られないとしたら漏れの知っている無名名前空間の実装と違う
}

// (4)
extern "C" {
　static void foo(void) { ... } // NG(?): コンパイラに怒られそう
}

**デフォルトの名無しさん** · 2022/05/03(火) 22:26:06.85

やっぱ拡張子を ".c" にしてstatic void foo(void) { ... }するしかなさげ？

**デフォルトの名無しさん** · 2022/05/03(火) 22:39:49.52

> ファイルスコープの関数をextern "C"する
一行で矛盾しているが

**デフォルトの名無しさん** · 2022/05/03(火) 22:40:29.61

atexitが求めているのは関数ポインタだけなのでextern "C" はそもそも必要ない

extern "C" は関数の内部名をC言語形式(func()→_func)で扱うか、
C++形式で扱うか(func()→_Z3funcv、引数の型によって名前が変わる)だけの違い

namespaceとの相互作用は知らん

**デフォルトの名無しさん** · 2022/05/03(火) 23:03:04.80

>>593
た確かに…！
VCだとC++リンケージの関数でも問題無く登録できてｲｺﾞｲﾀ
ここの記述に引きずられてしまった↓
https://www.ibm.com/docs/ja/zos/2.2.0?topic=functions-atexit-register-program-termination-function
C および C++ のリンケージ規約は非互換のため、atexit() は C++ 関数ポインターを受け取ることができない。
C++ 関数ポインターを atexit() へ渡そうとすると、コンパイラーがエラーとしてこれにフラグを付けることになる。
C++ atexit() 関数を使用するには、atexit() に登録されたすべての関数を extern “C” として宣言することにより、
これらの関数が C リンケージを必ず持つようにしなければならない。

**デフォルトの名無しさん** · 2022/05/03(火) 23:16:58.67

>>594
なんだそれは...IBMコンパイラ特有の制限か？

Linuxでもそんな制限はないし
https://linuxjm.osdn.jp/html/LDP_man-pages/man3/atexit.3.html

**デフォルトの名無しさん** · 2022/05/04(水) 06:21:09.19

9.11 Linkage Specification
2 Two function types with different language linkages are distinct types even if they are otherwise identical.