はじめに
N4910 Working Draft, Standard for Programming Language C++
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/n4910.pdf
n4910は、ISO/IEC JTC1 SC22 WG21の作業原案(Working Draft)です。
公式のISO/IEC 14882原本ではありません。
ISO/IEC JTC1 SC22 WG21では、可能な限り作業文書を公開し、幅広い意見を求めています。
一連の記事はコード断片をコンパイルできる形にする方法を検討してコンパイル、リンク、実行して、規格案の原文と処理系(g++, Clang++)との違いを確認し、技術内容を検討し、ISO/IEC JTC1 SC22 WG21にフィードバックするために用います。
また、CERT C++, MISRA C++等のコーディング標準のコード断片をコンパイルする際の参考にさせていただこうと考えています。CERT C++, MISRA C++が標準化の動きとの時間的なずれがあれば確認できれば幸いです。また、boostライブラリとの関連、Linux OS, g++(GCC), clang++(LLVM)との関係も調査中です。何か、抜け漏れ、耳より情報がありましたらおしらせくださると幸いです。
最新規格はC++N4950
<この項は書きかけです。順次追記します。>
作業方針
1)コンパイルエラーを収集する。
2)コンパイルエラーをなくす方法を検討する。
コンパイルエラーになる例を示すだけが目的のコードは、コンパイルエラーをなくすのではなく、コンパイルエラーの種類を収集するだけにする。
文法を示すのが目的のコード場合に、コンパイルエラーをなくすのに手間がかかる場合は、順次作業します。
3)リンクエラーをなくす方法を検討する。
文法を示すのが目的のコード場合に、リンクエラーをなくすのに手間がかかる場合は、順次作業します。
4)意味のある出力を作る。
コンパイル、リンクが通っても、意味のある出力を示そうとすると、コンパイル・リンクエラーが出て収拾できそうにない場合がある。順次作業します。
1)だけのものから4)まで進んだものと色々ある状態です。一歩でも前に進むご助言をお待ちしています。「検討事項」の欄に現状を記録するようにしています。
C++N4910 list
C++N4910:2022 Standard Working Draft on ISO/IEC 14882(0) sample code compile list
C++N4741:2018
C++N4741, 2018 Standard Working Draft on ISO/IEC 14882 sample code compile list
C++N4606 list
C++N4606 Working Draft 2016, ISO/IEC 14882, C++ standard(1) sample code compile list
https://qiita.com/kaizen_nagoya/items/df5d62c35bd6ed1c3d43/
C++N3242 2011 sample code compile list(一覧)
C++2011が出て、コンパイラが対応し始めたころ、N3242のコード断片をコンパイルしながら、C++2011の内容と、コンパイラの対応状況の調査を始めました。
Templateの断片のコンパイル方法がうまくなく、コンパイルエラーの儘になっています。今回、C++N4606を-std=C++03, -std=C++11, -std=C++17でコンパイルする中で意味のある出力を出す方法を検討しています。
C++N3242,2011 2014/06/11 -std=c++11
Xcode 5.0.2/LLVM version 4.2 (clang-425.0.27) (based on LLVM 3.2svn)
g++-4.9 (GCC) 4.9.0 20131229 (experimental)
https://researchmap.jp/jooracidk-1797580/#_1797580
Compiler
clang++ --version
Debian clang version 14.0.5-++20220610033153+c12386ae247c-1~exp1~20220610153237.151
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/bin
g++ -version
g++ (GCC) 12.1.0
Copyright (C) 2022 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
dockerにclang
6.7.2 object model [intro.object]
// N4910 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/n910.pdf p.7
const char* msg="C++N4910 (1) p.7, 3.45 projection [defns.projection]";
#include <iostream>
int f() {
// p7 from here
std::pair<int, std::string_view> pairs[] = {{2, "foo"}, {1, "bar"}, {0, "baz"}};
std::ranges::sort(pairs, std::ranges::less{}, [](auto const& p) { return p.first; });
// sorts the pairs in increasing order of their first members:
{{0, "baz"}, {1, "bar"}, {2, "foo"}}
// p7 to here.
}
int main(int argc, char *argv[], char *envp[]){
f();
std::cout << msg << std::endl;///
return EXIT_SUCCESS;
}
コンパイルできるようにmain関数等追記。
./clgc.sh p7
$ clang++ p7.cpp -std=2b -o p7l -I. -Wall
p7.cpp:10:18: error: no member named 'sort' in namespace 'std::ranges'
std::ranges::sort(pairs, std::ranges::less{}, [](auto const& p) { return p.first; });
~~~~~~~~~~~~~^
p7.cpp:12:15: error: expected ';' after expression
{{0, "baz"}, {1, "bar"}, {2, "foo"}}
^
;
p7.cpp:12:16: error: expected expression
{{0, "baz"}, {1, "bar"}, {2, "foo"}}
^
p7.cpp:12:7: warning: left operand of comma operator has no effect [-Wunused-value]
{{0, "baz"}, {1, "bar"}, {2, "foo"}}
^
p7.cpp:12:10: warning: expression result unused [-Wunused-value]
{{0, "baz"}, {1, "bar"}, {2, "foo"}}
^~~~~
2 warnings and 3 errors generated.
$ g++ p7.cpp -std=2b -o p7g -I. -Wall
p7.cpp: In function 'int f()':
p7.cpp:10:18: error: 'sort' is not a member of 'std::ranges'
10 | std::ranges::sort(pairs, std::ranges::less{}, [](auto const& p) { return p.first; });
| ^~~~
p7.cpp:12:7: warning: left operand of comma operator has no effect [-Wunused-value]
12 | {{0, "baz"}, {1, "bar"}, {2, "foo"}}
| ^
p7.cpp:12:15: error: expected ';' before '}' token
12 | {{0, "baz"}, {1, "bar"}, {2, "foo"}}
| ^
| ;
p7.cpp:12:15: warning: right operand of comma operator has no effect [-Wunused-value]
p7.cpp:12:16: error: expected primary-expression before ',' token
12 | {{0, "baz"}, {1, "bar"}, {2, "foo"}}
| ^
p7.cpp:12:18: error: expected primary-expression before '{' token
12 | {{0, "baz"}, {1, "bar"}, {2, "foo"}}
| ^
p7.cpp:12:28: error: expected primary-expression before ',' token
12 | {{0, "baz"}, {1, "bar"}, {2, "foo"}}
| ^
p7.cpp:12:30: error: expected primary-expression before '{' token
12 | {{0, "baz"}, {1, "bar"}, {2, "foo"}}
| ^
p7.cpp:14:1: warning: no return statement in function returning non-void [-Wreturn-type]
14 | }
| ^
実行できるように何を修正するとよいか検討中。
参考資料
C++ Error Message Collection(1)does not name a type, 11 articles
dockerにclang
N4606 Working Draft 2016, ISO/IEC 14882, C++ standardのコード断片をコンパイルするためにしていること
コンパイル用shell script C版(clangとgcc)とC++版(clang++とg++)
Clang/Clang++(LLVM) gcc/g++(GNU) コンパイラ警告等比較
https://qiita.com/kaizen_nagoya/items/9a82b958cc3aeef0403f
Qiitaに投稿するCのStyle例(暫定)
https://qiita.com/kaizen_nagoya/items/946df1528a6a1ef2bc0d
MISRA C++ 5-0-16
https://qiita.com/kaizen_nagoya/items/7df2d4e05db724752a74
C++ Templates Part1 BASICS Chapter 3. Class Templates 3.2 Use of Class Template Stack stack1test.cpp
https://qiita.com/kaizen_nagoya/items/cd5fc49106fad5a4e9ed
ISO/IEC TS 17961:2013 C Secure Coding Rules(1) All list(to be confirmed)
https://qiita.com/kaizen_nagoya/items/54e056195c4f11b850a1
C言語(C++)に対する誤解、曲解、無理解、爽快。
https://qiita.com/kaizen_nagoya/items/3f3992c9722c1cee2e3a
C Puzzle Bookの有り難み5つ、C言語規格及びCコンパイラの特性を認識
https://qiita.com/kaizen_nagoya/items/d89a48c1536a02ecdec9
'wchar.h' file not found で困った clang++ macOS
https://qiita.com/kaizen_nagoya/items/de15cd46d657517fac11
Open POSIX Test Suiteの使い方を調べはじめました
https://qiita.com/kaizen_nagoya/items/644d5e407f5faf96e6dc
MISRA-C 2012 Referenceに掲載している文献の入手可能性を確認
https://qiita.com/kaizen_nagoya/items/96dc8b125e462d5575bb
どうやって MISRA Example Suiteをコンパイルするか
https://qiita.com/kaizen_nagoya/items/fbdbff5ff696e2ca7f00
MISRA C まとめ #include
https://qiita.com/kaizen_nagoya/items/f1a79a7cbd281607c7c9
「C++完全理解ガイド」の同意できること上位10
https://qiita.com/kaizen_nagoya/items/aa5744e0c4a8618c7671
<この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。>
文書履歴
ver. 0.01 初稿 20220616
ver. 0.02 URL追記 20220617
ver. 0.03 ありがとう追記 20230620
最後までおよみいただきありがとうございました。
いいね 💚、フォローをお願いします。
Thank you very much for reading to the last sentence.
Please press the like icon 💚 and follow me for your happy life.