[過去ﾛｸﾞ]
Rust part24 (1002ﾚｽ)
Rust part24 http://mevius.5ch.net/test/read.cgi/tech/1716759686/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
558: デフォルトの名無しさん [sage] 2024/07/02(火) 08:41:47.20 ID:hGRi0mb2 >>544 C の関数は基本的にはちゃんと型はついてるが可変長引数は静的な型情報を捨てること実現してる。 もちろんそれを引き継いだ C++ も。 C++ は後に variadic template による安全な可変長引数を導入したが古いスタイルの可変長引数も廃止はしてない。 言語仕様を素朴に実装したら型はわからないんだよ。 printf などの一部の関数に限っては「関数の型情報によらずに」コンパイラが特別扱いでチェックしてる。 関数の型を元に検査してるんじゃなくて printf の仕様をビルトインして特別扱いしてるの。 http://mevius.5ch.net/test/read.cgi/tech/1716759686/558
562: デフォルトの名無しさん [sage] 2024/07/02(火) 11:50:20.39 ID:hGRi0mb2 >>560 C++ のライトユーザは関数テンプレートのことを誤ってテンプレート関数と呼ぶことが頻繁にある。 関数テンプレートが関数であるという誤解が言葉になって表れてるんだと思う。 単に使うだけなら関数みたいに見えてしまうからかもしれない。 関数テンプレートは関数を生成する元になるテンプレートだから関数テンプレートなので「生成する」というところに着目したらマクロで生成するのでも理屈はあまり変わらないかもしれない。 ただ、 LISP 系言語の経験から言うと構文レベルで制御されるマクロはエディタのサポートが受けづらいし、ドキュメントを型で表現できないのはやりづらい。 マクロ展開の失敗がどういう失敗なのかをきちんとエラーメッセージにするのも難しい。 デメリットもあるけど、どうせどこかに問題があるならこのくらいで良いという潔さは感じる。 http://mevius.5ch.net/test/read.cgi/tech/1716759686/562
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.030s