// 1 filename:cpp2011-14-5-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
// >14 Templates 14.5 Template declarations 14.5.5 Class template partial specializations
// (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-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-14-5-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 <ccomplex>
//#include <cstddef>
//#include <new>
//#include <vector>
//#include <valarray>

using namespace std;

template<class T1, class T2, int I> class A0 { }; // #1
template<class T, int I> class A0<T, T*, I> { }; // #2
template<class T1, class T2, int I> class A0<T1*, T2, I> { }; // #3
template<class T> class A0<int, T*, 5> { }; // #4
template<class T1, class T2, int I> class A0<T1, T2*, I> { }; // #5
//
//error: template<class T1, class T2, int I> class A<T1, T2, I> { }; // error: class template partial specialization does not specialize any template argument; to define the primary template, remove the template argument list

//
template<class T> struct A {
struct C {
template<class T2> struct B { };
};
};
// partial specialization of A<T>::C::B<T2>
template<class T> template<class T2>
struct A1<T>::C1::B<T2*> { };
A1<short>::C1::B<int*> absip; // uses partial specialization
//
namespace N {
template<class T1, class T2> class A { }; // primary template
}
using N::A2; // refers to the primary template
namespace N {
template<class T> class A2<T, T*> { }; // partial specialization
}
A2<int,int*> a; // uses the partial specialization, which is found through
// the using declaration which refers to the primary template
//
template <int I, int J> struct A3 {};
// error: template <int I> struct A3<I+5, I*2> {}; // error: non-type template argument depends on a template parameter of the partial specialization
template <int I, int J> struct B3 {};
template <int I> struct B3<I, I> {}; // OK
//
template <class T, T t> struct C3 {};
// error: template <class T> struct C3<T, 1>; // error: non-type template argument specializes a template parameter with dependent type 'T'
template< int X, int (*array_ptr)[X] > class A4{};
int array[5];
//error: template< int X > class A4<X,&array> { }; // error: reference to 'array' is ambiguous

int main() {

	cout << "14 Templates 14.5 Template declarations 14.5.5 Class template partial specializations" << std::endl;
	return 0;
}
// 1 error
// 1.1 llvm: c++ -std=c++11 -stdlib=libc++  -Wall cpp2011-14-5-5.cpp 
cpp2011-14-5-5.cpp:90:8: error: explicit specialization of non-template struct 'A1'
struct A1<T>::C1::B<T2*> { };
       ^ ~~~
cpp2011-14-5-5.cpp:90:15: error: no member named 'C1' in the global namespace
struct A1<T>::C1::B<T2*> { };
            ~~^
cpp2011-14-5-5.cpp:91:3: error: expected unqualified-id
A1<short>::C1::B<int*> absip; // uses partial specialization
  ^
cpp2011-14-5-5.cpp:96:10: error: no member named 'A2' in namespace 'N'
using N::A2; // refers to the primary template
      ~~~^
cpp2011-14-5-5.cpp:98:25: error: explicit specialization of non-template class 'A2'
template<class T> class A2<T, T*> { }; // partial specialization
                        ^ ~~~~~~~
cpp2011-14-5-5.cpp:100:1: error: no template named 'A2'; did you mean 'N::A2'?
A2<int,int*> a; // uses the partial specialization, which is found through
^~
N::A2
cpp2011-14-5-5.cpp:98:25: note: 'N::A2' declared here
template<class T> class A2<T, T*> { }; // partial specialization
                        ^
cpp2011-14-5-5.cpp:100:1: error: too many template arguments for class template 'A2'
A2<int,int*> a; // uses the partial specialization, which is found through
^      ~~~~~
cpp2011-14-5-5.cpp:98:25: note: template is declared here
template<class T> class A2<T, T*> { }; // partial specialization
~~~~~~~~~~~~~~~~~       ^
>7 errors generated.
//1.2 gcc: g++-4.9 -std=c++11 -Wall cpp2011-14-5-5.cpp 
cpp2011-14-5-5.cpp:90:8: error: 'A1' is not a class template
 struct A1<T>::C1::B<T2*> { };
        ^
cpp2011-14-5-5.cpp:90:8: error: 'A1' has not been declared
cpp2011-14-5-5.cpp:90:20: error: expected unqualified-id before '<' token
 struct A1<T>::C1::B<T2*> { };
                    ^
cpp2011-14-5-5.cpp:91:1: error: 'A1' does not name a type
 A1<short>::C1::B<int*> absip; // uses partial specialization
 ^
cpp2011-14-5-5.cpp:96:10: error: 'N::A2' has not been declared
 using N::A2; // refers to the primary template
          ^
cpp2011-14-5-5.cpp:98:25: error: 'A2' is not a class template
 template<class T> class A2<T, T*> { }; // partial specialization
                         ^
cpp2011-14-5-5.cpp:100:1: error: 'A2' does not name a type
 A2<int,int*> a; // uses the partial specialization, which is found through
 ^