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

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

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

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

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

#ifndef__MEMFUNTEMPLATE_H__

#define__MEMFUNTEMPLATE_H__

#include<stdio.h>

classBase{};

classDerived:publicBase{};

structFunctor{

template<typenameT>voidfunction(){

printf("Primarytemplate.\n");

}

template<>

voidfunction<int>(){

printf("Specializationforint.\n");

}

template<>voidfunction<Base*>(){

printf("SpecializationforBase*.\n");

}

};

classTester{

public:

staticvoidDoTest()

{

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>explicitspecializationinnon-namespacescope</strong>‘structFunctor’

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

../src/MemFunTemplate.h:26:14:error:explicitspecializationinnon-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_

#defineMEMFUNTEMPLATE_H_

#include<stdio.h>

template<typenameT>

structDummyIdentity{

typedefTtype;

};

classBase{};

classDerived:publicBase{};

structFunctor{

template<typenameT>voidfunction(){

function(DummyIdentity<T>());

}

private:

template<typenameT>

voidfunction(DummyIdentity<T>){

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

}

voidfunction(DummyIdentity<int>){

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

}

voidfunction(DummyIdentity<Base*>){

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

}

};

classTester{

public:

staticvoidDoTest()

{

Functorfunctor;

functor.function<char>();

functor.function<int>();

functor.function<Base*>();

functor.function<Derived*>();

}

};

#endif/*MEMFUNTEMPLATE_H_*/

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

PrimarytemplateDummyIdentity<T>.

overloadfunctionforDummyIdentity<int>.

overloadfunctionforDummyIdentity<Base*>.

PrimarytemplateDummyIdentity<T>.

注意：

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

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