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

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已经给你正确的答案,你仍然可以做的一件事是:你可以简单地写Increment(tuple)而不是Increment<int>(tuple)(后一种语法看起来有点复杂).编译器足够智能,可以从类型中推断出函数模板类型tuple.

见:http://www.ideone.com/juNOg