我可以在不重复签名的情况下实例化模板吗？

我想用长签名实例化一些函数：

template<typename T> void foo(
    T& t,
    SomeType some_parameter,
    AnotherType another_parameter,
    EtcType yet_another_parameter,
    AsYouCanTell this_is_a_very_long_signature);

实例化foo的简单方法是：

template void foo<int>(
    int& t,
    SomeType some_parameter,
    AnotherType another_parameter,
    EtcType yet_another_parameter,
    AsYouCanTell this_is_a_very_long_signature);

但这是长签名的副本。如果我想要针对5种不同类型的特定实例化，我需要复制5次吗？这说不通...

我在想也许我可以写

template decltype(foo<int>);

但由于某些原因，这不起作用。我能以某种方式让它工作吗？

---

解决方案

您确实可以实例化您的函数，而无需重复其签名--但语法略有不同：

template
decltype(foo<int>) foo<int>;

decltype提供的是类型，但显式实例化需要声明，该声明是后跟名称的类型。

试用GCC 4.9.1；工作正常，即使带-pedantic标志，编译也没有任何警告。