让gcc支持成员函数模板的trick

让gcc支持成员函数模板的trick

罗朝辉 (http://blog.csdn.net/kesalin/)

本文遵循“ 署名-非商业用途-保持一致”创作公用协议

gcc 4.7.3 不支持成员函数模板特化。如下代码：

#ifndef__MEMFUNTEMPLATE_H__

#define __MEMFUNTEMPLATE_H__

#include<stdio.h>

class Base{};

class Derived:public Base{};

struct Functor{

template<typenameT> void function(){

printf("Primarytemplate .\n");

}

template<>

void function< int >(){

printf("Specializationforint .\n");

}

template<> void function<Base*>(){

printf("SpecializationforBase* .\n");

}

};

class Tester{

public :

static void DoTest()

{

Functorfunctor;

functor.function< char >();

functor.function< int >();

functor.function<Base*>();

functor.function<Derived*>();

}

};

#endif // __MEMFUNTEMPLATE_H__

在 VS2010 中编译运行是没有问题的，但在 gcc 4.7.3下，编译都通不过：

../src/MemFunTemplate.h:21:14:error:<strong> explicitspecialization innon- namespacescope</strong>‘ structFunctor’

../src/MemFunTemplate.h:22:24:error:template-id‘function< int>’ indeclarationofprimarytemplate

../src/MemFunTemplate.h:26:14:error: explicitspecialization innon- namespacescope‘ structFunctor’

../src/MemFunTemplate.h:26:38:error:template-id‘function<Base*>’ indeclarationofprimarytemplate

../src/MemFunTemplate.h:26:21:error:‘ voidFunctor::function()’cannotbeoverloaded

../src/MemFunTemplate.h:22:10:error:with‘ voidFunctor::function()’

../src/MemFunTemplate.cpp:Infunction‘ intmain()’:

../src/MemFunTemplate.cpp:17:2:error:‘DoTest’ isnotamemberof‘Functor’

为了达到近似成员函数模板特化的效果，可以利用成员函数主模板以及重载函数来实现：

/*

*MemFunTemplate.h

*

*Createdon:Jul12,2013

*Author: http://blog.csdn.net/kesalin/

*/

#ifndefMEMFUNTEMPLATE_H_

#define MEMFUNTEMPLATE_H_

#include<stdio.h>

template<typenameT>

struct DummyIdentity{

typedefTtype;

};

class Base{};

class Derived:public Base{};

struct Functor{

template<typenameT> void function(){

function(DummyIdentity<T>());

}

private :

template<typenameT>

void function(DummyIdentity<T>){

printf("PrimarytemplateDummyIdentity<T> .\n");

}

void function(DummyIdentity< int >){

printf("overloadfunctionforDummyIdentity<int> .\n");

}

void function(DummyIdentity<Base*>){

printf("overloadfunctionforDummyIdentity<Base*> .\n");

}

};

class Tester{

public :

static void DoTest()

{

Functorfunctor;

functor.function< char >();

functor.function< int >();

functor.function<Base*>();

functor.function<Derived*>();

}

};

#endif /*MEMFUNTEMPLATE_H_*/

调用 DoTest() 运行结果如下：

PrimarytemplateDummyIdentity<T> .

overloadfunction forDummyIdentity< int> .

overloadfunction forDummyIdentity<Base*> .

PrimarytemplateDummyIdentity<T> .

注意：

VS2010 版本的代码，模板形参为 T，在实例化不会进行隐式类型转换。即用Derived * 当作实参调用的是主模板，而不是 Base * 特化版本

而在 gcc 下，模板形参虽然也为T，但影响重载决议的 function 参数为：DummyIdentity<T>，用不同的实际参数实例化该模板，得到的是一堆重载函数。因此用Derived * 当作实参时，调用的函数自然就是实例化的void function(DummyIdentity<T>)了。