显式模板函数和方法特化

Question

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

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

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

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

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

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

Answer 1

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

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

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

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

Answer 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 */;
}