接続数

COUNTER379252FROM 2012/5/16

MISRA-C diary(C言語日誌)

MISRA-C >> Article details

2014/06/17

C++N3242, 2011(148) 14.3 Template arguments

Tweet ThisSend to Facebook | by kaizen
// 1 filename:cpp2011-14-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.3 Template arguments
// (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-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-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;

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
};
//error: 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>
//error: String* q; // syntax error, error: unknown type name 'String'; did you mean 'string'?
template<class ... Elements> class Tuple;
Tuple<>* t; // OK: Elements is empty
//error: Tuple* u; // syntax error,  use of class template 'Tuple' requires template arguments
//
template<class T> struct A {
~A();
};
void f(A<int>* p, A<int>* q) {
p->A<int>::~A(); // OK: destructor call
q->A<int>::~A<int>(); // OK: destructor call
}

int main() {
cout << "14 Templates 14.3 Template arguments" << std::endl;
return 0;
}
// 1 error
// 1.1 llvm: c++ -std=c++11 -stdlib=libc++  -Wall cpp2011-14-3.cpp 
cpp2011-14-3.cpp:111:18: error: 'S' is a private member of 'B<int>'
typename T<int>::S s;
                 ^
cpp2011-14-3.cpp:117:6: note: in instantiation of template class 'A<B>' requested here
A<B> b; // ill-formed: A has no access to B::S
     ^
cpp2011-14-3.cpp:115:8: note: declared private here
struct S { /* ... */ };
       ^
cpp2011-14-3.cpp:126:16: error: template parameter has a different kind in template redeclaration
template<class T> struct A {
               ^
cpp2011-14-3.cpp:110:37: note: previous template declaration is here
template <template <class TT> class T> class A {
                                    ^
cpp2011-14-3.cpp:129:10: error: template argument for template template parameter must be a class template or type alias template
void f(A<int>* p, A<int>* q) {
         ^
cpp2011-14-3.cpp:129:21: error: template argument for template template parameter must be a class template or type alias template
void f(A<int>* p, A<int>* q) {
                    ^
cpp2011-14-3.cpp:104:6: warning: private field 'x' is not used [-Wunused-private-field]
X<S> x; // OK: S is accessible
     ^
>1 warning and 4 errors generated.
//1.2 gcc: g++-4.9 -std=c++11 -Wall cpp2011-14-3.cpp 
cpp2011-14-3.cpp: In instantiation of 'class A<B>':
cpp2011-14-3.cpp:117:6:   required from here
cpp2011-14-3.cpp:115:8: error: 'struct B<int>::S' is private
 struct S { /* ... */ };
        ^
cpp2011-14-3.cpp:111:20: error: within this context
 typename T<int>::S s;
                    ^
cpp2011-14-3.cpp:110:37: error: template parameter 'template<class TT> class T'
 template <template <class TT> class T> class A {
                                     ^
cpp2011-14-3.cpp:126:26: error: redeclared here as 'class T'
 template<class T> struct A {
                          ^
cpp2011-14-3.cpp:129:13: error: type/value mismatch at argument 1 in template parameter list for 'template<template<class TT> class T> class A'
 void f(A<int>* p, A<int>* q) {
             ^
cpp2011-14-3.cpp:129:13: error:   expected a class template, got 'int'
cpp2011-14-3.cpp:129:24: error: type/value mismatch at argument 1 in template parameter list for 'template<template<class TT> class T> class A'
 void f(A<int>* p, A<int>* q) {
                        ^
cpp2011-14-3.cpp:129:24: error:   expected a class template, got 'int'
cpp2011-14-3.cpp: In function 'void f(int*, int*)':
cpp2011-14-3.cpp:130:9: error: type/value mismatch at argument 1 in template parameter list for 'template<template<class TT> class T> class A'
 p->A<int>::~A(); // OK: destructor call
         ^
cpp2011-14-3.cpp:130:9: error:   expected a class template, got 'int'
cpp2011-14-3.cpp:130:13: error: '<expression error>::A' has not been declared
 p->A<int>::~A(); // OK: destructor call
             ^
cpp2011-14-3.cpp:131:9: error: type/value mismatch at argument 1 in template parameter list for 'template<template<class TT> class T> class A'
 q->A<int>::~A<int>(); // OK: destructor call
         ^
cpp2011-14-3.cpp:131:9: error:   expected a class template, got 'int'
cpp2011-14-3.cpp:131:13: error: '<expression error>::A' has not been declared
 q->A<int>::~A<int>(); // OK: destructor call
             ^
cpp2011-14-3.cpp:131:15: error: expected primary-expression before 'int'
 q->A<int>::~A<int>(); // OK: destructor call
               ^


13:20 | Impressed! | Voted(0) | Comment(0)