// 1 filename:cpp2011-14-5-3.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
// >14 Templates 14.5 Template declarations 14.5.3 Variadic templates
// (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-14-5-3.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-14-5-3.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 <ccomplex>
//#include <cstddef>
//#include <new>
//#include <vector>
//#include <valarray>

using namespace std;


Tuple<> t0; // Types contains no arguments
Tuple<int> t1; // Types contains one argument: int
Tuple<int, float> t2; // Types contains two arguments: int and float
//error: Tuple<0> error; // error: 0 is not a type
//
f(); // OK: args contains no arguments
f(1); // OK: args contains one argument: int
f(2, 1.0); // OK: args contains two arguments: int and double
//
template<class ... Types> void f(Types ... rest);
template<class ... Types> void g(Types ... rest) {
f(&rest ...); // “&rest ...” is a pack expansion; “&rest” is its pattern
}
//
template<typename...> struct Tuple {};
template<typename T1, typename T2> struct Pair {};
template<class ... Args1> struct zip {
template<class ... Args2> struct with {
typedef Tuple<Pair<Args1, Args2> ... > type;
};
};
typedef zip<short, int>::with<unsigned short, unsigned>::type T1;
// T1 is Tuple<Pair<short, unsigned short>, Pair<int, unsigned>>
typedef zip<short>::with<unsigned short, unsigned>::type T2;
// error: different number of arguments specified for Args1 and Args2
template<class ... Args> void g2(Args ... args) {
f(const_cast<const Args*>(&args)...); // OK: “Args” and “args” are expanded
	//error: f(5 ...); // error: pattern does not contain any parameter packs
	//error: f(args); // error: parameter pack “args” is not expanded
f(h(args ...) + args ...); // OK: first “args” expanded within h, second
// “args” expanded within f
}
int main() {

	cout << "14 Templates 14.5 Template declarations 14.5.3 Variadic templates" << std::endl;
	return 0;
}
// 1  error
// 1.1 llvm: c++ -std=c++11 -stdlib=libc++  -Wall cpp2011-14-5-3.cpp 
cpp2011-14-5-3.cpp:75:1: error: no template named 'Tuple'; did you mean 'tuple'?
Tuple<> t0; // Types contains no arguments
^~~~~
tuple
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../lib/c++/v1/tuple:488:29: note: 'tuple' declared here
class _LIBCPP_TYPE_VIS_ONLY tuple
                            ^
cpp2011-14-5-3.cpp:76:1: error: no template named 'Tuple'; did you mean 'tuple'?
Tuple<int> t1; // Types contains one argument: int
^~~~~
tuple
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../lib/c++/v1/tuple:488:29: note: 'tuple' declared here
class _LIBCPP_TYPE_VIS_ONLY tuple
                            ^
cpp2011-14-5-3.cpp:77:1: error: no template named 'Tuple'; did you mean 'tuple'?
Tuple<int, float> t2; // Types contains two arguments: int and float
^~~~~
tuple
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../lib/c++/v1/tuple:488:29: note: 'tuple' declared here
class _LIBCPP_TYPE_VIS_ONLY tuple
                            ^
cpp2011-14-5-3.cpp:80:1: error: C++ requires a type specifier for all declarations
f(); // OK: args contains no arguments
^
cpp2011-14-5-3.cpp:81:1: error: C++ requires a type specifier for all declarations
f(1); // OK: args contains one argument: int
^
cpp2011-14-5-3.cpp:82:1: error: C++ requires a type specifier for all declarations
f(2, 1.0); // OK: args contains two arguments: int and double
^
cpp2011-14-5-3.cpp:93:34: error: pack expansion contains parameter packs 'Args1' and 'Args2' that have different lengths (1 vs. 2)
typedef Tuple<Pair<Args1, Args2> ... > type;
                   ~~~~~  ~~~~~  ^
cpp2011-14-5-3.cpp:98:21: note: in instantiation of template class 'zip<short>::with<unsigned short, unsigned int>' requested here
typedef zip<short>::with<unsigned short, unsigned>::type T2;
                    ^
7 errors generated.