// 1 filename:cpp2011-14-5-6-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.5 Template declarations 14.5.6 Function templates 14.5.6.1 Function template overloading // (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-6-1.cpp cpp2011-14-5-6-1-f2.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-6-1.cpp cpp2011-14-5-6-1-f2.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 //#include //#include //#include //#include //#include //#include //#include //#include //#include //#include //#include //#include //#include using namespace std; // template A f(A, A); // #1 template A f(A, A); // same as #1 template A f(A, A); // different from #1 // template void f(A); // #1 template void f(A); // same as #1 // // Guaranteed to be the same template void f(A, A); template void f(A, A); // Guaranteed to be different template void f(A, A); template void f(A, A); // Ill-formed, no diagnostic required template void f(A, A); template void f(A, A); // file1.c template void f(T*); void g(int* p) { f(p); // calls f(int*) } // template void f(); template void f(); // OK: overloads the first template // distinguishable with an explicit template argument list int main() { cout << "14 Templates 14.5 Template declarations 14.5.6 Function templates 14.5.6.1 Function template overloading" << std::endl; return 0; } // 1 error // 1.1 llvm: c++ -std=c++11 -stdlib=libc++ -Wall cpp2011-14-5-6-1.cpp cpp2011-14-5-6-1.cpp:76:25: error: unknown type name 'A' template A f(A, A); // #1 ^ cpp2011-14-5-6-1.cpp:76:26: error: expected unqualified-id template A f(A, A); // #1 ^ cpp2011-14-5-6-1.cpp:77:25: error: unknown type name 'A' template A f(A, A); // same as #1 ^ cpp2011-14-5-6-1.cpp:77:26: error: expected unqualified-id template A f(A, A); // same as #1 ^ cpp2011-14-5-6-1.cpp:78:25: error: unknown type name 'A' template A f(A, A); // different from #1 ^ cpp2011-14-5-6-1.cpp:78:26: error: expected unqualified-id template A f(A, A); // different from #1 ^ cpp2011-14-5-6-1.cpp:80:30: warning: variable templates are a C++1y extension [-Wc++1y-extensions] template void f(A); // #1 ^ cpp2011-14-5-6-1.cpp:80:30: error: variable has incomplete type 'void' cpp2011-14-5-6-1.cpp:80:32: error: use of undeclared identifier 'A' template void f(A); // #1 ^ cpp2011-14-5-6-1.cpp:80:38: error: expected expression template void f(A); // #1 ^ cpp2011-14-5-6-1.cpp:81:30: warning: variable templates are a C++1y extension [-Wc++1y-extensions] template void f(A); // same as #1 ^ cpp2011-14-5-6-1.cpp:81:30: error: variable has incomplete type 'void' cpp2011-14-5-6-1.cpp:81:32: error: use of undeclared identifier 'A' template void f(A); // same as #1 ^ cpp2011-14-5-6-1.cpp:81:38: error: expected expression template void f(A); // same as #1 ^ cpp2011-14-5-6-1.cpp:84:23: warning: variable templates are a C++1y extension [-Wc++1y-extensions] template void f(A, A); ^ cpp2011-14-5-6-1.cpp:84:1: error: too few template parameters in template redeclaration template void f(A, A); ^~~~~~~~~~~~~~~~ cpp2011-14-5-6-1.cpp:81:1: note: previous template declaration is here template void f(A); // same as #1 ^~~~~~~~~~~~~~~~~~~~~~~ cpp2011-14-5-6-1.cpp:84:25: error: use of undeclared identifier 'A' template void f(A, A); ^ cpp2011-14-5-6-1.cpp:84:29: error: expected expression template void f(A, A); ^ cpp2011-14-5-6-1.cpp:85:23: warning: variable templates are a C++1y extension [-Wc++1y-extensions] template void f(A, A); ^ cpp2011-14-5-6-1.cpp:85:1: error: too few template parameters in template redeclaration template void f(A, A); ^~~~~~~~~~~~~~~~ cpp2011-14-5-6-1.cpp:81:1: note: previous template declaration is here template void f(A); // same as #1 ^~~~~~~~~~~~~~~~~~~~~~~ cpp2011-14-5-6-1.cpp:85:25: error: use of undeclared identifier 'A' template void f(A, A); ^ cpp2011-14-5-6-1.cpp:85:29: error: expected expression template void f(A, A); ^ cpp2011-14-5-6-1.cpp:87:23: warning: variable templates are a C++1y extension [-Wc++1y-extensions] template void f(A, A); ^ cpp2011-14-5-6-1.cpp:87:1: error: too few template parameters in template redeclaration template void f(A, A); ^~~~~~~~~~~~~~~~ cpp2011-14-5-6-1.cpp:81:1: note: previous template declaration is here template void f(A); // same as #1 ^~~~~~~~~~~~~~~~~~~~~~~ fatal error: too many errors emitted, stopping now [-ferror-limit=] 5 warnings and 20 errors generated.