N4606 Working Draft 2016, ISO/IEC 14882, C++ standard(42) 5.2.9 Static cast [expr.static.cast] p113

はじめに

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.

(42) 5.2.9 Static cast [expr.static.cast]

p113

p113.cpp

// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf 
#define msg "p113.cpp (42) 5.2.9 Static cast [expr.static.cast]"

#include <iostream>

struct B { };
struct D : public B { };
↓↓↓↓↓↓↓ あなたの記事の内容
───────

↑↑↑↑↑↑↑ 編集リクエストの内容




int main(int argc, char *argv[], char *envp[]){
　D d;
　B &br = d;
　static_cast<D&>(br); // produces lvalue to the original d object

　D d;
　B &br = d;
　static_cast<D&>(br); // produces lvalue to the original d object

　int* p1 = new int;
　const int* p2 = static_cast<const int*>(static_cast<void*>(p1));
　bool b = p1 == p2; // b will have the value true.

//  std::cout << "p1="<<p1 <<" q1=" << q1 << " pi1="<<pi1<<" pci1="<<pci1<<std::endl;
  std::cout << msg << std::endl;
  return EXIT_SUCCESS;
}

$ ./cppgl17.sh p113
$ clang++ p113.cpp
p113.cpp:11:1: error: expected unqualified-id
static_cast<D&>(br); // produces lvalue to the original d object
^
p113.cpp:13:1: error: unknown type name 'T'
T* p1 = new T;
^
p113.cpp:13:13: error: unknown type name 'T'
T* p1 = new T;
            ^
p113.cpp:14:7: error: unknown type name 'T'
const T* p2 = static_cast<const T*>(static_cast<void*>(p1));
      ^
p113.cpp:14:33: error: unknown type name 'T'
const T* p2 = static_cast<const T*>(static_cast<void*>(p1));
                                ^
5 errors generated.

$ g++-7 p113.cpp
p113.cpp:11:1: error: expected unqualified-id before 'static_cast'
 static_cast<D&>(br); // produces lvalue to the original d object
 ^~~~~~~~~~~
p113.cpp:13:1: error: 'T' does not name a type
 T* p1 = new T;
 ^
p113.cpp:14:7: error: 'T' does not name a type
 const T* p2 = static_cast<const T*>(static_cast<void*>(p1));
       ^
p113.cpp:15:10: error: 'p1' was not declared in this scope
 bool b = p1 == p2; // b will have the value true.
          ^~
p113.cpp:15:16: error: 'p2' was not declared in this scope
 bool b = p1 == p2; // b will have the value true.
                ^~

p113a.cpp

-D d;
-B &br = d;
-static_cast<D&>(br); // produces lvalue to the original d object

検討事項

　コンパイルエラーにならない修正。
　内容の出力。
　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 初稿 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.