2

我一直在寻找一个明确的答案,我只是从网络上捕捉点点滴滴。

我有一个函数,它需要根据类型变量采取不同的行动。该函数不接受任何参数,因此重载不起作用,导致模板特化。例如:

//Calls to this function would work like this:
int a = f();
int b = f<int>();
int c = f<char>();
//...

首先,这在语法上是否可行?我觉得是的。继续。

我在定义这个函数时遇到了问题,因为我对显式专业化的语法很感兴趣。我尝试了许多不同的方法,但我什至还没有一个简单的例子可以工作。

其次,我试图(最终)将该模板函数变成(非模板)类的模板方法。当我到达那里时,我会越过那座桥。

谢谢,
伊恩

4

2 回答 2

3

好吧,这是可能的,但不是更好的事情之一。显式模板函数特化有点暗角,但您可以这样做:

template< typename T > int f(){ ... }

template<> int f<int>(){ ... }
template<> int f<char>(){ ... }

一些相关阅读:http ://www.gotw.ca/gotw/049.htm

于 2012-05-18T01:56:17.137 回答
2

首先,这在语法上是否可行?我觉得是的。

是的,但不要使事情过于复杂——这只需要简单的重载:

int f()
{
    return /* default, typeless implementation */;
}

template<typename T>
int f()
{
    return /* type-specific implementation */;
}

template<>
int f<char>()
{
    return /* char implementation */;
}

template<>
int f<int>()
{
    return /* int implementation */;
}
于 2012-05-18T02:02:56.953 回答