// 1 filename:cpp2011-13-3-3-1-5.cpp
// ver 0.1 June.15, 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
// >13 Overloading 13.3 Overload resolution 13.3.3 Best viable function 13.3.3.1 Implicit conversion sequences 13.3.3.1.5 List-initialization sequence
// (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-13-3-3-1-5.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-13-3-3-1-5.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>
//#include <vector>
//#include <valarray>

using namespace std;

void f(std::initializer_list<int>);
f( {1,2,3} ); // OK: f(initializer_list<int>) identity conversion
f( {'a','b'} ); // OK: f(initializer_list<int>) integral promotion
//error: f( {1.0} ); // error: narrowing
struct A {
A(std::initializer_list<double>); // #1
A(std::initializer_list<complex<double>>); // #2
A(std::initializer_list<std::string>); // #3
};
A a{ 1.0,2.0 }; // OK, uses #1
void g(A);
	g({ "foo", "bar" }); // OK, uses #3

//
struct A1 {
A1(std::initializer_list<int>);
};
void f(A1);
f( {'a', 'b'} ); // OK: f(A(std::initializer_list<int>)) user-defined conversion
struct B {
B(int, double);
};
void g(B);
g( {'a', 'b'} ); // OK: g(B(int,double)) user-defined conversion
//error:g( {1.0, 1,0} ); // error: narrowing
void f(B);
//error: f( {'a', 'b'} ); // error: ambiguous f(A) or f(B)
struct C {
C(std::string);
};
void h(C);
h({"foo"}); // OK: h(C(std::string("foo")))
struct D {
C(A, C);
};
void i(D);
i({ {1,2}, {"bar"} }); // OK: i(D(A(std::initializer_list<int>{1,2}),C(std::string("bar"))))
//
struct A2 {
int m1;
double m2;
};
void f(A2);
f( {'a', 'b'} ); // OK: f(A(int,double)) user-defined conversion
//error: f( {1.0} ); // error: narrowing
//
struct A3 {
int m1;
double m2;
};
void f(const A3&);
f( {'a', 'b'} ); // OK: f(A(int,double)) user-defined conversion
//error: f( {1.0} ); // error: narrowing
void g(const double &);
g({1}); // same conversion as int to double
//
void f(int);
f( {'a'} ); // OK: same conversion as char to int
//error: f( {1.0} ); // error: narrowing
//
void f(int);
f( { } ); // OK: identity conversion

int main() {
	cout << "13 Overloading 13.3 Overload resolution 13.3.3 Best viable function 13.3.3.1 Implicit conversion sequences 13.3.3.1.5 List-initialization sequence" << std::endl;
	return 0;
}
// 1 error
// 1.1 llvm:c++ -std=c++11 -stdlib=libc++  -Wall cpp2011-13-3-3-1-5.cpp 
cpp2011-13-3-3-1-5.cpp:74:1: error: C++ requires a type specifier for all declarations
f( {1,2,3} ); // OK: f(initializer_list<int>) identity conversion
^
cpp2011-13-3-3-1-5.cpp:75:1: error: C++ requires a type specifier for all declarations
f( {'a','b'} ); // OK: f(initializer_list<int>) integral promotion
^
cpp2011-13-3-3-1-5.cpp:84:2: error: C++ requires a type specifier for all declarations
        g({ "foo", "bar" }); // OK, uses #3
        ^
cpp2011-13-3-3-1-5.cpp:91:1: error: C++ requires a type specifier for all declarations
f( {'a', 'b'} ); // OK: f(A(std::initializer_list<int>)) user-defined conversion
^
cpp2011-13-3-3-1-5.cpp:96:1: error: C++ requires a type specifier for all declarations
g( {'a', 'b'} ); // OK: g(B(int,double)) user-defined conversion
^
cpp2011-13-3-3-1-5.cpp:104:1: error: C++ requires a type specifier for all declarations
h({"foo"}); // OK: h(C(std::string("foo")))
^
cpp2011-13-3-3-1-5.cpp:106:4: error: expected ')'
C(A, C);
   ^
cpp2011-13-3-3-1-5.cpp:106:2: note: to match this '('
C(A, C);
 ^
cpp2011-13-3-3-1-5.cpp:109:1: error: C++ requires a type specifier for all declarations
i({ {1,2}, {"bar"} }); // OK: i(D(A(std::initializer_list<int>{1,2}),C(std::string("bar"))))
^
cpp2011-13-3-3-1-5.cpp:116:1: error: C++ requires a type specifier for all declarations
f( {'a', 'b'} ); // OK: f(A(int,double)) user-defined conversion
^
cpp2011-13-3-3-1-5.cpp:124:1: error: C++ requires a type specifier for all declarations
f( {'a', 'b'} ); // OK: f(A(int,double)) user-defined conversion
^
cpp2011-13-3-3-1-5.cpp:127:1: error: C++ requires a type specifier for all declarations
g({1}); // same conversion as int to double
^
cpp2011-13-3-3-1-5.cpp:130:1: error: C++ requires a type specifier for all declarations
f( {'a'} ); // OK: same conversion as char to int
^
cpp2011-13-3-3-1-5.cpp:134:1: error: C++ requires a type specifier for all declarations
f( { } ); // OK: identity conversion
^
>13 errors generated.
//1.2 gcc:g++-4.9 -std=c++11 -Wall cpp2011-13-3-3-1-5.cpp 
cpp2011-13-3-3-1-5.cpp:74:2: error: expected constructor, destructor, or type conversion before '(' token
 f( {1,2,3} ); // OK: f(initializer_list<int>) identity conversion
  ^
cpp2011-13-3-3-1-5.cpp:74:12: error: expected unqualified-id before ')' token
 f( {1,2,3} ); // OK: f(initializer_list<int>) identity conversion
            ^
cpp2011-13-3-3-1-5.cpp:75:2: error: expected constructor, destructor, or type conversion before '(' token
 f( {'a','b'} ); // OK: f(initializer_list<int>) integral promotion
  ^
cpp2011-13-3-3-1-5.cpp:75:14: error: expected unqualified-id before ')' token
 f( {'a','b'} ); // OK: f(initializer_list<int>) integral promotion
              ^
cpp2011-13-3-3-1-5.cpp:84:3: error: expected constructor, destructor, or type conversion before '(' token
  g({ "foo", "bar" }); // OK, uses #3
   ^
cpp2011-13-3-3-1-5.cpp:84:20: error: expected unqualified-id before ')' token
  g({ "foo", "bar" }); // OK, uses #3
                    ^
cpp2011-13-3-3-1-5.cpp:91:2: error: expected constructor, destructor, or type conversion before '(' token
 f( {'a', 'b'} ); // OK: f(A(std::initializer_list<int>)) user-defined conversion
  ^
cpp2011-13-3-3-1-5.cpp:91:15: error: expected unqualified-id before ')' token
 f( {'a', 'b'} ); // OK: f(A(std::initializer_list<int>)) user-defined conversion
               ^
cpp2011-13-3-3-1-5.cpp:96:2: error: expected constructor, destructor, or type conversion before '(' token
 g( {'a', 'b'} ); // OK: g(B(int,double)) user-defined conversion
  ^
cpp2011-13-3-3-1-5.cpp:96:15: error: expected unqualified-id before ')' token
 g( {'a', 'b'} ); // OK: g(B(int,double)) user-defined conversion
               ^
cpp2011-13-3-3-1-5.cpp:104:2: error: expected constructor, destructor, or type conversion before '(' token
 h({"foo"}); // OK: h(C(std::string("foo")))
  ^
cpp2011-13-3-3-1-5.cpp:104:10: error: expected unqualified-id before ')' token
 h({"foo"}); // OK: h(C(std::string("foo")))
          ^
cpp2011-13-3-3-1-5.cpp:106:4: error: expected ')' before ',' token
 C(A, C);
    ^
cpp2011-13-3-3-1-5.cpp:109:2: error: expected constructor, destructor, or type conversion before '(' token
 i({ {1,2}, {"bar"} }); // OK: i(D(A(std::initializer_list<int>{1,2}),C(std::string("bar"))))
  ^