はじめに
N4606 Working Draft, Standard for Programming Language C++
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/#mailing2016-11
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf
n4606は、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++が標準化の動きとの時間的な擦れの確認が結果としてできれば幸いです。
list
N4606 Working Draft 2016, ISO/IEC 14882, C++ standard(1) coding list
https://qiita.com/kaizen_nagoya/items/df5d62c35bd6ed1c3d43/
Compiler
clang++ --version
clang version 6.0.0 (tags/RELEASE_600/final)
g++-7 --version
g++-7 (Homebrew GCC 7.3.0_1) 7.3.0
Copyright (C) 2017 Free Software Foundation, Inc.
#(48)5.5 Pointer-to-member operators [expr.mptr.oper]
p129
// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf
#define msg "p129.cpp(47)5.4 Explicit type conversion (cast notation) [expr.cast]"
#include <iostream>
struct S {
S() : i(0) { }
mutable int i;
};
void f(){
const S cs;
int S::* pm = &S::i; // pm refers to mutable member S::i
// cs.*pm = 88; // ill-formed: cs is a const object
//$ clang++ p129.cpp
//p129.cpp:15:10: error: read-only variable is not assignable
// cs.*pm = 88; // ill-formed: cs is a const object
// ~~~~~~ ^
//1 error generated.
//
//$ g++-7 p129.cpp
//p129.cpp: In function 'void f()':
//p129.cpp:15:12: error: assignment of read-only location '*(((const int*)(& cs)) + ((sizetype)pm))'
// cs.*pm = 88; // ill-formed: cs is a const object
// ^~
std::cout << "pm="<<pm<<std::endl;
}
struct S2{
int mfct(int i) {return i;}
};
struct S2 * ptr_to_obj;
int main(int argc, char *argv[], char *envp[]){
f();
// (ptr_to_obj->*ptr_to_mfct)(10);
std::cout << "(ptr_to_obj->*ptr_to_mfct)(10)"<<(ptr_to_obj->*ptr_to_mfct)(10)<<std::endl;
std::cout << msg << std::endl;
return EXIT_SUCCESS;
}
i$ ./cppgl.sh p129
$ clang++ p129.cpp
pm=1
(ptr_to_obj->*ptr_to_mfct)(10)10
p129.cpp(47)5.4 Explicit type conversion (cast notation) [expr.cast]
$ g++-7 p129.cpp
pm=1
(ptr_to_obj->*ptr_to_mfct)(10)10
p129.cpp(47)5.4 Explicit type conversion (cast notation) [expr.cast]
検討事項
コンパイルエラーにならない修正。
内容の出力。
g++とclang++のエラーの違いの説明。
参考資料
コンパイル用shell script C版(clangとgcc)とC++版(clang++とg++)
https://qiita.com/kaizen_nagoya/items/74220c0577a512c2d7da
Qiitaに投稿するCのStyle例(暫定)
https://qiita.com/kaizen_nagoya/items/946df1528a6a1ef2bc0d
文書履歴
ver. 0.10 初稿 2080416
ver. 0.11 URL追記 20230215
最後までおよみいただきありがとうございました。
いいね 💚、フォローをお願いします。
Thank you very much for reading to the last sentence.
Please press the like icon 💚 and follow me for your happy life.