为什么我不能将模板参数传递给另一个模板？

Question

好的，我将举一个简单的例子来说明我的问题：

void Increment(Tuple<int, int>& tuple) {
    ++tuple.Get<0>();
}

int main() {

    Tuple<int, int> tuple;

    tuple.Get<0>() = 8;

    Increment(tuple);

    printf("%i\n", tuple.Get<0>()); // prints 9, as expected

    return 0;

}

这编译得很好，一切都很好。 Increment 函数只是增加元组中的第一个元素，然后我打印该元素。但是，如果我的 Increment 函数可以用于任何类型的元素，那不是很好吗？

template <typename T>
void Increment(Tuple<T, T>& tuple) {
    ++tuple.Get<0>(); // <-- compile ERROR
}

int main() {

    Tuple<int, int> tuple;

    tuple.Get<0>() = 8;

    Increment<int>(tuple);

    printf("%i\n", tuple.Get<0>());

    return 0;

}

我的第二个示例在编译时出现以下错误：

error: expected primary-expression before ')' token

我正想方设法弄清楚这会导致问题的原因。由于模板参数是“int”，因此生成的代码应该与我的硬编码示例相同。我怎样才能让它工作？

Answer 1

应该是：

++tuple.template Get<0>();

与您需要typename 指定从依赖类型限定的类型一样，您需要template 指定从依赖类型限定的模板函数。

Answer 2

由于 GMan 已经为您提供了正确的 answer，您仍然可以做的一件事是：您可以简单地编写 Increment(tuple) 而不是 Increment<int>(tuple)（后者的语法看起来有点复杂）。编译器足够智能，可以从 tuple 的 type 推断 function-template-type。

看到这个：http://www.ideone.com/juNOg