依赖 scope 内的 C++ 可变参数模板语法

Question

我对现实世界的代码有疑问，并使用以下示例代码复制了该问题。

#include <iostream>
#include <tuple>

using namespace std;

struct Identity
{
    template <typename... T>
    static std::tuple<T...> Apply(T... val)
    {
        return std::tuple(val...);
    }
};

template <typename F, typename... T>
std::tuple<T...> Apply(T... t)
{
    return F::Apply<T...>(t...);
}

int main()
{
    const auto t = Apply<Identity>(1., 2., 3.);
    cout << std::get<0>(t);
    cout << std::get<1>(t);
    cout << std::get<2>(t);
    return 0;
}

编译错误：

main.cpp:26:22: error: expected primary-expression before ‘...’ token
     return F::Apply<T...>(t...);
                      ^~~
main.cpp:26:22: error: expected ‘;’ before ‘...’ token
main.cpp:26:22: error: expected primary-expression before ‘...’ token

如果我从有问题的语句中删除 <T...> ，即return F::Apply(t...); ，并让编译器推断类型，它可以工作。 但是，在我的真实世界代码中，我需要指定类型。 特定类型并满足编译器的正确语法糖是什么？

Answer 1

您缺少一个关键字。 你需要：

return F::template Apply<T...>(t...);

而且会好的。 此错误消息不是最清楚的。 :) 如果您对细节感兴趣，可以在这里找到解释： 我必须在哪里以及为什么要放置“模板”和“类型名称”关键字？