N4606 Working Draft 2016, ISO/IEC 14882, C++ standard(35) 5.1.2 This [expr.prim.this] p94

はじめに

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.

(35)5.1 Primary expressions [expr.prim]

5.1.2 This [expr.prim.this]
p94

p94.cpp
// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf 
#define msg "p94.cpp (35)5.1.2 This [expr.prim.this]"

#include <iostream>

struct A {
char g();
template<class T> auto f(T t) -> decltype(t + g())
{ return t + g(); }
};
template auto A::f(int t) -> decltype(t + g());

class Outer {
  int a[sizeof(*this)]; // error: not inside a member function
  unsigned int sz = sizeof(*this); // OK: in default member initializer
  void f() {
    int b[sizeof(*this)]; // OK
    struct Inner {
      int c[sizeof(*this)]; // error: not inside a member function of Inner
    };
  }
};

int main(int argc, char *argv[], char *envp[]){
  std::cout << msg << std::endl;
  return EXIT_SUCCESS;
}
$ ./cppgl17.sh p94
$ clang++ p94.cpp
p94.cpp:15:17: error: invalid use of 'this' outside of a non-static member function
  int a[sizeof(*this)]; // error: not inside a member function
                ^
p94.cpp:20:21: error: invalid use of 'this' outside of a non-static member function
      int c[sizeof(*this)]; // error: not inside a member function of Inner
                    ^
2 errors generated.

$ g++-7 p94.cpp
p94.cpp:15:17: error: invalid use of 'this' at top level
   int a[sizeof(*this)]; // error: not inside a member function
                 ^~~~

検討事項

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

文書履歴

0.10 初稿 2080415

Sign up for free and join this conversation.
Sign Up
If you already have a Qiita account log in.