接続数

COUNTER367261FROM 2012/5/16

MISRA-C diary(C言語日誌)

MISRA-C >> Article details

2014/06/17

C++N3242, 2011(145a) 14.1 Template parameters(全部)

Tweet ThisSend to Facebook | by kaizen
// 1 filename:cpp2011-14-1.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.1 Template parameters
// (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-1.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-1.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 myarray { /* ... */ };
template<class K, class V, template<class T> class C = myarray>
class Map {
C<K> key;
C<V> value;
};
//
class T { /* ... */ };
int i;
template<class T, T i> void f(T t) {
T t1 = i; // template-parameters T and i
::T t2 = ::i; // global namespace members T and i
}
//
template<const X& x, int i> void f() {
//error: i++; // error: change of template-parameter value
&x; // OK
//error: &i; // error: address of non-reference template-parameter
//error: int& ri = i; // error: non-const reference bound to temporary
const int& cri = i; // OK: const reference bound to temporary
}
//
//error: template<double d> class X; // error
template<double* pd> class Y; // OK
template<double& rd> class Z; // OK
//
template<int *a> struct R { /* ... */ };
template<int b[5]> struct S { /* ... */ };
int p;
R<&p> w; // OK
S<&p> x; // OK due to parameter adjustment
int v[5];
R<v> y; // OK due to implicit argument conversion
S<v> z; // OK due to both adjustment and conversion
//
template<class T1, class T2 = int> class A;
template<class T1 = int, class T2> class A;
//
template<class T1 = int, class T2 = int> class A;
//
template<class T = int> class X;
//error: template<class T = int> class X { /*... */ }; // error, template parameter has a different kind in template redeclaration
//
//error: template<int i = 3 > 4 > // syntax error, expected unqualified-id
class X1 { /* ... */ };
template<int i = (3 > 4) > // OK
class Y1 { /* ... */ };
//
template <class T = float> struct B {};
template <template <class TT = float> class T> struct A {
inline void f();
inline void g();
};
template <template <class TT> class T> void A<T>::f() {
T<> t; // error - TT has no default template argument
}
template <template <class TT = char> class T> void A<T>::g() {
T<> t; // OK - T<char>
}
//
template <class... Types> class Tuple; // Types is a template type parameter pack
template <class T, int... Dims> struct multi_array; // Dims is a non-type template parameter pack

int main() {
cout << "14 Templates 14.1 Template parameters" << std::endl;
return 0;
}
// 1 error
// 1.1 llvm: c++ -std=c++11 -stdlib=libc++  -Wall cpp2011-14-1.cpp 
//cpp2011-14-1.cpp:85:5: error: no viable conversion from 'int' to '::T'
//::T t2 = ::i; // global namespace members T and i
//    ^    ~~~
//cpp2011-14-1.cpp:81:7: note: candidate constructor (the implicit copy constructor) not viable: no known conversion from 'int' to 'const T &' for 1st argument
//class T { /* ... */ };
//      ^
//cpp2011-14-1.cpp:81:7: note: candidate constructor (the implicit move constructor) not viable: no known conversion from 'int' to 'T &&' for 1st argument
//class T { /* ... */ };
//      ^
cpp2011-14-1a.cpp:88:16: error: unknown type name 'X'
template<const X& x, int i> void f() {
               ^
cpp2011-14-1a.cpp:90:1: warning: expression result unused [-Wunused-value]
&x; // OK
^~
cpp2011-14-1a.cpp:93:12: warning: unused variable 'cri' [-Wunused-variable]
const int& cri = i; // OK: const reference bound to temporary
           ^
cpp2011-14-1a.cpp:112:21: error: template parameter redefines default argument
template<class T1 = int, class T2 = int> class A;
                    ^
cpp2011-14-1a.cpp:110:21: note: previous default template argument defined here
template<class T1 = int, class T2> class A;
                    ^
cpp2011-14-1a.cpp:112:37: error: template parameter redefines default argument
template<class T1 = int, class T2 = int> class A;
                                    ^
cpp2011-14-1a.cpp:109:31: note: previous default template argument defined here
template<class T1, class T2 = int> class A;
                              ^
cpp2011-14-1a.cpp:123:1: error: too few template parameters in template redeclaration
template <template <class TT = float> class T> struct A {
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
cpp2011-14-1a.cpp:112:1: note: previous template declaration is here
template<class T1 = int, class T2 = int> class A;
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
cpp2011-14-1a.cpp:127:47: error: use of class template 'T' requires template arguments
template <template <class TT> class T> void A<T>::f() {
                                              ^
cpp2011-14-1a.cpp:127:37: note: template is declared here
template <template <class TT> class T> void A<T>::f() {
                                    ^
>2 warnings and 6 errors generated.
// 1.2 gcc: g++-4.9 -std=c++11 -Wall cpp2011-14-1a.cpp 
cpp2011-14-1a.cpp:88:16: error: 'X' does not name a type
 template<const X& x, int i> void f() {
                ^
cpp2011-14-1a.cpp:97:1: error: expected '>' before 'template'
 template<double* pd> class Y; // OK
 ^
cpp2011-14-1a.cpp:97:29: error: expected unqualified-id before ';' token
 template<double* pd> class Y; // OK
                             ^
cpp2011-14-1a.cpp:112:48: error: redefinition of default argument for 'class T1'
 template<class T1 = int, class T2 = int> class A;
                                                ^
cpp2011-14-1a.cpp:109:10: note: original definition appeared here
 template<class T1, class T2 = int> class A;
          ^
cpp2011-14-1a.cpp:123:55: error: redeclared with 1 template parameter
 template <template <class TT = float> class T> struct A {
                                                       ^
cpp2011-14-1a.cpp:109:42: note: previous declaration 'template<class T1, class T2> class A' used 2 template parameters
 template<class T1, class T2 = int> class A;
                                          ^
cpp2011-14-1a.cpp:127:48: error: type/value mismatch at argument 1 in template parameter list for 'template<class T1, class T2> class A'
 template <template <class TT> class T> void A<T>::f() {
                                                ^
cpp2011-14-1a.cpp:127:48: error:   expected a type, got 'T'
cpp2011-14-1a.cpp: In function 'void f()':
cpp2011-14-1a.cpp:128:3: error: wrong number of template arguments (0, should be 1)
 T<> t; // error - TT has no default template argument
   ^
cpp2011-14-1a.cpp:127:37: error: provided for 'template<class TT> class T'
 template <template <class TT> class T> void A<T>::f() {
                                     ^
cpp2011-14-1a.cpp:128:6: error: invalid type in declaration before ';' token
 T<> t; // error - TT has no default template argument
      ^
cpp2011-14-1a.cpp: At global scope:
cpp2011-14-1a.cpp:130:55: error: type/value mismatch at argument 1 in template parameter list for 'template<class T1, class T2> class A'
 template <template <class TT = char> class T> void A<T>::g() {
                                                       ^
cpp2011-14-1a.cpp:130:55: error:   expected a type, got 'T'


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