// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf
#define msg "(168)14.3 Template arguments [temp.arg]p352.cpp"
// Edited by Dr. Ogawa Kiyoshi. Compile procedure and results record.

#include <iostream>

template<class T> class Array {
T* v;
int sz;
public:
explicit Array(int);
T& operator[](int);
T& elem(int i) { return v[i]; }
};
Array<int> v1(20);
typedef std::complex<double> dcomplex; // std::complex is a standard
// library template
Array<dcomplex> v2(30);
Array<dcomplex> v3(40);
void bar() {
v1[3] = 7;
v2[3] = v3.elem(4) = dcomplex(7,8);
}

template<class T> void f();
template<int I> void f();
void g() {
f<int()>(); // int() is a type-id: call the first f()
}

template<class T> class X {
static T t;
};
class Y {
private:
struct S { /* ... */ };
X<S> x; // OK: S is accessible
// X<Y::S> has a static member of type Y::S
// OK: even though Y::S is private
};
X<Y::S> y; // error: S not accessible

template <template <class TT> class T> class A {
typename T<int>::S s;
};
template <class U> class B {
private:
struct S { /* ... */ };
};
A<B> b; // ill-formed: A has no access to B::S

template<class T = char> class String;
String<>* p; // OK: String<char>
String* q; // syntax error
template<class ... Elements> class Tuple;
Tuple<>* t; // OK: Elements is empty
Tuple* u; // syntax error

template<class T> struct A2 {
~A2();
};
void f(A2<int>* p, A2<int>* q) {
p->A2<int>::~A2(); // OK: destructor call
q->A2<int>::~A2<int>(); // OK: destructor call
}

template<typename T, typename U = int> struct S { };
S<bool>* p; // the type of p is S<bool, int>*

int main() {
  std::cout<< msg << std::endl;
  return EXIT_SUCCESS;
}

$ ./cppgl17.sh p352
$ clang++ p352.cpp
p352.cpp:17:14: error: no template named 'complex' in namespace 'std'
typedef std::complex<double> dcomplex; // std::complex is a standard
        ~~~~~^
p352.cpp:23:22: error: excess elements in scalar initializer
v2[3] = v3.elem(4) = dcomplex(7,8);
                     ^         ~~
p352.cpp:42:6: error: 'S' is a private member of 'Y'
X<Y::S> y; // error: S not accessible
     ^
p352.cpp:37:8: note: declared private here
struct S { /* ... */ };
       ^
p352.cpp:45:18: error: 'S' is a private member of 'B<int>'
typename T<int>::S s;
                 ^
p352.cpp:51:6: note: in instantiation of template class 'A<B>' requested here
A<B> b; // ill-formed: A has no access to B::S
     ^
p352.cpp:49:8: note: declared private here
struct S { /* ... */ };
       ^
p352.cpp:55:7: error: cannot form pointer to deduced class template specialization type
String* q; // syntax error
      ^
p352.cpp:55:9: error: declaration of variable 'q' with deduced type 'String *' requires an initializer
String* q; // syntax error
        ^
p352.cpp:58:6: error: cannot form pointer to deduced class template specialization type
Tuple* u; // syntax error
     ^
p352.cpp:58:8: error: declaration of variable 'u' with deduced type 'Tuple *' requires an initializer
Tuple* u; // syntax error
       ^
p352.cpp:69:10: error: redefinition of 'p' with a different type: 'S<bool> *' vs 'String<> *'
S<bool>* p; // the type of p is S<bool, int>*
         ^
p352.cpp:54:11: note: previous definition is here
String<>* p; // OK: String<char>
          ^
9 errors generated.

$ g++-7 p352.cpp
p352.cpp:17:14: error: 'complex' in namespace 'std' does not name a template type
 typedef std::complex<double> dcomplex; // std::complex is a standard
              ^~~~~~~
p352.cpp:19:7: error: 'dcomplex' was not declared in this scope
 Array<dcomplex> v2(30);
       ^~~~~~~~
p352.cpp:19:7: note: suggested alternative: 'double'
 Array<dcomplex> v2(30);
       ^~~~~~~~
       double
p352.cpp:19:15: error: template argument 1 is invalid
 Array<dcomplex> v2(30);
               ^
p352.cpp:20:7: error: 'dcomplex' was not declared in this scope
 Array<dcomplex> v3(40);
       ^~~~~~~~
p352.cpp:20:7: note: suggested alternative: 'double'
 Array<dcomplex> v3(40);
       ^~~~~~~~
       double
p352.cpp:20:15: error: template argument 1 is invalid
 Array<dcomplex> v3(40);
               ^
p352.cpp: In function 'void bar()':
p352.cpp:23:5: error: invalid types 'int[int]' for array subscript
 v2[3] = v3.elem(4) = dcomplex(7,8);
     ^
p352.cpp:23:12: error: request for member 'elem' in 'v3', which is of non-class type 'int'
 v2[3] = v3.elem(4) = dcomplex(7,8);
            ^~~~
p352.cpp:23:22: error: 'dcomplex' was not declared in this scope
 v2[3] = v3.elem(4) = dcomplex(7,8);
                      ^~~~~~~~
p352.cpp:23:22: note: suggested alternative: 'double'
 v2[3] = v3.elem(4) = dcomplex(7,8);
                      ^~~~~~~~
                      double
p352.cpp: At global scope:
p352.cpp:42:1: error: 'struct Y::S' is private within this context
 X<Y::S> y; // error: S not accessible
 ^~~~~~~
p352.cpp:37:8: note: declared private here
 struct S { /* ... */ };
        ^
p352.cpp: In instantiation of 'class A<B>':
p352.cpp:51:6:   required from here
p352.cpp:45:20: error: 'struct B<int>::S' is private within this context
 typename T<int>::S s;
                    ^
p352.cpp:49:8: note: declared private here
 struct S { /* ... */ };
        ^
p352.cpp:55:1: error: template placeholder type 'String' must be followed by a simple declarator-id
 String* q; // syntax error
 ^~~~~~
p352.cpp:53:32: note: 'template<class T> class String' declared here
 template<class T = char> class String;
                                ^~~~~~
p352.cpp:55:9: error: 'String<> q' has incomplete type
 String* q; // syntax error
         ^
p352.cpp:58:1: error: template placeholder type 'Tuple' must be followed by a simple declarator-id
 Tuple* u; // syntax error
 ^~~~~
p352.cpp:56:36: note: 'template<class ... Elements> class Tuple' declared here
 template<class ... Elements> class Tuple;
                                    ^~~~~
p352.cpp:58:8: error: 'Tuple<> u' has incomplete type
 Tuple* u; // syntax error
        ^
p352.cpp:69:10: error: conflicting declaration 'S<bool>* p'
 S<bool>* p; // the type of p is S<bool, int>*
          ^
p352.cpp:54:11: note: previous declaration as 'String<>* p'
 String<>* p; // OK: String<char>
           ^           ^

#!/bin/bash
astyle -s2 -c < $1.cpp > $1s2.cpp