接続数

COUNTER379423FROM 2012/5/16

MISRA-C diary(C言語日誌)

MISRA-C >> Article details

2014/06/14

C++N3242, 2011 (50) 6.8 Ambiguity resolution

Tweet ThisSend to Facebook | by kaizen
// 1 filename:cpp2011-6-8.cpp
// ver 0.1 June.12, 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
// > 6 Statements 6.8 Ambiguity resolution
//
// 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-6-8.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-6-8.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>

using namespace std;

class T {
// ...
public:
T();
T(int);
T(int, int);
int m;
};

T(a); // declaration
T(*b)(); // declaration
T(c)=7; // declaration
T(d),e,f=3; // declaration
extern int h;
T(g)(h,2); // declaration
//
struct T1 {
T1 operator()(int x) { return T1(x); }
int operator=(int x) { return x; }
T1(int) { }
};
struct T2 { T2(int){ } };
int a1, (*(*b1)(T2))(int), c1, d1;
void f() {
// disambiguation requires this to be parsed as a declaration:
T1(a1) = 3,
T2(4), // T2 will be declared as
(*(*b1)(T2(c1)))(int(d1)); // a variable of type T1
// but this will not allow
// the last part of the
// declaration to parse
// properly since it depends
// on T2 being a type-name
}
int main() {

//T(a)->m = 7; // error:expression-statement cpp2011-6-8.cpp:86:5: error: member reference type 'T' is not a pointer; maybe you meant to use '.'?
T(a).m = 7; // expression-statement
//T(a)++; // expression-statement cpp2011-6-8.cpp:109:5: error: cannot increment value of type 'T'
T(a,5)<<c; // expression-statement
T(*d)(int); // declaration
T(e)[5]; // declaration
T(f) = { 1, 2 }; // declaration
T(*g)(double(3)); // declaration
cout << T(a).m<< std::endl;
cout << "6 Statements 6.8 Ambiguity resolution" << std::endl;
}
// 1 error
c++ -std=c++11 -stdlib=libc++ -Wall cpp2011-6-8.cpp 
cpp2011-6-8.cpp:94:6: error: redefinition of 'f' as different kind of symbol
void f() {
     ^
cpp2011-6-8.cpp:83:8: note: previous definition is here
T(d),e,f=3; // declaration
       ^
cpp2011-6-8.cpp:98:9: error: must use 'struct' tag to refer to type 'T2' in this scope
(*(*b1)(T2(c1)))(int(d1)); // a variable of type T1
        ^
        struct 
cpp2011-6-8.cpp:97:1: note: struct 'T2' is hidden by a non-type declaration of 'T2' here
T2(4), // T2 will be declared as
^
cpp2011-6-8.cpp:108:8: error: expression is not assignable
T(a).m = 7; // expression-statement
~~~~~~ ^
cpp2011-6-8.cpp:110:1: error: no matching constructor for initialization of 'T'
T(a,5)<<c; // expression-statement
^ ~~~
cpp2011-6-8.cpp:76:1: note: candidate constructor not viable: no known conversion from 'T' to 'int' for 1st argument
T(int, int);
^
cpp2011-6-8.cpp:74:1: note: candidate constructor not viable: requires 0 arguments, but 2 were provided
T();
^
cpp2011-6-8.cpp:75:1: note: candidate constructor not viable: requires 1 argument, but 2 were provided
T(int);
^
cpp2011-6-8.cpp:71:7: note: candidate constructor (the implicit copy constructor) not viable: requires 1 argument, but 2 were provided
class T {
      ^
cpp2011-6-8.cpp:71:7: note: candidate constructor (the implicit move constructor) not viable: requires 1 argument, but 2 were provided
cpp2011-6-8.cpp:114:4: error: cannot initialize a variable of type 'T (*)' with an rvalue of type 'double'
T(*g)(double(3)); // declaration
   ^  ~~~~~~~~~
5 errors generated.


18:14 | Impressed! | Voted(0) | Comment(0)