接続数

COUNTER379465FROM 2012/5/16

MISRA-C diary(C言語日誌)

MISRA-C >> Article details

2014/06/16

C++N3242, 2011 (85) 8.5.1 Aggregates

Tweet ThisSend to Facebook | by kaizen
// 1 filename:cpp2011-8-5-1.cpp
// ver 0.1 June.13, 2014
//
// 2 original examples and/or notes:
// (c) ISO/IEC JTC1 SC22 WG21 N3242, April 12, 2011
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf
// > 8 Declarators 8.5 Initializers 8.5.1 Aggregates
//
// 3 compile and output mechanism:
// (c) Dr. OGAWA Kiyoshi, kaizen at gifu-u.ac.jp,
//
// 4 compile errors and/or warnings:
// 4.1(c) Apple LLVM version 5.1 (clang-503.0.40) (based on LLVM 3.4svn)
// Target: x86_64-apple-darwin13.2.0,  Thread model: posix
// Command/Options: c++ -std=c++11 -stdlib=libc++ -Wall cpp2011-8-5-1.cpp 
// (c) LLVM 2003-2009 University of Illinois at Urbana-Champaign.

// 4.2. g++-4.9 (GCC) 4.9.0 20131229 (experimental)
// Copyright (C) 2013 Free Software Foundation, Inc.
// This is free software; see the source for copying conditions.  There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
// http://gcc.gnu.org/onlinedocs/gcc/Standards.html
// Command/Options: g++-4.9  -std=c++11  -Wall cpp2011-8-5-1.cpp 
// g++-4.9: error: unrecognized command line option '-stdlib=libc++'
// Configuration:brew install gcc49
//
// 4.3. Visual Studio Express 2013, 
// (c) Microsoft http://www.visualstudio.com/
// SPEC:
// Windows 7, .NET Framework
// (c) VMware, Inc.
// VMWare fusion 6
//
// 5. Hardware:  MacBook Pro, 
//(c) Intel http://ark.intel.com/products/37006/
//Core 2 Duo 2.53GHz, 8GB, 1067MHz DDR3
//
// 6. Special Thanks: Upper organizatios and 
// ITSCJ/IPSJ http://www.itscj.ipsj.or.jp/itscj_english/index.html
// Renesas Electronics Corporation.http://www.renesas.com/
// NPO SESSAME project, http://www.sessame.jp/workinggroup/WorkingGroup3/
// Toyo Corporation, http://www.toyo.co.jp/English/
// Japan Standard Association, http://bit.ly/1lzykg1
// NPO TOPPERS project, https://www.toppers.jp/asp-d-download.html
// Daido Universcity, http://www.daido-it.ac.jp/gakubugakka/computer/index.html
// WITZ Co.Ltd., http://www.witz-inc.co.jp/products/solution/solution.html
// SevenWise.co., http://www.7ws.co.jp/index.html
// TOYOTA Motor Corporation, http://toyota.jp/
// IT planning Inc., http://www.itpl.co.jp/en/index.html
// DENSO Corporation, http://www.globaldenso.com/en/
// Aisin Seiki co. Ltd., http://www.aisin.com/
// Spancion Inc., http://www.spansion.com/
// Yazaki Corporation, http://www.yazaki-group.com/global/
// Pananosic Corporation, http://www.panasonic.net/
// SWEST: Summer Workshop on Embedded System Technologies , http://swest.toppers.jp
// CEST: Consortium for Embedded System Technology, http://www.ertl.jp/CEST/
// JUSE: Union of Japanese Scientists and Engineers, http://www.juse.or.jp/e/
// OSC:Open Source Conference, http://www.ospn.jp/

#include <iostream>
//#include <cstdlib>
//#include <string.h>
//#include <cstring>
//#include <type_traits>
//#include <cassert>
//#include <algorithm>
//#include <cmath>
//#include <complex>
//#include <cstddef>
//#include <new>

using namespace std;

struct A {
int x;
struct B {
int i;
int j;
} b;
} a = { 1, { 2, 3 } };
//
int x[] = { 1, 3, 5 };
//
struct A1 {
int i;
static int s;
int j;
int :17;
int k;
} a2 = { 1, 2, 3 };
//
//error: char cv[4] = { ’a’, ’s’, ’d’, ’f’, 0 }; // error is ill-formed. 
//
struct S { int a; const char* b; int c; };
S ss = { 1, "asdf" };
//
struct S2 { } s;
struct A2 {
S2 s1;
int i1;
S2 s2;
int i2;
S2 s3;
int i3;
} a3 = {
{ }, // Required initialization
0,
s, // Required initialization
0
}; // Initialization not required for A::s3 because A::i3 is also not initialized
//
int x4[2][2] = { 3, 1, 4, 2 };
//
float y[4][3] = {
{ 1 }, { 2 }, { 3 }, { 4 }
};
//
template<typename T>
T x5 = { a };
//
float y1[4][3] = {
{ 1, 3, 5 },
{ 2, 4, 6 },
{ 3, 5, 7 },
};
//
float y2[4][3] = {
1, 3, 5, 2, 4, 6, 3, 5, 7
};
//
struct A3 {
int i;
operator int();
};
struct B {
A3 a1, a2;
int z;
};
A3 a4;
B b = { 4, a4, a4 };
//

u a5 = { 1 };
u b = a5;
u c = 1; // error
u d = { 0, "asdf" }; // error
u e = { "asdf" }; // error

int main() {
cout << "8 Declarators 8.5 Initializers 8.5.1 Aggregates" << std::endl;
return 0;
}
// 1 error
// 1.1 llvm:  c++ -std=c++11 -stdlib=libc++  -Wall cpp2011-8-5-1.cpp 
cpp2011-8-5-1.cpp:111:18: warning: suggest braces around initialization of subobject [-Wmissing-braces]
int x4[2][2] = { 3, 1, 4, 2 };
                 ^~~~
                 {   }
cpp2011-8-5-1.cpp:111:24: warning: suggest braces around initialization of subobject [-Wmissing-braces]
int x4[2][2] = { 3, 1, 4, 2 };
                       ^~~~
                       {   }
cpp2011-8-5-1.cpp:118:3: warning: variable templates are a C++1y extension [-Wc++1y-extensions]
T x5 = { a };
  ^
cpp2011-8-5-1.cpp:127:1: warning: suggest braces around initialization of subobject [-Wmissing-braces]
1, 3, 5, 2, 4, 6, 3, 5, 7
^~~~~~~
{      }
cpp2011-8-5-1.cpp:127:10: warning: suggest braces around initialization of subobject [-Wmissing-braces]
1, 3, 5, 2, 4, 6, 3, 5, 7
         ^~~~~~~
         {      }
cpp2011-8-5-1.cpp:127:19: warning: suggest braces around initialization of subobject [-Wmissing-braces]
1, 3, 5, 2, 4, 6, 3, 5, 7
                  ^~~~~~~
                  {      }
cpp2011-8-5-1.cpp:139:9: warning: suggest braces around initialization of subobject [-Wmissing-braces]
B b = { 4, a4, a4 };
        ^
        {}
cpp2011-8-5-1.cpp:142:1: error: unknown type name 'u'
u a5 = { 1 };
^
cpp2011-8-5-1.cpp:143:1: error: unknown type name 'u'
u b = a5;
^
cpp2011-8-5-1.cpp:144:1: error: unknown type name 'u'
u c = 1; // error
^
cpp2011-8-5-1.cpp:145:1: error: unknown type name 'u'
u d = { 0, "asdf" }; // error
^
cpp2011-8-5-1.cpp:146:1: error: unknown type name 'u'
u e = { "asdf" }; // error
^
>7 warnings and 5 errors generated.
// 1.2 gcc:  g++-4.9 -std=c++11 -Wall cpp2011-8-5-1.cpp 
cpp2011-8-5-1.cpp:118:3: error: template declaration of 'T x5'
 T x5 = { a };
   ^
cpp2011-8-5-1.cpp:142:1: error: 'u' does not name a type
 u a5 = { 1 };
 ^
cpp2011-8-5-1.cpp:143:1: error: 'u' does not name a type
 u b = a5;
 ^
cpp2011-8-5-1.cpp:144:1: error: 'u' does not name a type
 u c = 1; // error
 ^
cpp2011-8-5-1.cpp:145:1: error: 'u' does not name a type
 u d = { 0, "asdf" }; // error
 ^
cpp2011-8-5-1.cpp:146:1: error: 'u' does not name a type
 u e = { "asdf" }; // error
 ^


01:52 | Impressed! | Voted(0) | Comment(0)