C++相談室 part154

1 名前：デフォルトの名無しさん mailto:sage [2021/01/08(金) 17:54:00.55 ID:0DW9z0rL.net] ※前スレ C++相談室 part153 https://mevius.5ch.net/test/read.cgi/tech/1602339500/ テンプレここまで 301 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 01:56:51.26 ID:SJAC6oP5.net] iostreamはクソなのは正解だが別に批判するようなことでもない なぜなら使わなければいいだけの話だからだ 302 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 02:06:50.03 ID:OHt9F1SU.net] 無理にクラス継承を使わずオーバーライド関数とそれを使うテンプレート関数を充実させたほうが幸せになれる。 303 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 02:41:04.49 ID:PJvUkb6d.net] 別に無理して継承を使っているわけではない どっかの馬の骨が気に入らんからといって あれを使うなこれを使うなと言われるほうが無理そのものだ 304 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 02:53:37.72 ID:OHt9F1SU.net] 例えば、ファイルに書き込む処理があったとする。 ファイルハンドルとして有名な型としては、int型、FILE*型、iostream型、Win32APIのHANDLE型などがあげられる。 これらを派生クラスに閉じ込めて抽象化するよりも、関数名が同じになるオーバーライド関数を作ってテンプレート関数から呼んだ方がはるかに楽。 int WriteBuffer(int fp, const char* buffer); int WriteBuffer(FILE* fp, const char* buffer); int WriteBuffer(ostream& fp, const char* buffer); int WriteBuffer(HANDLE fp, const char* buffer); template<typename FILE_OBJECT> void WriteContent(FILE_OBJECT o) { WriteBuffer(o, "write test1"); WriteBuffer(o, "write test2"); } 305 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 03:53:39.52 ID:ULcRPxme.net] ドヤってるところすまんがそれオーバーライドじゃない 306 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 04:01:05.04 ID:PJvUkb6d.net] ﾌﾟｹﾞﾗ 307 名前：デフォルトの名無しさん [2021/01/30(土) 05:45:11.84 ID:SLqQC90z.net] フリー関数とクラスメンバでは、インテリセンスが効くか効かないかの違いもある。 308 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 05:52:17.44 ID:OHt9F1SU.net] そんなあなたに名前空間 309 名前：デフォルトの名無しさん [2021/01/30(土) 06:06:53.60 ID:SLqQC90z.net] クラスの場合、名前空間を書かなくても、インテリセンスが効く。 310 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 06:47:43.00 ID:budoESfZ.net] コンストラクタの初期化リストで class A{ 　int x; public: 　A(int x) : x(x) {} }; みたいにしたとき、ちゃんとメンバのxがコンストラクタの引数のxで初期化されますよね？ メンバの x と同名の引数の x が同一のスコープに同居しているようで紛らわしいかなと思ったのですが、こういう書き方を避ける慣習はありますか 311 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 07:04:07.72 ID:ULcRPxme.net] 自分は普通にその書き方してる 避ける人も居るっぽいけど好きなようにすればいい 312 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 09:09:49.20 ID:PHKUCpSE.net] iostreamマンセーバカってのは型安全ならどんな仕様でも良いと思ってるカスが多いからな。 型安全は評価する一項目に過ぎないってのに。 313 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 09:29:38.23 ID:vDjChjwr.net] iostreamは整形のための情報をわざわざ状態として持たされるのがクソ 当時は状態が邪悪だっていう考え方が一般的じゃなかったからしょうがないけど 314 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 09:38:20.91 ID:2pTx0la6.net] でも状態もってなかったら記述が煩雑になりすぎない？ HTMLのマークアップとまでは言わんまでも 315 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 09:59:20.80 ID:OHt9F1SU.net] 整形設定を記憶する変数インスタンスをiostreamインスタンスと分離すべきって話でしょ。 必要に応じて差し替えできるように参照渡しするか、逆にiostreamを参照渡しするとか色々やれたはず。 316 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 10:06:40.70 ID:OHt9F1SU.net] というか他のオブジェクト指向言語だと整形情報がFormatterクラスとかに分離されているのが普通だし。 317 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 10:32:05.24 ID:PJvUkb6d.net] FORTRANのFORMAT文が好きな人をどうこうしようとは思わない 318 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 10:40:52.47 ID:hVJYorL3.net] 初歩的な質問なのですが、stringクラスの内部バッファはデストラクタで破棄されるため自分では一切管理しなくていいという認識で良いのでしょうか？ 319 名前：デフォルトの名無しさん [2021/01/30(土) 11:17:24.76 ID:SLqQC90z.net] アロケータによるけど、普通は管理しなくて良いのでは？ 320 名前：デフォルトの名無しさん [2021/01/30(土) 12:47:13.80 ID:EWZvTk3z.net] >>308 状態持ってても無駄に煩雑(複雑ではない) 321 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 12:57:10.51 ID:8FYOnD7D.net] iostream 型安全なのはいいけど、char/signed char/unsigned char ぜんぶ文字扱いするのはやめて欲しかった。 322 名前：デフォルトの名無しさん [2021/01/30(土) 13:18:35.30 ID:SLqQC90z.net] 単項プラスで。 323 名前：はちみつ餃子 mailto:sage [2021/01/30(土) 13:18:38.04 ID:4OMKN/Z4.net] >>309 入出力を直接的に司るバッファクラス (basic_streambuf) と 書式制御を司るストリームクラスを分離したデザインになっているし、 必要に応じて差し替えることも出来るよ。 iostream においてそれがわかりやすいか、良いデザインであるかは別として、 ちゃんと分離したデザインになってる。 324 名前： mailto:sage [2021/01/30(土) 14:53:52.50 ID:L1O2TNoD.net] >>304 私は馬鹿なのでメンバ変数とコンストラクタ引数を x, _x というふうに書き分けています、馬鹿が感染るかもしれないのでお勧めはしません 325 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 15:08:20.24 ID:S5wIZr5N.net] C++でのメンバ変数は、標準的には m_xと書く。 326 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 16:04:40.96 ID:0ahE8ZR3.net] >>319 何処信者だよ ダッサw 327 名前：デフォルトの名無しさん [2021/01/30(土) 16:41:05.48 ID:SLqQC90z.net] MicrosoftとAdobeがその書き方多いですね。 328 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 17:13:12.28 ID:S5wIZr5N.net] なお、_x は、命名規約上、禁止。先頭が _ の名前はコンパイラなどの システム予約なため。 329 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 17:14:26.98 ID:2r/QlSUC.net] そうだったっけ？ 330 名前：はちみつ餃子 mailto:sage [2021/01/30(土) 17:19:55.79 ID:4OMKN/Z4.net] >>304 >>318-319 命名規約の方法論は色々なのでプレフィクスを付けるルールが定めてある場合もあるし、 むしろ一致させていくようにしているものもある。 私自身は、少なくともメンバに値を設定するだけの単純なコンストラクタである場合には 名前を一致させていくスタイルで書く。 C++ を使う上でのガイドラインとしてよく参照されているのはグーグルのスタイルガイドで、 データメンバの名前は最後にアンダースコアを付けるようにルールを定めている。 https://google.github.io/styleguide/cppguide.html#Variable_Names その一方では C++ の設計者である Stroustrup は型やスコープを変数名に含めるのは好ましくない (しかし部分的に便利な場合もあることは認めている) と書いている。 https://stroustrup.com/bs_faq2.html#Hungarian どちらの習慣が圧倒的優勢ということはないと思う。 >>322 グローバル変数としてはアンダースコアで始まる名前は予約されているけど、 そうでない場合には問題ない。 ただし、 ・ アンダースコアで始まって大文字が続く名前 ・ アンダースコアが連続 (名前の先頭部分以外でも) する名前 は名前の種類やスコープにかかわらずどこでも予約されている。 331 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 17:30:01.20 ID:2r/QlSUC.net] 互いの信仰を侵害してはならないがチーム内では統一されている必要がある 規約の背景は明確である必要がある 332 名前：デフォルトの名無しさん [2021/01/30(土) 18:08:50.99 ID:OHt9F1SU.net] >>317 まず、FILE*とostreamが一対一対応していないのがダメ。 せっかくC言語でファイル、パイプ、標準IOがFILE*型としてで統合化・抽象化されていたのに、 C++でostreamとfstreamで分離される劣化が起きた。 333 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 18:30:25.89 ID:PJvUkb6d.net] ios_baseで統一する形に変わっただけ それをFILE*がどうたらと駄々こねるのは 頭が堅すぎる実年齢に無関係の老害だ 334 名前：デフォルトの名無しさん [2021/01/30(土) 18:36:35.02 ID:OHt9F1SU.net] パイプ処理をostream系で書く奇特な人ってどのくらいいるの？ 335 名前：デフォルトの名無しさん [2021/01/30(土) 18:41:09.24 ID:OHt9F1SU.net] pythonは定数がないから全部大文字の変数は定数のようにみなしましょう的な談合がある。 336 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 19:00:34.72 ID:0ahE8ZR3.net] 定数というか型もない 337 名前： mailto:sage [2021/01/30(土) 19:09:23.04 ID:L1O2TNoD.net] >>322 束縛領域が狭いローカル変数とかには、_x を使ってもいいのではないか？と考えていますが‥‥ 338 名前：デフォルトの名無しさん mailto:sage [2021/01/30(土) 20:32:34.21 ID:PJvUkb6d.net] data_ size_ 339 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 03:18:57.87 ID:6QCY/vGM.net] >>331 実は#defineマクロの中で使われるケースがあってね。 _xが、アプリの中で使われてない事を前提にしないとマクロが作れない 場合とか。 340 名前：デフォルトの名無しさん [2021/01/31(日) 06:52:18.40 ID:gXTMTlGe.net] HTTPサーバーのサンプルで、関数型言語がCを凌駕して、C実装の作者が？？になってるやり取りをどこかで見たのですが、わかる方いらっしゃいませんか？ おそらくC++は簡単に勝てるはずなんですが。 341 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 07:27:56.74 ID:fCVb5Gn/.net] dmrが？ 342 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 09:14:46.77 ID:bSEeGU13.net] >>333 c++実装者がユーザから参照可能な形でそれやってるの見たことあるの？ 343 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 09:22:03.74 ID:fCVb5Gn/.net] >>333 #define A(_x) (std::cout << #_x) int main() { int _x = 5; A(_x); std::cout << _x; } 何か問題でも？ 344 名前：デフォルトの名無しさん [2021/01/31(日) 10:19:42.43 ID:BqL9JwJS.net] ひどいな https://qiita.com/threecups/items/75a4b9ca1298270c5c62 345 名前：デフォルトの名無しさん [2021/01/31(日) 10:23:16.43 ID:BqL9JwJS.net] >>331 _で始めると激しくコンパイラ依存になる 346 名前：デフォルトの名無しさん [2021/01/31(日) 10:50:22.50 ID:BqL9JwJS.net] >>334 Erlang? 347 名前：はちみつ餃子 mailto:sage [2021/01/31(日) 10:57:57.30 ID:+XHxoAeu.net] >>339 繰り返すが言語仕様上はグローバル変数ではない名前の頭がアンダースコアで始まるだけなら問題ない。 現実に出来が悪いコンパイラがたくさんあるのであれば仕方がないが、 少なくとも俺はそんなのに遭遇したことはない。 348 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 11:04:21.78 ID:fCVb5Gn/.net] >>338 DLLのビルドに使ったコンパイラと そのDLLを使うアプリをビルドするコンパイラが違っても動くんだぞ ABIの指定は仕方ねえだろ 349 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 11:29:10.73 ID:2WBeknRq.net] >>334 これか？ サーバーじゃなくてパーサー部分だけだけど https://blog.8arrow.org/entry/2014/10/23/063044 350 名前：デフォルトの名無しさん [2021/01/31(日) 12:10:02.04 ID:gXTMTlGe.net] >>343 それです。 ありがとうございます。 351 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 13:12:26.22 ID:ZnRwde8F.net] >>341 英語サイトでも、説明の仕方が誤解を招くようなものがありまして、もしかしたらそれは誤解かも知れません。 https://stackoverflow.com/questions/25090635/use-and-in-c-programs 「Here's wh 352 名前：at the C standard says (section 7.1.3): 　1. All identifiers that begin with an underscore and either an uppercase letter or another underscore are always reserved for any use. 　2. All identifiers that begin with an underscore are always reserved for use as identifiers with file scope in both the ordinary and tag name spaces.」 訳： 1. アンダースコアで始まって直後に英大文字が続くか、または、アンダースコアが連続して 　続く識別子は、いかなる使用も予約されている。 2. アンダースコアで始まる全ての識別子は、通常または、タグ名前空間における 　ファイルスコープの識別子として常に予約されている。 1. の方は、_XXX か、__xxx は予約されていると言うことですが、 2. の方は、_xxx の形式は、例え xxx の部分の先頭が小文字であっても、ファイルスコープにおける 識別子として予約されており、ローカル変数名としては使うべきではないということだと思われます。 また、C++の方では、 https://stackoverflow.com/questions/228783/what-are-the-rules-about-using-an-underscore-in-a-c-identifier *Reserved in any scope, including for use as implementation macros: 10. identifiers beginning with an underscore followed immediately by an uppercase letter 11. identifiers containing adjacent underscores (or "double underscore") *Reserved in the global namespace: 12. identifiers beginning with an underscore この12.の書き方が(あなたに)誤解を招いた気がします。 また、11.によれば、xxx__yyy のように _ が連続するものは、識別子の中間であっても予約されている とのことです。 [] [ここ壊れてます] 353 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 13:18:09.37 ID:ZnRwde8F.net] >>337 それは問題ではないんだけど、 #define a(x) { int _x = 1; _x = x * 2; printf("%d",_x);} のようなマクロが有ったとすれば、 int y = 5; a(y);　// 10 と表示される。 と int _x = 5; a(_x);　// 2 と表示される。 354 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 13:42:32.29 ID:Rr91L/mp.net] int と自作クラス A の pair を priority_queue に入れようと思ったら pair<int, A> に対する less の定義(？)が要るって言われました int だけに基づいてソートしてくれたら結構なんですが、最も簡単な書き方はどんなですか また、自作クラス A は array を継承しているのですが、less の定義も引き継ぐ方法はないのでしょうか 355 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 14:05:10.94 ID:WjHCKOmN.net] いろんな見解があってややこしいから、安全側に倒して「_で始まる名前は一切使うな」でいいと思ってる コンパイラ実装するような奴以外はそれで困らんやろ 356 名前：デフォルトの名無しさん [2021/01/31(日) 14:10:22.05 ID:gXTMTlGe.net] 【HOW】予約済みの席に座る方法【TO】 357 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 14:15:41.43 ID:WjHCKOmN.net] >>347 using Aitem = std::pair<int, A>; using Aqueue = std::priority_queue<Aitem>, std::vector<Aitem>, [](const Aitem& lhs, const Aitem& rhs){ return lhs.first < rhs.first; }> Aqueue your_queue; 358 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 14:54:17.91 ID:bSEeGU13.net] >>345 ファイルスコープとローカルスコープは違うよ。 あと、今議論中なのはアンダースコアひとつで始まるメンバ変数についてなんで、アンダースコアの連続がアウトなのは誰でも知ってるし、餃子も324で書いてる 359 名前：デフォルトの名無しさん [2021/01/31(日) 15:06:11.72 ID:gXTMTlGe.net] 盛 り 上 が っ て ま い り ま し た ↑ 360 名前：デフォルトの名無しさん [2021/01/31(日) 15:07:16.87 ID:gXTMTlGe.net] SRELLって知ってますか？ 361 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 15:15:54.45 ID:ZnRwde8F.net] >>351 undersocre で始まる識別子は、Cの仕様ではこうなっています： 「All identifiers that begin with an underscore are always reserved for use as identifiers with file scope in both the ordinary and tag name spaces.」 「undersocre で始まる識別子はfile scopeでは使用してはいけない」 とは言っておらず。 「undersocre で始まる識別子はfile scopeの識別子として使用される ことが予約されている」 と言っています。 with file scope の前置詞がなぜ in ではなく with になっているかは私には分かりかねますが、 その直後にも in が使われているので in が二重に使われるのを避けたのかも 知れません。 362 名前：デフォルトの名無しさん [2021/01/31(日) 15:18:08.68 ID:gXTMTlGe.net] inを踏むとか言ってみたくなるじゃないか。 責任とれ。 363 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 15:18:17.21 ID:ZnRwde8F.net] どうやら、 「identifiers with file scope」は、「ファイルスコープを持つ識別子」 であり、with は、「持つ」の意味で使われているようです、。 364 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 15:41:47.21 ID:bSEeGU13.net] >>354 予約されてるとはつまり使うなってことだけど、いずれにせよファイルスコープの話であって、ローカル変数の話じゃないよ。 365 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 16:03:58.33 ID:fCVb5Gn/.net] >>346 #define a(x) { int z = 1; z = x * 2; printf("%d",z);} int y = 5; a(y); int z = 5; a(z); これと何が違うの？ 下線で始まることとは無関係だろ 366 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 16:08:45.08 ID:q0ry4PhJ.net] STLコンテナの継承ってしない方が良いんですかね？ たとえばarrayに機能を追加 ([i][j] で i 行 j 列の要素を取得する等) して行列クラスを作りたいとき、 ・arrayを継承する ・行列クラス内で要素を格納するメンバを array として持つ の2パターンが考えられますが、皆さん的にはどっちが好ましいですか？ 行列 is an array なので今こそ継承の使いどころだと思ったのですがいかがでしょうか 367 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 16:16:47.40 ID:WjHCKOmN.net] arrayは仮想デストラクタ持ってないからポリモは出来ない データ構造使うだけなら必要ない やめとけ 368 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 16:20:57.91 ID:NgKJGEE4.net] かか関数型マクロなら不用意に定義されていても 　int y = (a)(x) という書き方おすれば問題無くマクロじゃない関数a()の方が呼ばれるので問題無い！ 事前に 　typedef double　a; とかされていた場合は知らんが、 369 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 16:21:36.60 ID:2wqasnUt.net] 好きにしたら？ C++なんて自己流全開で俺スゲーしてなんぼ、他人の顔色伺ってたらダメ 行列なんてプロダクションではどうせ出来合いのライブラリ使うんだし 370 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 16:22:25.80 ID:q0ry4PhJ.net] >>360 じゃあメンバとして要素(array)を持てば良いってことですよね？ []の定義の仕方はわかるのですが、[][]ってどうやって定義するんでしたっけ？ 371 名前：はちみつ餃子 mailto:sage [2021/01/31(日) 16:27:00.30 ID:+XHxoAeu.net] >>363 直接には出来ない。 (二引数を受け取れるようにしようという提案はある。) operator[] を持つ別のクラス (のオブジェクト) を返すという形で実装する。 372 名前：デフォルトの名無しさん [2021/01/31(日) 16:27:38.50 ID:X7lGC0go.net] case by case だろうけど Array と Matrix に関してなら 直観的に考えると後者かな 継承する意味が無い 373 名前：デフォルトの名無しさん [2021/01/31(日) 16:30:29.11 ID:X7lGC0go.net] [][][]だと３引数になるの？ [][][][]だと４引数になるの？ って疑問が出るので operator[] を持つ自分自身のクラス (のオブジェクト)が正解だと思う 374 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 16:31:13.60 ID:NgKJGEE4.net] std::array<std::vector<double> > x; みたいな 375 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 16:32:01.22 ID:NgKJGEE4.net] ジャグ配列になってしまう…orz 376 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 16:32:06.68 ID:fCVb5Gn/.net] 継承といえば type_infoは仮想デストラクタ持ってるけど 派生クラス作ったやついる？　実験でなく 377 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 16:34:24.04 ID:ZnRwde8F.net] >>358 命名規約に従って変数名をつけていれば、>>346のマクロはバグらない。 一方、>>358のマクロは、命名規約に従って合法的に定義されたローカル 変数zに対して使ってもバグる。 その違い。 378 名前：はちみつ餃子 mailto:sage [2021/01/31(日) 16:34:43.94 ID:+XHxoAeu.net] >>366 operator{] にこだわらずに要素にアクセスするメンバ関数を用意するのでもそんなに困らない。 見栄えだけの問題。 まあ見栄えも大事なんだけど。 379 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 16:36:28.41 ID:ZnRwde8F.net] >>357 そうではなく、_xxx は、グローバル変数で使うことが予約されているので、 ローカル変数では使ってはならない、と読み取れるように思う。 380 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 16:38:11.57 ID:q0ry4PhJ.net] >>366 すみません。どう書いたら良いのか分かりません []は int& operator [] (int i) {return elem[i];} みたいな感じですよね？ 381 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 16:43:15.04 ID:fCVb5Gn/.net] >>370 そのためにinlineとconstexprが用意されてるわけだが なぜマクロで作らなければならないんだ？ どこぞのOS屋がmaxなんてクソマクロ作ってたせいで みんな迷惑してたよな 382 名前：はちみつ餃子 mailto:sage [2021/01/31(日) 16:45:04.61 ID:+XHxoAeu.net] >>372 ファイルスコープで予約されている名前とローカル変数で名前がかぶっても 単にシャドウされるだけなので衝突しない。 ローカル変数名として使うべきでないという理由にならない。 383 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 16:51:19.01 ID:ZnRwde8F.net] >>370 [補足] マクロ引数が二重に評価されてしまうのを防ぐため、マクロ作者が 気を利かせたつもりで次のようなマクロを書いたとする: #define b(x,y) {int _x=x; int _y=y; f(_x,_y); g(_x,_y); } 作者の意図としては、 char *ptr1, *ptr2; b(*ptr1++, *ptr2++); のような場合にも正しく動作するようにしたいということで、 この場合は、*ptr1++, *ptr2++ は、それぞれ1回ずつ評価されるので、 ptr1, ptr2 は、それぞれ 1ずつ前に進むので、アプリ作者の意図を 組むことが出来る。 一方、使う側が命名規約に従わず、アプリのローカル変数で_x,_yを定義し、 int _x=1; int _y=2; b(_y,_x); とすると、このマクロは誤動作し、 int x=1; int y=2; b(y,x); と書いたときと結果が変わってくる。 384 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 16:55:15.98 ID:wwbd/Qx2.net] こういうクソしょーもない話って馬鹿でも理解できるから盛り上がるよね 385 名前：デフォルトの名無しさん [2021/01/31(日) 16:57:55.61 ID:ZnRwde8F.net] >>375 まあ、そうなんだけども、多分、英語の意味をそのまま素直に汲み取れば、 単純に>>372の意味のはず。 またそれは>>376のような状況を防ぐことが出来る。 >>374 まあ実際それはそういうこともあることは有るが、マクロでしか書けないような 例もあるわけで、>>376のようなマクロ作者のせっかくの配慮が、命名規約 を破って書かれたアプリでは逆効果になってしまうことがある。 386 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 17:00:34.53 ID:ZnRwde8F.net] [補足] なお、Cの伝統だと、 #define b(x,y) {int _x=x; int _y=y; f(_x,_y); g(_x,_y); } ではなく、 #define b(x,y) do {int _x=x; int _y=y; f(_x,_y); g(_x,_y); } while(0) と書く。 こうしておくと、このマクロを{}ブロックを伴わないif文に書いたときに異常動作 をしない。 387 名前：はちみつ餃子 mailto:sage [2021/01/31(日) 17:08:36.84 ID:+XHxoAeu.net] >>378 素直に読めばグローバルスコープで予約されているものは グローバルスコープで予約されているという意外の意味を読み取ることは出来ない。 そこからローカル変数も制約されるという主張が出てくる理由が不在なんで、 何を言うてんのやろ……？ ってなるわけ。 388 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 17:11:34.77 ID:ziXVeJXQ.net] >>350 in instantiation of function template specialization ... requested here というエラーが出ます 389 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 17:14:33.59 ID:fCVb5Gn/.net] >>376 だから二重評価が問題になるようなことをマクロでやるなって その例だってinlineで書けるだろ 邪道なやり方を保護するために 本筋が迷惑を被るのは本末転倒だ 390 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 17:15:05.39 ID:ZnRwde8F.net] >>380 「All identifiers that begin with an underscore are always reserved 　for use as identifiers with file scope in both the ordinary and 　tag name spaces.」 「file scopeを持つ識別子として使用されるために予約されている」 だべ？ block scopeを持つ識別子として使用されたら、話がおかしいと思うが。 「この自動車は、仕事で使うために予約されています」 の場合、その自動車を私用で使えば、規則違反だよね。 391 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 17:15:45.54 ID:fCVb5Gn/.net] int _x; //こんなのがあっても #define b(x,y) {int _x=x; int _y=y; f(_x,_y); g(_x,_y); } //ブロックスコープで保護されるだろうが 392 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 17:19:07.49 ID:ZnRwde8F.net] >>382 でも、_ が最初に来る名前をアプリが使っちゃいけない、というのは伝統的にそういう ことが一番の目的だと思うぞ。 もう一つは、コンパイラの内部でこっそり使う場合があって、それと知らないうちに 衝突する可能性が僅かにあるため。 なぜこっそり使うかと言うと、絶対に衝突しないようにコンパイラ側を 書こうとするとコンパイラ作りに手間がかかるから。 もし、アプリ側が命名規約を守ってくれていれば、コンパイラ作りが楽になる ことがある。 393 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 17:20:06.45 ID:ZnRwde8F.net] >>384 b(_y,_x) と書いたらどうなるか考えてみたらしだんご。 394 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 17:25:17.52 ID:fCVb5Gn/.net] >>385 おまえさんはコンパイラ屋か？ そうだとして同業者は__builtin_va_argのように注意深くやってるぞ 自分らのエゴのために客に制限をかけるようなことを でかい声で叫びまくるのはやめてくれ 395 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 17:30:48.87 ID:ZnRwde8F.net] >>387 まあ、本当はコンパイラ内部でこっそり使う場合、絶対に衝突しないような もっと変な名前を使っているから大丈夫なんだ。 起動時の TickCounter の値を変数名の一部に入れたりとかね。 396 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 17:37:15.73 ID:2WBeknRq.net] >>383 ローカルスコープで同じ名前の別変数を定義するのは「その自動車を私用で使う」ことには当たらないって言ってるの 397 名前：デフォルトの名無しさん [2021/01/31(日) 17:42:24.07 ID:/1NNOLNs.net] ヘッダーファイルに書くか、ソースファイルに書くかの違いも大きい。 ヘッダーファイルに書くときは名前衝突に対する細心の注意が必要。 398 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 17:45:15.36 ID:fCVb5Gn/.net] >>386 {int _x=_y; int _y=_x; f(_x,_y); g(_x,_y); } どうなるって言いたいんだ？ 399 名前：デフォルトの名無しさん [2021/01/31(日) 17:51:16.48 ID:/1NNOLNs.net] C/C++の場合、スコープだけ意識するのは不十分で、ヘッダーかソースかで厳格さを変える柔軟性が必要。 ヘッダーに書くと影響範囲が大きいから。 400 名前：デフォルトの名無しさん mailto:sage [2021/01/31(日) 17:57:13.23 ID:fCVb5Gn/.net] テンプレートなんか普通にヘッダに内容全部を書くが マクロでバカやるやつがいなければ平和だよ

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef