コンパイル言語で設計していて、コンパイルエラーを記録していてよかったことを5つ記録します。
まずC言語とC++の例を記載します。JAVAでも類似の事項に出くわしたことがあります。
1 Compile error driven design
コンパイルエラーのメッセージから、逆にどう記述すればいいかが分かることがある。
4年前に、C++N3242のコード断片をコンパイルしていた時には、何をどうしたらいいか分からなかった。
C++N3242(C++2011)2.14 Literals 2.14.8 User-defined literals
https://researchmap.jp/jov0o7b4c-1797580/#_1797580
今年になって、C++N4606のコード断片をコンパイルしていた時に、とにかく引数と戻り値の型を合わせればコンパイルできることがわかった。
C++N4606 (7) 2.13.8 User-defined literals[lex.ext]p34
https://qiita.com/kaizen_nagoya/items/65f56327c29a1883849a
5月になって、C++N4741のコード断片をコンパイルしていた時に、
p23a.cpp:48:11: error: unable to find string literal operator 'operator""_x' with 'const char [4]', 'long unsigned int' arguments
え、このエラーに合わせた型で定義すればコンパイラ通るの?
ってなった。
実際に、
std::string operator "" _w(const char cp[4],long unsigned int sz) {
std::cout << cp << std::endl;
std::string ss;
return ss;
};
"two" _w; // error: no applicable literal operator
他の定義はconst char *なのに、const char cp[4]でいいとは思いつかなかった。他の定義はsize_tなのに、long unsigned intでいいとは思いつかなかった。
これが規格の意図やコンパイラの意図にあっているかどうかは未確認。
でもコンパイルエラーが通ったたけでなく、実行結果は設計者の意図通り。
コンパイルエラーを記録していたおかげです。感謝。
2 Compile error driven design(2)
上記事例では、途中を端折って記録した。
この事例では、8段階をほぼ全て記録。
初めての CEDD(Compile Error Driven Design) 8回直してコンパイル。
https://qiita.com/kaizen_nagoya/items/9494236aa1753f3fd1e1
stackoverflowの例を参考に、constexpreを使う。
「Template argument for non-type parameter must be an expression」
https://stackoverflow.com/questions/37880517/template-argument-for-non-type-parameter-must-be-an-expression
途中、発想の転換のため2度別作業をしている。
合計作業時間は1時間ちょっと。
解決は開始から8時間後。
3 コンパイラによる違いが分かる(benchmark)
コンパイラごとのエラーにする範囲、警告を出す範囲の違いがわかります。
規格への適合の具合の違いがわかります。
ANSI/C 1989, ISO/IEC 9899:1990のC言語規格ができた頃、
Lattice C
Microsoft C
Turbo C
Toshiba Unix C(16bit)
HP Unix C(32bit)
ACOS-6 C(32bit?)
の6種類のCコンパイラのエラー、警告の比較をしていました。
また、Watcom C, Intel Cは利用者の方に規格断片などをコンパイルして、エラー、警告などを教えていただきました。
一番規格に適合していたのがWatcom Cでした。
現在ではオープンになっています。16ビットコンパイラの振る舞いを確認するのに利用しています。
https://github.com/open-watcom/open-watcom-v2
4 文法の許容範囲が分かる(syntax)
規格の文章や、マニュアルでは理解ができないことが多くあります。
実際のプログラムを実際のコンパイラが処理できるかどうかで、現実の問題解決を図ります。
規格への適合ではなく、既存のプログラムをどう表現を変更すれば通るかなど、文法の許容範囲を理解します。
5 版の違いが分かる。(versions)
コンパイラの版がかわって、従来のプログラムのコンパイルエラーの有無が分かる。
コンパイルエラーになるソースを保存して置いて、コンパイラの版がかわって、コンパイルエラーになるかどうかを確かめるとよい。
GCC, LLVM/CLANGのようなコンパイラのソースコード自体をコンパイルするとなおよい。
コンパイラの違い、版の違いが良く分かるかもしれない。
6 OSの違い、文字コードの違い、(OS and character code)
コンパイラの版が同じでもOSが違うとコンパイルエラーが違うことがあります。
C/ C++は、C言語規格に対応したOSであるhosted環境と、C言語がOSを想定しないfreestanding環境とがあります。
Windows, macOS, Linux, Unixなどはhosted環境です。TOPPERS/SSPなどはfreestanding環境です。
設計する環境と、実行する環境とが異なる場合もあります。CPUが違う場合には、クロス開発と呼びます。
開発するOSと実行するOSの文字コードが違う場合には、処理、ライブラリで注意が必要です。設計環境で模擬試験をしても、実行環境では動かないということがあるかもしれません。
特に、{}[]などの文字コードが扱えない設計環境では、trigraphまたはdigraphを使います。上記でACOS-6のCコンパイラのPCでの通信エミュレータで{}[]などの文字が使えないため、オンラインエディタで編集する場合には、トリグラフを利用していました。PC側でトリグラフを使わずに、C言語でトリグラフ変換ソフトを作って、トリグラフファイルにして、ホストに転送して編集しました。
また、コンパイラ自体はトリグラフではなくてもコンパイルできる可能性があるため、そのまま転送してコンパイルすることも試しました。
PC-VANには記録が残っていましたが、PC-VANが終了した際に、ACOS-6は利用していなかったため、データの移行は行いませんでした。
7 ネットの検索(internet search)
コンパイラのエラーが分からずに、ネットで検索すると、5年前、10年前に自分がネットに記録したことに遭遇することがあります。
残念なのは、その時は解決せずに放置していた記録があることです。
今、新しいコンパイラでコンパイルしてみると、うまくコンパイルでき、時間が解決することがあるのか、自分の操作が十分でなかったかと思うことがあります。
問題を解決しておいた記録は、そうそうと、同じ手順で問題を解決します。
ネットに記録しておいて良かった。
具体例で、現在も残っている記録は順次引用します。
参考文献(reference)
初学者がハマったエラーをまとめてみた【プログラミング学習107日目】
https://qiita.com/fuku_tech/items/0d4f2546cb4ee045c7f7
自己資料(self reference)
プログラミング言語教育のXYZ
https://qiita.com/kaizen_nagoya/items/1950c5810fb5c0b07be4
プログラミング言語教育のXYZ(youtube)
https://www.youtube.com/watch?v=He1_tg4px-w&t=486s
初めての CEDD(Compile Error Driven Design) 8回直してコンパイル。
https://qiita.com/kaizen_nagoya/items/9494236aa1753f3fd1e1
コンパイルエラーを記録するとよい理由7つ
https://qiita.com/kaizen_nagoya/items/85c0e92b206883140e89
C Puzzle Bookの有り難み5つ、C言語規格及びCコンパイラの特性を認識
https://qiita.com/kaizen_nagoya/items/d89a48c1536a02ecdec9
C言語(C++)に対する誤解、曲解、無理解、爽快。
https://qiita.com/kaizen_nagoya/items/3f3992c9722c1cee2e3a
Qiitaに投稿するCのStyle例(暫定)
https://qiita.com/kaizen_nagoya/items/946df1528a6a1ef2bc0d
C++N4606 Working Draft 2016, ISO/IEC 14882, C++ standardのコード断片をコンパイルするためにしていること
https://qiita.com/kaizen_nagoya/items/a8d7ee2f2e29e76c19c1
コンパイル用shell script C版(clangとgcc)とC++版(clang++とg++)
https://qiita.com/kaizen_nagoya/items/74220c0577a512c2d7da
[C][C++]の国際規格案の例題をコンパイルするときの課題7つ。
https://qiita.com/kaizen_nagoya/items/5f4b155030259497c4de
docker gnu(gcc/g++) and llvm(clang/clang++)
https://qiita.com/drafts/059874ea39c4de64c0f7
C++ Support(0)
https://qiita.com/kaizen_nagoya/items/8720d26f762369a80514
Coding Rules(0) C Secure , MISRA and so on
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0
Ethernet 記事一覧 Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794
Wireshark 一覧 wireshark(0)、Ethernet(48)
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0
線網(Wi-Fi)空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001
OSEK OS設計の基礎 OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3
Error一覧(C/C++, python, bash...) Error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8
なぜdockerで機械学習するか 書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2
言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4
プログラムちょい替え(0)一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394
TOPPERSまとめ #名古屋のIoTは名古屋のOSで
https://qiita.com/kaizen_nagoya/items/9026c049cb0309b9d451
docker(0) 資料集
https://qiita.com/kaizen_nagoya/items/45699eefd62677f69c1d
Qiita-dockerお宝鑑定団
https://qiita.com/kaizen_nagoya/items/509e125263559b5aed5b
The C++ Standard Library: clang++とg++でコンパイルしてみた(まとめ):14件
https://qiita.com/kaizen_nagoya/items/9bdfaa392443d13e5759
C++17 - The Complete Guide clang++とg++でコンパイルしてみた(まとめ):4件
https://qiita.com/kaizen_nagoya/items/c000f307e642990781e1
C++N3242, 2011, ISO/IEC 14882, C++ standard(1) Example code compile list
https://qiita.com/kaizen_nagoya/items/685b5c1a2c17c1bf1318
C++N4606 Working Draft 2016, ISO/IEC 14882, C++ standard(1) Example code compile list
https://qiita.com/kaizen_nagoya/items/df5d62c35bd6ed1c3d43/
C++N4741, 2018 Standard Working Draft on ISO/IEC 14882 sample code compile list
https://qiita.com/kaizen_nagoya/items/3294c014044550896010
C++N4910:2022 Standard Working Draft on ISO/IEC 14882(0) sample code compile list
https://qiita.com/kaizen_nagoya/items/fc957ddddd402004bb91
Autosar Guidelines C++14 example code compile list(1-169)
https://qiita.com/kaizen_nagoya/items/8ccbf6675c3494d57a76
プログラマによる、プログラマのための、統計と確率のプログラミングとその後 統計と確率一覧(0)
https://qiita.com/kaizen_nagoya/items/6e9897eb641268766909
プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945
一覧の一覧( The directory of directories of mine.) Qiita(100)
https://qiita.com/kaizen_nagoya/items/7eb0e006543886138f39
<この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。>
This article is an individual impression based on the individual's experience. It has nothing to do with the organization or business to which I currently belong.
文書履歴(document history)
ver. 0.10 理由3つ 20180428
ver. 0.11 理由3つから理由4つへ(最後に追加) 20180420
ver. 0.12 理由4つから理由5つへ(最初に追加) 20180503
ver. 0.13 誤記訂正、補足追記、章に#記号をつける。 20180504
ver. 0.14 節を章に格上げ、事例1つ追記 20180505
ver. 0.15 参考文献欄追記,見出し英語追記 20180616
ver. 0.16 参考資料、はてなブックマーク追記 20190120
最後までおよみいただきありがとうございました。
いいね 💚、フォローをお願いします。
Thank you very much for reading to the last sentence.
Please press the like icon 💚 and follow me for your happy life.