C++N4741(118)11.6.4 List-initialization [dcl.init.list]p208

#はじめに(Introduction)
C++N4741 Working Draft, Standard for Programming Language C++
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/n4741.pdf

C++N4741は、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）との関係も調査中です。
何か、抜け漏れ、耳より情報がありましたらおしらせくださると幸いです。

##背景(back ground)
C/C++でコンパイルエラーが出ると、途方にくれることがしばしばあります。
何回かに１回は、該当するエラーが検索できます。
ただ、条件が違っていて、そこでの修正方法では目的を達成しないこともしばしばです。いろいろな条件のコンパイルエラーとその対応方法について、広く記録することによって、いつか同じエラーに遭遇した時にやくに立つことを目指しています。

この半年の間で、三度、自分のネットでの記録に助けられたことがあります。
また過去に解決できなかった記録を１０種類以上、最近になって解決できたことがあります。それは、主に次の4つの情報に基づいています。

https://stackoverflow.com
https://cpprefjp.github.io
http://ja.cppreference.com/
https://teratail.com/

また
https://researchmap.jp/joub9b3my-1797580/#_1797580
に記載したサイトのお世話になっています。

コーディング標準対応

コーディング標準の検討の下準備のコードとして、
コーディング標準を守って初期化をしてある方がいいという
考え方があります。
ここでは、逆に、コンパイラの警告がどれくらいコーディング標準の検査に役立つかを確かめたいという目的があります。

何か特別なコンパイラを使っていても、将来の可搬性を考えて、
g++, clang++, visual C++の三種類のコンパイラでコンパイルできるか、
三種類のコンパイラの警告は役立たないかを確認したい。

そのため、しばしば変数は初期化していません。
初期化したとしても、なるべく0,1ではなく、それ以外の数を代入するようにしています。

##作業方針(sequence)
Clang++では-std=c++03, c++17, C++2aの３種類
g++では-std=c++03, c++17の２種類
でコンパイルし、

１）コンパイルエラーを収集する。
２）コンパイルエラーをなくす方法を検討する。
コンパイルエラーになる例を示すだけが目的のコードは、コンパイルエラーをなくすのではなく、コンパイルエラーの種類を収集するだけにする。
文法を示すのが目的のコード場合に、コンパイルエラーをなくすのに手間がかかる場合は、順次作業します。
３）リンクエラーをなくす方法を検討する。
文法を示すのが目的のコード場合に、リンクエラーをなくすのに手間がかかる場合は、順次作業します。
４）意味のある出力を作る。
コンパイル、リンクが通っても、意味のある出力を示そうとすると、コンパイル・リンクエラーが出て収拾できそうにない場合がある。順次作業します。

１）だけのものから４）まで進んだものと色々ある状態です。一歩でも前に進むご助言をお待ちしています。「検討事項」の欄に現状を記録するようにしています。

初めての　CEDD(Compile Error Driven Design) ８回直してコンパイル。
https://qiita.com/kaizen_nagoya/items/9494236aa1753f3fd1e1

コンパイルエラーを記録するとよい理由7つ
https://qiita.com/kaizen_nagoya/items/85c0e92b206883140e89

##C++N4741, 2018 Standard Working Draft on ISO/IEC 14882 sample code compile list
https://qiita.com/kaizen_nagoya/items/3294c014044550896010

C++N4606, 2016符号断片編纂一覧(example code compile list)

C++N4606, 2016 Working Draft 2016, ISO/IEC 14882, C++ standard(1) Example code compile list
https://qiita.com/kaizen_nagoya/items/df5d62c35bd6ed1c3d43/

##C++N3242, 2011 sample code compile list on clang++ and g++
https://qiita.com/kaizen_nagoya/items/685b5c1a2c17c1bf1318

編纂器(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.

#(118)11.6.4 List-initialization [dcl.init.list]p208

C++N4606, 2016 (107)8.6.4 List-initialization [dcl.init.list] p231
https://qiita.com/kaizen_nagoya/items/21300738f1e5dec3682c

C++N3242, 2011 (88) 8.5.4 List-initialization
https://researchmap.jp/joxb83iu4-1797580/#_1797580

##p208.cpp
###算譜(source code)

p208.cpp

// C++N4741 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/n741.pdf
const char* msg= "C++N4741(118)11.6.4 List-initialization [dcl.init.list]p208.cpp";
// Edited by Dr. Ogawa Kiyoshi. Compile procedure and results record.

#include <iostream>
#include <cstdlib>
#include <map>
#include <vector>
#include <initializer_list>

using namespace std;

void f(std::initializer_list<string>) {}
double x;

namespace N {
  g() {
    int a = {1};
    std::complex<double> z{1,2};
    new std::vector<std::string> {"once", "upon", "a", "time"}; // 4 string elements
    f( {"Nicholas","Annemarie"} ); // pass list of two elements
    return { "Norah" }; // return list of one element
    int* e {}; // initialization to zero / null pointer
    x = double{1}; // explicitly construct a double
    std::map<std::string,int> anim = { {"bear",4}, {"cassowary",2}, {"tiger",7} };
  }
}

namespace M {
  struct A {
    int x;
    int y;
    int z;
  };
  A a{.y = 2, .x = 1}; // error: designator order does not match declaration order
  A b{.x = 1, .z = 2}; // OK, b.y initialized to 0

  double ad[] = { 1, 2.0 }; // OK
  int ai[] = { 1, 2.0 }; // error: narrowing
  struct S2 {
    int m1;
    double m2, m3;
  };
  S2 s21 = { 1, 2, 3.0 }; // OK
  S2 s22 { 1.0, 2, 3 }; // error: narrowing
  S2 s23 { }; // OK: default to 0,0,0
}

namespace L {
  struct S {
    S(std::initializer_list<double>); // #1
    S(std::initializer_list<int>); // #2
    S(); // #3
// ...
  };
  S s1 = { 1.0, 2.0, 3.0 }; // invoke #1
  S s2 = { 1, 2, 3 }; // invoke #2
  S s3 = { }; // invoke #3
}

namespace O {
  struct Map {
    Map(std::initializer_list<std::pair<std::string,int>>);
  };
  Map ship = {{"Sophie",14}, {"Surprise",28}};

  struct S {
// no initializer-list constructors
    S(int, double, double); // #1
    S(); // #2
// ...
  };
  S s1 = { 1, 2, 3.0 }; // OK: invoke #1
  S s2 { 1.0, 2, 3 }; // error: narrowing
  S s3 { }; // OK: invoke #2
}

namespace P {
  enum byte : unsigned char { };
  byte b { 42 }; // OK
  byte c = { 42 }; // error
  byte d = byte{ 42 }; // OK; same value as b
  byte e { -1 }; // error
  struct A {
    byte b;
  };
  A a1 = { { 42 } }; // error
  A a2 = { byte{ 42 } }; // OK
  void f(byte);
  f({ 42 }); // error
  enum class Handle : uint32_t { Invalid = 0 };
  Handle h { 42 }; // OK

  int x1 {2}; // OK
  int x2 {2.0}; // error: narrowing
}

namespace Q {
  struct S {
    S(std::initializer_list<double>); // #1
    S(const std::string&); // #2
// ...
  };
  const S& r1 = { 1, 2, 3.0 }; // OK: invoke #1
  const S& r2 { "Spinach" }; // OK: invoke #2
  S& r3 = { 1, 2, 3 }; // error: initializer is not an lvalue
  const int& i1 = { 1 }; // OK
  const int& i2 = { 1.1 }; // error: narrowing
  const int (&iar)[2] = { 1, 2 }; // OK: iar is bound to temporary array

  int** pp {}; // initialized to null pointer

  struct A {
    int i;
    int j;
  };
  A a1 { 1, 2 }; // aggregate initialization
  A a2 { 1.2 }; // error: narrowing
  struct B {
    B(std::initializer_list<int>);
  };
  B b1 { 1, 2 }; // creates initializer_list<int> and calls constructor
  B b2 { 1, 2.0 }; // error: narrowing
  struct C {
    C(int i, double j);
  };
  C c1 = { 1, 2.2 }; // calls constructor with arguments (1, 2.2)
  C c2 = { 1.1, 2 }; // error: narrowing
  int j { 1 }; // initialize to 1
  int k { }; // initialize to 0

  struct X {
    X(std::initializer_list<double> v);
  };
  X x{ 1,2,3 };
}

namespace R {
  struct X {
    X(std::initializer_list<double> v);
  };
  const double __a[3] = {double{1}, double{2}, double{3}};
  X x(std::initializer_list<double>(__a, __a+3));

  typedef std::complex<double> cmplx;
  std::vector<cmplx> v1 = { 1, 2, 3 };
  void f() {
    std::vector<cmplx> v2{ 1, 2, 3 };
    std::initializer_list<int> i3 = { 1, 2, 3 };
  }
  struct A {
    std::initializer_list<int> i4;
    A() : i4{ 1, 2, 3 } {} // ill-formed, would create a dangling reference
  };
}


int x = 999; // x is not a constant expression
const int y = 999;
const int z = 99;
char c1 = x; // OK, though it might narrow (in this case, it does narrow)
char c2{x}; // error: might narrow
char c3{y}; // error: narrows (assuming char is 8 bits)
char c4{z}; // OK: no narrowing needed
unsigned char uc1 = {5}; // OK: no narrowing needed
unsigned char uc2 = {-1}; // error: narrows
unsigned int ui1 = {-1}; // error: narrows
signed int si1 =
{ (unsigned int)-1 }; // error: narrows
int ii = {2.0}; // error: narrows
float f1 { x }; // error: might narrow
float f2 { 7 }; // OK: 7 can be exactly represented as a float
int f(int);
int a[] = { 2, f(2), f(2.0) }; // OK: the double-to-int conversion is not at the top level

int main() {
  cout << msg << endl;
  return EXIT_SUCCESS;
}

###編纂・実行結果(compile and go)

c1.sh

$ ../c1.sh p208
$ clang++ p208.cpp  -std=c++2a -Wall
p208.cpp:18:2: error: C++ requires a type specifier for all declarations
 g(){
 ^
p208.cpp:20:6: error: no member named 'complex' in namespace 'std'
std::complex<double> z{1,2};
~~~~~^
p208.cpp:20:20: error: expected '(' for function-style cast or type construction
std::complex<double> z{1,2};
             ~~~~~~^
p208.cpp:20:22: error: use of undeclared identifier 'z'
std::complex<double> z{1,2};
                     ^
p208.cpp:23:10: error: cannot initialize return object of type 'int' with an
      lvalue of type 'const char [6]'
return { "Norah" }; // return list of one element
         ^~~~~~~
p208.cpp:36:17: error: type 'double' cannot be narrowed to 'int' in initializer
      list [-Wc++11-narrowing]
int ai[] = { 1, 2.0 }; // error: narrowing
                ^~~
p208.cpp:36:17: note: insert an explicit cast to silence this issue
int ai[] = { 1, 2.0 }; // error: narrowing
                ^~~
                static_cast<int>( )
p208.cpp:42:10: error: type 'double' cannot be narrowed to 'int' in initializer
      list [-Wc++11-narrowing]
S2 s22 { 1.0, 2, 3 }; // error: narrowing
         ^~~
p208.cpp:42:10: note: insert an explicit cast to silence this issue
S2 s22 { 1.0, 2, 3 }; // error: narrowing
         ^~~
         static_cast<int>( )
p208.cpp:71:8: error: type 'double' cannot be narrowed to 'int' in initializer
      list [-Wc++11-narrowing]
S s2 { 1.0, 2, 3 }; // error: narrowing
       ^~~
p208.cpp:71:8: note: insert an explicit cast to silence this issue
S s2 { 1.0, 2, 3 }; // error: narrowing
       ^~~
       static_cast<int>( )
p208.cpp:78:12: error: cannot initialize a variable of type 'P::byte' with an
      rvalue of type 'int'
byte c = { 42 }; // error
           ^~
p208.cpp:80:10: error: constant expression evaluates to -1 which cannot be
      narrowed to type 'P::byte' [-Wc++11-narrowing]
byte e { -1 }; // error
         ^~
p208.cpp:82:12: error: cannot initialize a member subobject of type 'P::byte'
      with an rvalue of type 'int'
A a1 = { { 42 } }; // error
           ^~
p208.cpp:85:1: error: C++ requires a type specifier for all declarations
f({ 42 }); // error
^
p208.cpp:90:9: error: type 'double' cannot be narrowed to 'int' in initializer
      list [-Wc++11-narrowing]
int x2 {2.0}; // error: narrowing
        ^~~
p208.cpp:90:9: note: insert an explicit cast to silence this issue
int x2 {2.0}; // error: narrowing
        ^~~
        static_cast<int>( )
p208.cpp:101:4: error: non-const lvalue reference to type 'Q::S' cannot bind to
      an initializer list temporary
S& r3 = { 1, 2, 3 }; // error: initializer is not an lvalue
   ^    ~~~~~~~~~~~
p208.cpp:103:19: error: type 'double' cannot be narrowed to 'int' in initializer
      list [-Wc++11-narrowing]
const int& i2 = { 1.1 }; // error: narrowing
                  ^~~
p208.cpp:103:19: note: insert an explicit cast to silence this issue
const int& i2 = { 1.1 }; // error: narrowing
                  ^~~
                  static_cast<int>( )
p208.cpp:103:19: warning: implicit conversion from 'double' to 'int' changes
      value from 1.1 to 1 [-Wliteral-conversion]
const int& i2 = { 1.1 }; // error: narrowing
                ~ ^~~
p208.cpp:110:8: error: type 'double' cannot be narrowed to 'int' in initializer
      list [-Wc++11-narrowing]
A a2 { 1.2 }; // error: narrowing
       ^~~
p208.cpp:110:8: note: insert an explicit cast to silence this issue
A a2 { 1.2 }; // error: narrowing
       ^~~
       static_cast<int>( )
p208.cpp:110:8: warning: implicit conversion from 'double' to 'int' changes
      value from 1.2 to 1 [-Wliteral-conversion]
A a2 { 1.2 }; // error: narrowing
     ~ ^~~
p208.cpp:115:11: error: type 'double' cannot be narrowed to 'int' in initializer
      list [-Wc++11-narrowing]
B b2 { 1, 2.0 }; // error: narrowing
          ^~~
p208.cpp:115:11: note: insert an explicit cast to silence this issue
B b2 { 1, 2.0 }; // error: narrowing
          ^~~
          static_cast<int>( )
p208.cpp:120:10: error: type 'double' cannot be narrowed to 'int' in initializer
      list [-Wc++11-narrowing]
C c2 = { 1.1, 2 }; // error: narrowing
         ^~~
p208.cpp:120:10: note: insert an explicit cast to silence this issue
C c2 = { 1.1, 2 }; // error: narrowing
         ^~~
         static_cast<int>( )
p208.cpp:120:10: warning: implicit conversion from 'double' to 'int' changes
      value from 1.1 to 1 [-Wliteral-conversion]
C c2 = { 1.1, 2 }; // error: narrowing
       ~ ^~~
p208.cpp:135:5: error: no matching constructor for initialization of
      'std::initializer_list<double>'
X x(std::initializer_list<double>(__a, __a+3));
    ^                             ~~~~~~~~~~
/usr/local/Cellar/llvm/6.0.0/include/c++/v1/initializer_list:66:5: note: 
      candidate constructor not viable: no known conversion from
      'const double *' to 'size_t' (aka 'unsigned long') for 2nd argument;
      dereference the argument with *
    initializer_list(const _Ep* __b, size_t __s) _NOEXCEPT
    ^
/usr/local/Cellar/llvm/6.0.0/include/c++/v1/initializer_list:59:28: note: 
      candidate constructor (the implicit copy constructor) not viable: requires
      1 argument, but 2 were provided
class _LIBCPP_TEMPLATE_VIS initializer_list
                           ^
/usr/local/Cellar/llvm/6.0.0/include/c++/v1/initializer_list:59:28: note: 
      candidate constructor (the implicit move constructor) not viable: requires
      1 argument, but 2 were provided
/usr/local/Cellar/llvm/6.0.0/include/c++/v1/initializer_list:81:5: note: 
      candidate constructor not viable: requires 0 arguments, but 2 were
      provided
    initializer_list() _NOEXCEPT : __begin_(nullptr), __size_(0) {}
    ^
fatal error: too many errors emitted, stopping now [-ferror-limit=]
3 warnings and 20 errors generated.

#検討事項(agenda)
コンパイルエラーを取る修正方法
役に立つまたは意味のあるその他の出力

#参考資料(reference)

docker gnu(gcc/g++) and llvm(clang/clang++)
https://qiita.com/drafts/059874ea39c4de64c0f7

[C][C++]の国際規格案の例題をコンパイルするときの課題７つ。
https://qiita.com/kaizen_nagoya/items/5f4b155030259497c4de

C++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

C++2003とC++2017でコンパイルエラーになるならない事例集
https://qiita.com/kaizen_nagoya/items/a13ea3823441c430edff

Qiitaに投稿するCのStyle例(暫定)
https://qiita.com/kaizen_nagoya/items/946df1528a6a1ef2bc0d

cpprefjpのdecltypeをコンパイル試験
https://qiita.com/kaizen_nagoya/items/090909af702f0d5d8a67

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

#文書履歴(document history)
ver. 0.10 初稿 20180526