#はじめに
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++が標準化の動きとの時間的なずれがあれば確認できれば幸いです。また、boostライブラリとの関連、Linux OS, TOPPERSカーネル、g++(GCC), clang++(LLVM)との関係も調査中です。
何か、抜け漏れ、耳より情報がありましたらおしらせくださると幸いです。
##作業方針
1)コンパイルエラーを収集する。
2)コンパイルエラーをなくす方法を検討する。
コンパイルエラーになる例を示すだけが目的のコードは、コンパイルエラーをなくすのではなく、コンパイルエラーの種類を収集するだけにする。
文法を示すのが目的のコード場合に、コンパイルエラーをなくすのに手間がかかる場合は、順次作業します。
3)リンクエラーをなくす方法を検討する。
文法を示すのが目的のコード場合に、リンクエラーをなくすのに手間がかかる場合は、順次作業します。
4)意味のある出力を作る。
コンパイル、リンクが通っても、意味のある出力を示そうとすると、コンパイル・リンクエラーが出て収拾できそうにない場合がある。順次作業します。
1)だけのものから4)まで進んだものと色々ある状態です。一歩でも前に進むご助言をお待ちしています。「検討事項」の欄に現状を記録するようにしています。
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)
Target: x86_64-apple-darwin17.4.0
###g++-7 --version
g++-7 (Homebrew GCC 7.3.0_1) 7.3.0
Copyright (C) 2017 Free Software Foundation, Inc.
#(211)15.4 Exception specifications [except.spec]p433
// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf
#define msg "(211)15.4 Exception specifications [except.spec]p433.cpp"
// Edited by Dr. Ogawa Kiyoshi. Compile procedure and results record.
#include <iostream>
struct B {
virtual void f() throw (int, double);
virtual void g();
};
struct D: B {
void f(); // ill-formed
void g() throw (int); // OK
};
class X { };
class Y { };
class Z: public X { };
class W { };
void f() throw (X, Y) {
int n = 0;
if (n) throw X(); // OK
if (n) throw Z(); // also OK
throw W(); // will call std::unexpected()
}
extern void f() throw(X, Y);
void g() throw(X) {
f(); // OK
}
void f() throw(int);
void g();
struct A { A(); };
struct B { B() noexcept; };
struct D { D() throw (double); };
//the set of potential exceptions for some sample expressions is:
//(13.7) — for f(), the set consists of int;
//(13.8) — for g(), the set is the set of all types;
//(13.9) — for new A, the set is the set of all types;
//(13.10) — for B(), the set is empty;
//(13.11) — for new D, the set is the set of all types.
struct A {
A(int = (A(5), 0)) noexcept;
A(const A&) throw();
A(A&&) throw();
~A() throw(X);
};
struct B {
B() throw();
B(const B&) = default; // exception specification contains no types
B(B&&, int = (throw Y(), 0)) noexcept;
~B() throw(Y);
};
int n = 7;
struct D : public A, public B {
int * p = new (std::nothrow) int[n];
// exception specification of D::D() contains X
// exception specification of D::D(const D&) contains no types
// exception specification of D::D(D&&) contains Y
// exception specification of D::~D() contains X and Y
};
struct exp : std::bad_alloc {};
void *operator new[](size_t) throw(exp);
struct E : public A {
int * p = new int[n];
// exception specification of E::E() contains X, exp, and std::bad_array_new_length
};
int main() {
std::cout<< msg << std::endl;
return EXIT_SUCCESS;
}
$ ./cppgl17.sh p433
$ clang++ p433.cpp -std=c++17
p433.cpp:9:18: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
virtual void f() throw (int, double);
^~~~~~~~~~~~~~~~~~~
p433.cpp:9:18: note: use 'noexcept(false)' instead
virtual void f() throw (int, double);
^~~~~~~~~~~~~~~~~~~
noexcept(false)
p433.cpp:13:6: error: exception specification of overriding function is more lax than base version
void f(); // ill-formed
^
p433.cpp:9:14: note: overridden virtual function is here
virtual void f() throw (int, double);
^
p433.cpp:14:10: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
void g() throw (int); // OK
^~~~~~~~~~~
p433.cpp:14:10: note: use 'noexcept(false)' instead
void g() throw (int); // OK
^~~~~~~~~~~
noexcept(false)
p433.cpp:21:10: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
void f() throw (X, Y) {
^~~~~~~~~~~~
p433.cpp:21:10: note: use 'noexcept(false)' instead
void f() throw (X, Y) {
^~~~~~~~~~~~
noexcept(false)
p433.cpp:28:18: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
extern void f2() throw(X, Y);
^~~~~~~~~~~
p433.cpp:28:18: note: use 'noexcept(false)' instead
extern void f2() throw(X, Y);
^~~~~~~~~~~
noexcept(false)
p433.cpp:29:11: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
void g2() throw(X) {
^~~~~~~~
p433.cpp:29:11: note: use 'noexcept(false)' instead
void g2() throw(X) {
^~~~~~~~
noexcept(false)
p433.cpp:33:11: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
void f3() throw(int);
^~~~~~~~~~
p433.cpp:33:11: note: use 'noexcept(false)' instead
void f3() throw(int);
^~~~~~~~~~
noexcept(false)
p433.cpp:37:18: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
struct D3 { D3() throw (double); };
^~~~~~~~~~~~~~
p433.cpp:37:18: note: use 'noexcept(false)' instead
struct D3 { D3() throw (double); };
^~~~~~~~~~~~~~
noexcept(false)
p433.cpp:49:7: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
~A4() throw(X);
^~~~~~~~
p433.cpp:49:7: note: use 'noexcept(false)' instead
~A4() throw(X);
^~~~~~~~
noexcept(false)
p433.cpp:53:16: error: only special member functions may be defaulted
B4(const B&) = default; // exception specification contains no types
^
p433.cpp:55:7: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
~B4() throw(Y);
^~~~~~~~
p433.cpp:55:7: note: use 'noexcept(false)' instead
~B4() throw(Y);
^~~~~~~~
noexcept(false)
p433.cpp:66:30: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
void *operator new[](size_t) throw(exp);
^~~~~~~~~~
p433.cpp:66:30: note: use 'noexcept(false)' instead
void *operator new[](size_t) throw(exp);
^~~~~~~~~~
noexcept(false)
p433.cpp:66:7: error: exception specification in declaration does not match previous declaration
void *operator new[](size_t) throw(exp);
^
/usr/local/Cellar/llvm/6.0.0/include/c++/v1/new:189:66: note: previous declaration is here
_LIBCPP_NODISCARD_AFTER_CXX17 _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new[](std::size_t __sz) _THROW_BAD_ALLOC;
^
13 errors generated.
$ g++-7 p433.cpp -std=c++17
p433.cpp:9:18: error: ISO C++1z does not allow dynamic exception specifications
virtual void f() throw (int, double);
^~~~~
p433.cpp:14:10: error: ISO C++1z does not allow dynamic exception specifications
void g() throw (int); // OK
^~~~~
p433.cpp:21:10: error: ISO C++1z does not allow dynamic exception specifications
void f() throw (X, Y) {
^~~~~
p433.cpp:28:18: error: ISO C++1z does not allow dynamic exception specifications
extern void f2() throw(X, Y);
^~~~~
p433.cpp:29:11: error: ISO C++1z does not allow dynamic exception specifications
void g2() throw(X) {
^~~~~
p433.cpp:33:11: error: ISO C++1z does not allow dynamic exception specifications
void f3() throw(int);
^~~~~
p433.cpp:37:18: error: ISO C++1z does not allow dynamic exception specifications
struct D3 { D3() throw (double); };
^~~~~
p433.cpp:49:7: error: ISO C++1z does not allow dynamic exception specifications
~A4() throw(X);
^~~~~
p433.cpp:53:16: error: 'B4::B4(const B&)' cannot be defaulted
B4(const B&) = default; // exception specification contains no types
^~~~~~~
p433.cpp:55:7: error: ISO C++1z does not allow dynamic exception specifications
~B4() throw(Y);
^~~~~
p433.cpp:66:30: error: ISO C++1z does not allow dynamic exception specifications
void *operator new[](size_t) throw(exp);
^~~~~
タブを2つの空白に変換しているスクリプトは下記。
#!/bin/bash
astyle -s2 -c < $1.cpp > $1s2.cpp
cat $1s2.cpp
#検討事項
コンパイルエラーをなくす修正方法
役に立つまたは意味のある出力
#参考資料
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
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
#文書履歴
0.10 初稿 2080422