C++(VS2015)模板显式特化之template语法深入理解
首先说下遇到的情况:
这里在vc++6.0上建立了一个自定义模板类,再去覆盖这个类,分别使用部分覆盖,整体覆盖
但在vs2015上去整体覆盖类会报错。
错误如下:
错误原因:个人感觉是新版本的vs更接近与标准c++,有更好的解释欢迎留言,谢谢
解决方法:
网上有类似的问题出现,C++标准文件(ISO/IEC 14882:2003)中这句很重要
所以自己的代码就差在覆盖类前加template<>
感兴趣的可以看下面的转载说明:https://blog.csdn.net/wdsm/article/details/7506712 写的挺好的,这里也有转载及附带声明
////////////////////////////////////////////////////////////////////////////////////////////////////////
最近在拜读侯捷老师的《STL源码剖析》,本着勤于实践的指导思想,使用gcc和vc分别编译运行了第27页的程序,此程序是用来测试SGI STL中的__STL_STATIC_TEMPLATE_MEMBER_BUG宏的。其代码如下:
#include<iostream>
using namespace std;
template<class T>
class testclass
{
public:
static int _data;
};
int testclass<int>::_data = 1;
int testclass<char>::_data = 2;
int main()
{
cout << testclass<int>::_data << endl;
cout << testclass<char>::_data << endl;
testclass<int> obji1, obji2;
testclass<char> objc1, objc2;
cout << obji1._data << endl;
cout << obji2._data << endl;
cout << objc1._data << endl;
cout << objc2._data << endl;
obji1._data = 3;
objc2._data = 4;
cout << obji1._data << endl;
cout << obji2._data << endl;
cout << objc1._data << endl;
cout << objc2._data << endl;
return 0;
}
起初我使用的GCC是2.95.3-5(cygwin special)版本,一切如我所预料,编译运行顺利通过。然而,一时头脑发热,我想在较新版本上试试程序效果,使用MINGW32 gcc 4.5.4版本编译器——通过GNU官方资料来看,本版对C++ 03版本中规定的语言特性几乎全部支持。结果,在编译的时候,出现了如下错误提示:
D:\mingw32\bin>gcc c:\cygwin\home\config3.cpp -o c:\test.exe
c:\cygwin\home\config3.cpp:11:5: error: specializing member 'testclass<int>::_data' requires 'template<>' syntax
c:\cygwin\home\config3.cpp:12:5: error: specializing member 'testclass<char>::_data' requires 'template<>' syntax
这是为什么呢?我又将代码放到VS2008和VC6环境下测试,顺利编译通过。看过上面的错误提示信息之后倒是提醒我,testclass<int>类似的写法表明我们针对testclass模板类进行了一次模板参数特化(explicit specialization)操作,按照c++教科书上面所说,模板特化操作语句前面需要加“template<>”修饰符。为了弄清楚真相,搬出C++标准文件(ISO/IEC 14882:2003)来,第14.7.3章节中明确的描述了模板特化语法为“template<>”形式前缀,以此告诉编译器这是一个模板特化行为。但是事情似乎总是存在例外,静态变量初始化操作中“template<>”形式语法在如下所述的情况中是不能够出现的,引用标准中原文如下:
A member of an explicitly specialized class is not implicitly instantiated from the member declaration of
the class template; instead, the member of the class template specialization shall itself be explicitly defined.
In this case, the definition of the class template explicit specialization shall be in scope at the point of decla-ration of the explicit specialization of the member. The definition of an explicitly specialized class is unre-lated to the definition of a generated
specialization. That is, its members need not have the same names,
types, etc. as the members of the a generated specialization. Definitions of members of an explicitly spe-cialized class are defined in the same manner as members of normal classes, and not using the explicit specialization syntax. [Example:
template<class T> struct A {
void f(T) { /* ... */ }
};
template<> struct A<int> {
void f(int);
};
void h()
{
A<int> a;
a.f(16); // A<int>::f must be defined somewhere
}
//explicit specialization syntax not used for a member of
//explicitly specialized class template specialization
void A<int>::f() { /* ... */ }
—end example]
简洁点讲,上文是说在定义特化类中的成员函数或是静态成员变量初始化等操作的时候,不需要“template<>”前缀。为了检验此特性,将先前的代码稍作修改:
#include<iostream>
using namespace std;
template<class T>
class testclass
{
public:
static int _data;
};
template<>
class testclass<int>
{
public:
static int _data;
};
int testclass<int>::_data = 1;
template<> int testclass<char>::_data = 2;
int main()
{
cout << testclass<int>::_data << endl;
cout << testclass<char>::_data << endl;
testclass<int> obji1, obji2;
testclass<char> objc1, objc2;
cout << obji1._data << endl;
cout << obji2._data << endl;
cout << objc1._data << endl;
cout << objc2._data << endl;
obji1._data = 3;
objc2._data = 4;
cout << obji1._data << endl;
cout << obji2._data << endl;
cout << objc1._data << endl;
cout << objc2._data << endl;
return 0;
}
以上程序在gcc 2.95.3版本、gcc 4.5.4版本、VS2008和VC6下面编译测试通过。
综上所述,MS系列的编译器对C++标准的支持程度应该还是逊色于gcc(作者个人观点)。
///////////////////////////////////////////////////////////////////////////
//////////////转载文章//////////////////https://blog.csdn.net/wdsm/article/details/7506712
C++(VS2015)模板显式特化之template语法深入理解的更多相关文章
- C++模板显式实例化,隐式实例化,特化(具体化,偏特化)辨析
最近再次看C++ PRIMER PLUS的时候看到这个部分感觉讲得很烂,前后口径不一致,所以写个辨析让自己明白的同时也希望对此不太清楚的朋友能搞懂. 总结一下,C++只有模板显式实例化(explici ...
- C++学习笔记36 (模板的细节明确template specialization)和显式实例(template instantiation)
C++有时模板很可能无法处理某些类型的. 例如: #include <iostream> using namespace std; class man{ private: string n ...
- item 6: 当auto推导出一个不想要的类型时,使用显式类型初始化的语法
本文翻译自<effective modern C++>,由于水平有限,故无法保证翻译完全正确,欢迎指出错误.谢谢! 博客已经迁移到这里啦 Item 5解释了比起显式指定类型,使用auto来 ...
- C++语言基础(19)-模板的显式具体化
应用背景: 例如有下面的函数模板,它用来获取两个变量中较大的一个: template<class T> const T& Max(const T& a, const T&a ...
- C++的模板特化 和 STL中iterator_traits模板的偏特化
C++中有类模板和函数模板,它们的定义如下所示: 类模板: template<class T1,class T2> class C { //... }; 函数模板: template< ...
- C++ - 模板类模板成员函数(member function template)隐式处理(implicit)变化
模板类模板成员函数(member function template)隐式处理(implicit)变化 本文地址: http://blog.csdn.net/caroline_wendy/articl ...
- C++模板元编程(C++ template metaprogramming)
实验平台:Win7,VS2013 Community,GCC 4.8.3(在线版) 所谓元编程就是编写直接生成或操纵程序的程序,C++ 模板给 C++ 语言提供了元编程的能力,模板使 C++ 编程变得 ...
- Effective Modern C++翻译(7)-条款6:当auto推导出意外的类型时,使用显式的类型初始化语义
条款6:当auto推导出意外的类型时,使用显式的类型初始化语义 条款5解释了使用auto来声明变量比使用精确的类型声明多了了很多的技术优势,但有的时候,当你想要zag的时候,auto可能会推导出了zi ...
- [Effective Modern C++] Item 6. Use the explicitly typed initializer idiom when auto deduces undesired types - 当推断意外类型时使用显式的类型初始化语句
条款6 当推断意外类型时使用显式的类型初始化语句 基础知识 当使用std::vector<bool>的时候,类型推断会出现问题: std::vector<bool> featu ...
随机推荐
- 终于弄明白了 Singleton,Transient,Scoped 的作用域是如何实现的
一:背景 1. 讲故事 前几天有位朋友让我有时间分析一下 aspnetcore 中为什么向 ServiceCollection 中注入的 Class 可以做到 Singleton,Transient, ...
- chromevue扩展 vue-devtools-master 谷歌vue的扩展程序
1,在百度网盘中下载压缩包,网盘地址:https://pan.baidu.com/s/1BnwWHANHNyJzG3Krpy7S8A ,密码:xm6s 2,将压缩包解压到F盘,F:\chromeVue ...
- AndroidStudio与eclipse打包的时候报错。Error:(4) Error: "ssdk_instapager_login_html" is not translated in "en"
作者:程序员小冰,CSDN博客:http://blog.csdn.net/qq_21376985 QQ986945193 博客园主页:http://www.cnblogs.com/mcxiaobing ...
- Fitness - 06.01
倒计时213天 久违的瑜伽课,却发现生疏了很多,倒地不起TAT 要加强锻炼,不要松懈啊~~~! 期待黄金周的到来!!
- webpack跨域配置处理
打开config->index.js 配置其中的proxyTable module.exports = { dev: { // Paths assetsSubDirectory: 'static ...
- vue bus 中央事件总线
1.全局定义bus 新建src/eventBus.js 文件 import Vue from 'vue' export default new Vue() // 全局引入mai.jsvue中央事件总 ...
- shell 文件判断
文件判断参数 -e,文件是否存在 -f,文件存在且为普通文件 -d,文件存在且为文件夹 #!/bin/bash [ -e test.sh ] && echo "test.sh ...
- TP6.0 一对多模型关联 hasMany
本文测试关联方法都采用预载入查询 $data = Article::with('comments')->select(); halt($data->toArray()); 1. 创建数据表 ...
- CentOS6.10下安装MongoDB和Redis
安装mongodb 首先考虑离线安装,但是安装过程中在启动服务的时候出现了问题,centOS出于稳定原因考虑,系统自带的glibc版本过低, 而编译需要使用较高版本,这个问题我查询了一下,需要升级gl ...
- 对vue的初步学习
vue: vue:一个mvvm框架(库),和angular类似 比较容易上手 指令以v=xxx 一片html代码配合接送,在new一个vue实例 适合:移动端,小巧 vue基本雏形 v-model 一 ...