N4606 Working Draft 2016, ISO/IEC 14882, C++ standard(24) 3.6.3 Dynamic initialization of non-local variables [basic.start.dynamic] p66

はじめに

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.

#(24)3.6.3 Dynamic initialization of non-local variables [basic.start.dynamic]
p66

p66.cpp

// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf 
#define msg "p66.cpp (24)3.6.3 Dynamic initialization of non-local variables [basic.start.dynamic]"

#include <iostream>

// - File 1 -
#include "a.h"
#include "b.h"
B b;
A::A(){
  b.Use();
}

p66-2.cpp

// - File 2 -
#include "a.h"
A a;

p66-3.cpp

// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf 
#define msg "p66-3.cpp (24)3.6.3 Dynamic initialization of non-local variables [basic.start.dynamic]"

#include <iostream>

// - File 3 -
#include "a.h"
#include "b.h"
extern A a;
extern B b;

int main() {
  a.Use();
  b.Use();
  std::cout << msg << std::endl;
  return EXIT_SUCCESS;
}

 ./cppgl3.sh p66 p66-2 p66-3
$ clang++ p66.cpp p66-2.cpp p66-3.cpp
p66.cpp:10:1: error: unknown type name 'B'
B b;
^
p66.cpp:11:1: error: use of undeclared identifier 'A'
A::A(){
^
2 errors generated.
p66-2.cpp:3:1: error: unknown type name 'A'
A a;
^
1 error generated.
p66-3.cpp:10:8: error: unknown type name 'A'
extern A a;
       ^
p66-3.cpp:11:8: error: unknown type name 'B'
extern B b;
       ^
2 errors generated.

$ g++-7 p66.cpp p66-2.cpp p66-3.cpp
p66.cpp:10:1: error: 'B' does not name a type
 B b;
 ^
p66.cpp:11:1: error: 'A' does not name a type
 A::A(){
 ^
p66-2.cpp:3:1: error: 'A' does not name a type
 A a;
 ^
p66-3.cpp:10:8: error: 'A' does not name a type
 extern A a;
        ^
p66-3.cpp:11:8: error: 'B' does not name a type
 extern B b;
        ^
p66-3.cpp: In function 'int main()':
p66-3.cpp:14:3: error: 'a' was not declared in this scope
   a.Use();
   ^
p66-3.cpp:15:3: error: 'b' was not declared in this scope
   b.Use();
   ^

検討事項

　コンパイルエラーにならない変更。
　内容の出力。

参考資料

コンパイル用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

文書履歴

vevr. 0.10 初稿 2080415
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.