結局C++とRustってどっちが良いの？ 6traits

**デフォルトの名無しさん** · 2023/07/29(土) 15:05:46.55

C++の色々配慮してめんどくさい感じは好きだけど、実務になったらメモリ安全性とか考えて今後Rustに変わっていくんかな」
「うだうだ言ってないで仕事で必要なのをやればいいんだよ、趣味なら好きなのやればいい」

っていう雑談スレ。

前スレ　
https://itest.5ch.net/mevius/test/read.cgi/tech/1688129795

関連スレ(マ板): Google&MS「バグの70%はC/C++。Rustにする」
https://medaka.5ch.n...cgi/prog/1619943288/

**デフォルトの名無しさん** · 2023/07/29(土) 16:23:31.04

=== 複製おじさん（通称複おじ）について ===
Rustスレを中心に活動し、2023年4月現在で1年以上ム板に住み着くRustacean。無自覚な荒らし。

Rustスレでは、基本的に他住民の意見を聞いて糧とすることなく、自らのコードが最善であると、ID変更自演を交えいつまでも主張し続ける。
同スレで「所有権が複製される」という違和感のある表現を、「違和感がある」とする他住民の意見をすべて否定してしつこく擁護し続けたことから、「複製おじさん」というあだ名が付けられた。
それ以外のム板スレでは、基本的に他住民の意見を聞いて糧とすることなく、Rustこそが最善であると、ID変更自演を交えいつまでも主張し続ける。
その基本戦術は、「GC言語は遅い」の一声でC/C++/Rust以外の言語を否定し、残ったC/C++は安全ではないので、Rustが最善であるとするもの。

しかしながら、Rust以外の言語に関しては、正当な批判を展開するのに十分な知識を持っているとは言いがたい。
本スレPart1では、C++の問題点を指摘しようとして多数の誤り・知識不足を露呈することとなった。特にしつこく食い下がったのが「動的ディスパッチ」に関する誤解である。
https://mevius.5ch.net/test/read.cgi/tech/1677286186/786-799（ID:Evbafc70とID:RiLc+pIfが複製おじさんであると考えられている）
要約すると、通常「条件分岐」と呼ばれるものを「動的ディスパッチ」と呼ぶのが正しいと主張し続けたのである。
常識的にはあり得ない誤解だが、提示されたC++のコードが自らの主張（C++にはパターンマッチが無い）に不都合であると感じたためか、C++のコードを正しく読み解くことができないにもかかわらず脊髄反射的に否定してしまい、その根拠として誤った論理をこじつけてしまったものと思われる。

ちなみにこの後、同種の誤解を持って書き込むID:wHEiYRW7（これはID使用歴的に複製おじさんとは考えにくい）に対して、正しい理解に基づく指摘を行う単発IDが複数出現するが、この中にも複製おじさんが多数含まれていると考えられている。
このように自分の誤りを認識した場合、それを認める書き込みは決して行わず、別人の振りをして最初から正しく理解していた体を装うのも複製おじさんの特徴である。

**デフォルトの名無しさん** · 2023/07/29(土) 16:55:07.62

>>5
うんうんよかったよね、おめでとう

**デフォルトの名無しさん** · 2023/07/29(土) 17:37:52.03

前スレで、moveいるいらないっぽい話がちょろっと出てたけど、
moveまわりを避けて、実直にポインタでやりとりする書き方してるんだろうな
APIにごく近いところに住んでて、簡潔に書くようにしてたら、おのずとそうなるかと

**デフォルトの名無しさん** · 2023/07/29(土) 19:15:34.26

C++のtemplateの扱いもガチ勢とコンテナ専で意見が分かれそうだな
マルチパラダイム言語だから仕方ないけど見る人によっては無駄に複雑化してるかもしれない

>>1
亀だけどスレ立て乙です

**デフォルトの名無しさん** · 2023/07/29(土) 21:45:32.91

>>9
C++の最大の特徴は後方互換性だよ
拡張された部分が複雑で気に入らなければ
使わなくても良いんだよ

**デフォルトの名無しさん** · 2023/07/29(土) 23:38:06.97

じゃあ過去のコードを手直しせずに新しいコンパイラでコンパイルできるのかと言えばそうでもない

**デフォルトの名無しさん** · 2023/07/29(土) 23:59:23.36

コンパイラのバージョン上げて必要になる修正なんて微々たるもの
あんまりコンパイラのバージョン跨ぐと修正が多くなるけども
追従していけばそれほど大変でもない
例の人には特に苦手な作業だろうw

**デフォルトの名無しさん** · 2023/07/30(日) 03:38:14.45

Rustを使ってる人は、
何か作りたいものが有って作ってるんじゃなく、
自己アピールや書籍を書いたりするためにしている人が多い。

**デフォルトの名無しさん** · 2023/07/30(日) 07:07:33.08

>>964 前スレから
>>>962
>>C++20もconceptとかrequireとか言い出してるから心配しなくていいよ
>最近のC++に問題が多数混入したことは知られているが、
>人気が絶頂だったころのC++はシンプルで分かり易かったぞ。

最近っていつ？

**デフォルトの名無しさん** · 2023/07/30(日) 07:30:46.91

C++って、全機能使いこなせないと殴られるんちゃうかみたいなふいんきあった
仕様書頭に入ってないと発言権ありません的な

まあでもそのくらいの気合はあって悪くない
Rustを前にして、苦手意識のほうを捨てることにしたよ

**デフォルトの名無しさん** · 2023/07/30(日) 07:30:53.64

>>13
私は非同期並列処理を用いた高速な行列演算フレームワークを開発しているところ何ですけど。

**デフォルトの名無しさん** · 2023/07/30(日) 09:04:44.76

>>968
メンド臭いな
もっとシンプルにしろ

**デフォルトの名無しさん** · 2023/07/30(日) 09:08:21.61

>>977
気持ちは判る
改悪は事実だが元々良かった訳でもないしな

**デフォルトの名無しさん** · 2023/07/30(日) 09:11:27.27

>>984
これも判る
std::vectorもstd::listも馬鹿設計

**デフォルトの名無しさん** · 2023/07/30(日) 09:15:05.98

あたまのおかしい連続レス
>>1
こんな板違いのクソスレ立てるくらいならワッチョイ付きのまともなRustスレ立てろ
ここは頭のおかしい荒らしを養殖、醸成させるスレになってんだよ

**デフォルトの名無しさん** · 2023/07/30(日) 09:16:12.95

>>2
むずいというよりメンドくさいだけ
考え方はシンプル
メンドくささを受け入れられない気持ちは判る

**デフォルトの名無しさん** · 2023/07/30(日) 09:20:35.40

>>20
スレタイを unsafe {} で囲め

**デフォルトの名無しさん** · 2023/07/30(日) 10:20:14.20

>>22
unsafeがあれば安心安全だよな

**デフォルトの名無しさん** · 2023/07/30(日) 11:29:34.23

>>19
どういった点が? 煽りではなく

**デフォルトの名無しさん** · 2023/07/30(日) 11:31:46.14

>>21
関数引数のライフタイム注釈は、まあ、分かるんだけど、
structに対するライフタイム注釈は、色々な書籍を見ても、
厳密な定義が分からなかった。
ちゃんと、数学的な言葉や擬似コードなどで書いて欲しい。
たとえば、注釈Aと注釈Bの積集合が、戻り値のライフタイム
になる、みたいな言葉で書くのが数学的な書き方なんだが、
今のRustの仕様書では、そのような言葉で書かれていないので
精密な定義が分からない。
なので、ちゃんとしたプログラムが出来ない。

**デフォルトの名無しさん** · 2023/07/30(日) 11:32:55.90

>>24
気付くかどうかがその人の能力。
具体的にプログラミングして実現する実装能力とは別。

**デフォルトの名無しさん** · 2023/07/30(日) 11:38:08.04

Haskellバカも含めて論文だの厳密だの言うくせに誰もRFC2094を読んでいないのはなぜなのか
https://ubnt-intrepid.netlify.app/rfc-2094-ja/

**デフォルトの名無しさん** · 2023/07/30(日) 11:57:11.73

煽ったり荒らしたりして情報を引き出すやり方なんだろう
自己中

**デフォルトの名無しさん** · 2023/07/30(日) 11:58:14.59

>>26
>気付くかどうかがその人の能力。
「俺は問題が分かっている気づかないお前は能力が低い」では議論にならない
こういう言い回しが散見される
あなたが社会に馴染めない原因

**デフォルトの名無しさん** · 2023/07/30(日) 12:00:32.88

>>25
規格をまとめれば査読されるだろうからマシになる

**デフォルトの名無しさん** · 2023/07/30(日) 12:09:03.54

>>25
君の頭の悪さをRustのせいにするなよな

**デフォルトの名無しさん** · 2023/07/30(日) 13:09:07.24

>>20
ﾜｯﾁｮｲ付きスレもあるよ
単発自演バカ以外はこんなスレ求めてないから機能停止してるけど
https://mevius.5ch.net/test/read.cgi/tech/1657382429/

**デフォルトの名無しさん** · 2023/07/30(日) 15:31:48.90

>>31
なんとでも言え。
俺は現実世界では優秀だと認められてるから。

**デフォルトの名無しさん** · 2023/07/30(日) 16:02:20.57

虚しい人生だったなぁ

**デフォルトの名無しさん** · 2023/07/30(日) 17:28:04.45

>>34
おまえはおまえでちゃんとやっているつもりなんだろうが、
おれはおれでちゃんとやっているつもりだ。
Rustを非推奨とするのは、俺の心からの日本や世界への
愛でもある。
俺の考えでは、Rustは人類を良く無い方向に導くから
それを阻止しようと考えている。いわば、聖戦のようなもの。

**デフォルトの名無しさん** · 2023/07/30(日) 18:04:19.90

現実世界でも優秀でないのは文章を見れば一目瞭然
ある一定以上の知性がある人はここまで馬鹿な文章を書かないから

**デフォルトの名無しさん** · 2023/07/30(日) 18:10:24.42

>>36
俺は左脳的じゃないからかも。
色々調べてみると、右脳優位らしいし。

**デフォルトの名無しさん** · 2023/07/30(日) 18:25:30.98

脳の言語機能が発達してない人にプログラミングは無理だろ
少なくとも今の技術では

**デフォルトの名無しさん** · 2023/07/30(日) 19:00:04.97

難化の原因の一つはstatic変数の悪口を言ったこと
だから昔の技術ではプログラミングできた人達も、今の技術では無理になった

**デフォルトの名無しさん** · 2023/07/30(日) 19:38:56.42

>>38
でも俺は計算は得意だよ。

**デフォルトの名無しさん** · 2023/07/30(日) 20:15:01.23

>>35
歳はかなり上のはずなのに
時折書く文章は中学生みたい
引きこもりなのかな?

**デフォルトの名無しさん** · 2023/07/30(日) 21:19:18.98

本当に頭がよければ世界の80億人を愛するとか簡単に言うわけないんだよな
少なくとも世界中に足を運んで交流してからだろ

**デフォルトの名無しさん** · 2023/07/30(日) 21:27:24.25

歳は若くても45くらい多分50代後半かなと思う
それで>>35の書き込みだよ
社会経験が乏しいだと思う
俺はこの人は高齢引きこもりなんだと思う
何かの事情があったのだろう

**デフォルトの名無しさん** · 2023/07/30(日) 21:31:43.58

両者とも何か、リスクが低過ぎる物事に対する憎悪を感じる
詐欺よりも未定義の言葉を嫌うのもリスクが低過ぎるからじゃないか

**デフォルトの名無しさん** · 2023/07/31(月) 02:12:09.36

病人の相手を任せるためにも、はやくAIの開発がすすんでほしいわ

**デフォルトの名無しさん** · 2023/07/31(月) 03:49:12.78

まず、このスレの連中は、いったん素晴らしいと思い込んだ
ものを無批判に受け入れすぎている。そして、英語圏の
批評、批判を全く読んでない。
読んでいればRustの評価は余り高くなくて、意見が
半々くらいに分かれていることがすぐに分かるから。

**デフォルトの名無しさん** · 2023/07/31(月) 07:47:53.35

OSなんて一つの言語で記述するメリットが大きすぎる
それを上回るよほどの大きなメリットがない限り他の言語を導入することはない

しかしMicrosoftはWindowsでRustを導入しGoogleはAndroidでRustを導入した
C++を邪道な言語として使用を拒否してきたLinuxもRustを導入した

**デフォルトの名無しさん** · 2023/07/31(月) 07:49:34.85

ｗ

**デフォルトの名無しさん** · 2023/07/31(月) 08:31:37.72

まあmalloc失敗でpanicにならんのならええんやない？

**デフォルトの名無しさん** · 2023/07/31(月) 10:22:06.96

>>49
Rust の方でも .unwrap() 禁止するか unsafe {} 必須にして欲しいわ

**デフォルトの名無しさん** · 2023/07/31(月) 10:26:23.87

OSではCの支持率100%になってもアセンブラを排除するのは不可能
つまり、数値を抑制するのではなく
数値が上がりすぎるとスカウターみたいに爆発する脆弱性をなくせばいい

安全をどれだけ信奉してもunsafeを排除できないのは良いことだ

**デフォルトの名無しさん** · 2023/07/31(月) 11:49:57.24

>>47
>C++を邪道な言語として使用を拒否してきたLinuxもRustを導入した
$ wget 'https://cdn.kernel.org/pub/linux/kernel/v6.x/linux-6.4.7.tar.xz'
$ tar xJf linux-6.4.7.tar.xz
$ find linux-6.4.7 -name *.c -o -name *.h | xargs cat | wc -l
32115936
$ find linux-6.4.7 -name *.rs | xargs cat | wc -l
17057
たった0.05%だよ
rsソースの増加速度よりcソース増加速度の方が速いのも前回示した通り

>しかしMicrosoftはWindowsでRustを導入しGoogleはAndroidでRustを導入した
Windowsは前に出回ったスクショにファイルサイズが出てたねw
Andoroidで使われているとか言ってるRustは果たしてどのくらいなのかな?

**デフォルトの名無しさん** · 2023/07/31(月) 11:54:50.00

>>46
ここは北朝鮮じゃないので何を使うかは選択でき自由がある
「無批判に受け入れすぎている」は全く当たらない

**デフォルトの名無しさん** · 2023/07/31(月) 12:41:48.10

>>49
RustはLinuxなどのおかげで改善された
メモリ確保もエラーを返せるようになった

**デフォルトの名無しさん** · 2023/07/31(月) 13:01:06.05

>>52
ぐぐーるもM$も基本ウソツキだシナ

**デフォルトの名無しさん** · 2023/07/31(月) 13:48:39.26

行数もいいけど独裁者が何人いるか数えてみろよ
たったの1人しかいないから無力の無能だと言えるなら正直者
だが掌返して1人だからといって無能とは限らないとか言い出せば嘘つきだ

**デフォルトの名無しさん** · 2023/07/31(月) 13:56:25.29

>>56
意味がわからん
日本語も書けなくなったのか？

**デフォルトの名無しさん** · 2023/07/31(月) 13:58:30.69

>>57
多分、アメリカ人が書いている。

**デフォルトの名無しさん** · 2023/07/31(月) 14:57:58.99

>>52
あの頑固者のLinusが解禁したこと自体が画期的

RustがOKなら、Rust程度のOOPはOKってことで、近い言語が続々参入したりして
そうなると、simple化付きC++ってのも見えてくる

**デフォルトの名無しさん** · 2023/07/31(月) 15:00:33.59

>>59
Rustコンパイラは何を使うの?

**デフォルトの名無しさん** · 2023/07/31(月) 15:05:23.78

何かの政治的な理由でRustを仕方なく使ったんじゃね？

**デフォルトの名無しさん** · 2023/07/31(月) 16:30:08.80

>>60
知らんまじで処理系に指定があるかまでは存じ上げず

**デフォルトの名無しさん** · 2023/07/31(月) 18:53:04.02

普通にrustc（+llvm）でいいでしょ
知らんけど

**デフォルトの名無しさん** · 2023/07/31(月) 19:29:15.62

>>63
じゃカーネルのコンパイルは何使うの?

**デフォルトの名無しさん** · 2023/07/31(月) 22:08:37.01

カーネルおじさん

**デフォルトの名無しさん** · 2023/07/31(月) 23:55:46.68

どいつもこいつもマウントを取る相手に飢えてるんやなあって

**デフォルトの名無しさん** · 2023/08/01(火) 00:02:17.45

パタリとレスが止まったが
>>59みたいなこと書くのなら>>60とか>>64には答えられんとなぁw

**デフォルトの名無しさん** · 2023/08/01(火) 01:13:33.06

カーネルは知らないがrustcでコンパイルしたものとc言語で書かれたものはリンクできて動いてるし何を問題にしているのかわからない
最近はPythonやJavaScriptのライブラリもRustで書かれることが増えている

**デフォルトの名無しさん** · 2023/08/01(火) 01:42:20.33

>>68
Linuxカーネルは伝統的にgccでコンパイルされてきた
rustのコードはrustc on llvmでコンパイルされる
そうするとgccが吐いたオブジェクトファイルと
rustc on llvmが吐いたオブジェクトファイルをリンクできるのか?
という疑問が普通に浮かぶ
[解法1] できるのなら何も問題ない
[解法2] できないのならカーネルをclang on llvmでビルドすればリンクできるだろう
最近はclang on llvmでカーネルをビルドすることもあるみたいで
検索するとAndroidはclangらしい
[解法3] あるいはgccrsでrustコードをコンパイルすればgccのコードとリンクできるだろう
さて始まったらしい（しかし何もリリースされていないw）カーネルでRustの利用方法は
1なのか2なのか3なのか? あるいは別の方法かな?

**デフォルトの名無しさん** · 2023/08/01(火) 01:44:23.88

>>59みたいなこと書くのなら答えられんとなぁw

**デフォルトの名無しさん** · 2023/08/01(火) 01:47:19.20

WindowsでRustの利用が始まっているらしいが
MSはllvm使うのかね? Visual Rustかね?

**デフォルトの名無しさん** · 2023/08/01(火) 02:10:15.58

>>69
何を問題にしているのかさっぱりわからん
gccもclangも同じELF形式のオブジェクトファイルを吐くだけだぞ
共有ライブラリなども当然同じものが使われている
コンパイラ毎に別々の形式を吐いて共有ライブラリなども別々に用意されていると勘違いしている？？

**デフォルトの名無しさん** · 2023/08/01(火) 02:15:20.41

rustのコードはrustc on llvmでコンパイルされる
そうするとgccが吐いたオブジェクトファイルと
rustc on llvmが吐いたオブジェクトファイルをリンクできるのか?

あほすぎわろす

**デフォルトの名無しさん** · 2023/08/01(火) 02:28:22.85

>>72,73
じゃ1で良いのかな?

**デフォルトの名無しさん** · 2023/08/01(火) 02:44:40.50

そもそもRustは全く関係なくC言語だけを使う世界でも同じ話
コンパイラを変えてもリンクする既存ライブラリは同じものを指定して同じものをリンクするだろ
それを知らないとはエアプログラマーかね？

**デフォルトの名無しさん** · 2023/08/01(火) 02:46:40.94

まずrustcがllvmでコード生成してることを知ってるかどうか確認する必要があるな
rustc on llvmという表現に若干の不安を感じる

もしかしたらllvmを知ってるかどうかの確認も必要かもしれない

**デフォルトの名無しさん** · 2023/08/01(火) 03:08:01.35

>>75,76
じゃ1で良いのかな?
つまりカーネルはgccでビルドして
Rustで書かれたカーネルモジュールは（まだないけどもw）
rustcでコンパイルするのかな?

**デフォルトの名無しさん** · 2023/08/01(火) 03:19:00.62

coff とか omf とか elf とか面倒だよなω
D は沈没したしωωω

59 · 2023/08/01(火) 06:25:09.53

夏風邪で寝込んでた隠れ新型コロナかもしれんちなマスクはしてる

俺はC++派だし、どうしてるんかまで知らんって
Rust部のツールチェーンのバージョンを指定してるんじゃないか
見に行く元気はないまだだりぃ

Rustの努力にはライバルながら賛辞を贈る
Rustの成功をC++に取り込むべきだと思ってるからね

**デフォルトの名無しさん** · 2023/08/01(火) 10:31:09.40

ぐぐったらこれがあったので貼る
https://docs.kernel.org/rust/quick-start.html

引き続き、精読する元気はない(ｗ

**デフォルトの名無しさん** · 2023/08/01(火) 10:39:09.49

>>80
>>69の解法2だね

>>72,73,75,76
何で解法1じゃないの?
何でvery experimentalなの?

**デフォルトの名無しさん** · 2023/08/01(火) 11:29:23.00

Rustに詳しい人しか答えられないような内容を
ここに書くべきじゃない。
Rust専門スレがあるのに、何故そこに書かないか。

**デフォルトの名無しさん** · 2023/08/01(火) 11:32:16.29

昔はコンパイラとリンカは別物でコンパイラはposix標準のライブラリファイルを出すのが仕事でその後各言語が吐き出したライブラリファイルをリンカでくっつけてた
しかし今はコンパイラがリンクまでやってるのでこの“別言語間のリンク”がどうなんとなってるけど、流石にコンパイル後リンク前のライブラリファイル形式もその形式のファイルをはくオプションも残ってるやろ

**デフォルトの名無しさん** · 2023/08/01(火) 11:34:34.48

>>82
>Rustに詳しい人しか答えられないような内容を
>ここに書くべきじゃない。
何やそれw

自分が詳しくないこと分からないことについては
ここに限らず（5chにも限らず）書くべきじゃない

**デフォルトの名無しさん** · 2023/08/01(火) 11:53:54.57

かたいこというなや
「しらんけど」って付けときゃいいんだよ
しらんけど

まあ、bfd/binutilみたいのができて久しいし、
そのへんに準拠してれば、リンクはできるよ
(最近のことは)しらんけどｗ

**デフォルトの名無しさん** · 2023/08/01(火) 12:12:45.73

calling convention は、今後もなんとか突き合わせてもらうとして。
だいぶ前に書いたのは、RustにはRustのname manglingがあって、C/C++がそれに合わせられないかってこと

それができれば、所有権情報付きの型に対応できることになるから、
C/C++も一気に所有権まわりを獲得できるってことになる

**デフォルトの名無しさん** · 2023/08/01(火) 12:53:01.64

>>84
Rust専用スレがある。
そっちの住人にこっちは隔離スレとされた。
隔離されて無いはずのスレに戻れよ。
そっちの方が多いはずなんだろ、Rust信者の脳内では。

**デフォルトの名無しさん** · 2023/08/01(火) 15:10:07.83

>>87
文章は丁寧に（自戒も込めて）

**デフォルトの名無しさん** · 2023/08/01(火) 15:34:55.86

>>88
ウザい

**デフォルトの名無しさん** · 2023/08/01(火) 15:45:28.88

戻れも何も俺はそもそもRustユーザではないので
「Rust専用スレ」なるものを開いたことはない
ここには議論をしに来たのであってウザいと言われれば
反論できないのだなぁwとしか思わん

**デフォルトの名無しさん** · 2023/08/01(火) 15:48:14.84

またーりしていけよもう

たらこは言った、面白いことをかけって

**デフォルトの名無しさん** · 2023/08/01(火) 18:54:49.18

Rust一択でしょ

どっちもやったことないけど

**デフォルトの名無しさん** · 2023/08/01(火) 19:06:00.69

質問してるヤツと答えてるヤツが同一人物って可能性もある

**デフォルトの名無しさん** · 2023/08/01(火) 20:49:40.26

さすがにその可能性を疑い出したら病気の一歩手前だから気を付けてくれ
何か引っ掛かる点があったなら別だけど

**デフォルトの名無しさん** · 2023/08/01(火) 20:51:58.06

>>93
同一人物で自作自演したとして
俺が何をどう思われたいと思ってるのかが分からんので
是非論理的に教えてくれ

**デフォルトの名無しさん** · 2023/08/02(水) 00:36:41.42

>>69
それはRustと全く関係ない問題
オブジェクトファイルはコンパイラと独立した存在
C言語だけの話でもclangとgccを当然併用できる

まず関数fooだけのfoo.cを用意
$ cat foo.c
#include <stdint.h>
int foo(int32_t a, int32_t b) {
　return a + b;
}

これをclangでコンパイル
$ clang -c foo.c

オブジェクトファイルfoo.oが出来ている
$ ls foo.o
foo.o

つづく

**デフォルトの名無しさん** · 2023/08/02(水) 00:37:45.81

次に関数mainのmain.cを用意
$ cat main.c
#include <stdio.h>
#include <stdint.h>

int32_t foo(int32_t, int32_t);

int main(void) {
　int ret = foo(10, 20);
　printf("ret = %d\n", ret);
　return 0;
}

このmain.cをgccでコンパイルして(clangで作った)foo.oをリンクして実行ファイル生成
$ gcc -o main main.c foo.o

無事に足し算が実行できました
$ ./main
ret = 30

**デフォルトの名無しさん** · 2023/08/02(水) 00:59:42.14

clangとgccで上手くいった話は
rustcとgccにしても当然上手くいく

今度はRustで関数fooだけのfoo.rsを用意 (区別できるように掛け算に変えた)
$ cat foo.rs
#[no_mangle]
pub extern "C" fn foo(a: i32, b: i32) -> i32 {
　a * b
}

念のためfoo.oを削除しておく
$ rm foo.o

そしてrustcでコンパイルしてオブジェクトファイル生成
$ rustc -O --emit obj --crate-type staticlib foo.rs

さっきと同様にオブジェクトファイルfoo.oが出来ている
$ ls foo.o
foo.o

再び全く同じくgccでmain.cをコンパイルして(rustcで作った)foo.oもリンクして実行ファイル生成
$ gcc -o main main.c foo.o

無事に掛け算が実行できました
$ ./main
ret = 200

つまりRustで書かれたコードとその生成オブジェクトファイルは
何の問題もなくgccでコンパイルしたC言語コードから呼び出せる
(もちろん逆向きもOK)

**デフォルトの名無しさん** · 2023/08/02(水) 01:09:19.89

>>96-98
それは>>69の解法1を取り得ることを意味するが
公式文書では>>80のように解法2が説明されており
解法1はvery experimentalとある
なぜだい?

**デフォルトの名無しさん** · 2023/08/02(水) 01:11:29.45

誰でも知ってることを長文で書かなくていいから>>80読んでね

**デフォルトの名無しさん** · 2023/08/02(水) 01:15:12.91

>>86
>それができれば、所有権情報付きの型に対応できることになるから、
これが気になってて
>>98みたいにno_mangleすると
所有権システムは制限されるのかな?

**デフォルトの名無しさん** · 2023/08/02(水) 01:28:10.98

>>99
その文書に根拠が書かれていないからわからない
その文書によるとclangとrustcならば上手くいくのだからRust側の問題ではなくclang側の問題でもない
仮に問題があるとすればgcc側の問題なのだろう
そしてその場合かあると仮定するとC言語のみでもgccとclangで上手くいかないケースが存在するのだろう

**デフォルトの名無しさん** · 2023/08/02(水) 01:34:00.68

very experimentalなのは単純に実績が浅いからでしょ
同じ規格に合わせて作ったつもりでも実際に組み合わせると想定外の問題が生じる場合がある
この辺は結合テストの経験がないとピンとこないかもしれない

**デフォルトの名無しさん** · 2023/08/02(水) 01:51:18.44

>>103
実績は10年以上あるでしょ
例えば/usr/lib/の下にあるライブラリファイルがgccかclangかどちらでコンパイルされたものかに関わらず
gccからもclangからもそれらライブラリを区別なく使われて問題を起こさず動いてきた
そこはELFのフォーマットが定められているからコンパイラの違いがあっても大丈夫

**デフォルトの名無しさん** · 2023/08/02(水) 02:02:17.30

linuxのソースに含まれない外部配布のカーネルモジュールのコンパイルって
普通コンパイラを（バージョンも含めて）揃えない?
神経質過ぎるだけかな?