c++ - 编译器如何评估模板函数？

Question

考虑以下可变参数模板函数:

template<typename T, typename... Args>
auto foo(Args... args) -> T[sizeof...(args)]
{
   T t[sizeof...(args)];
   // Maybe do some pack expansion/assignment
   return t;
}

实例化:

// total should be of type int[5];
auto total = foo(1,2,3,4,5);

我知道这不会编译，因为返回类型不可推导，但我不明白为什么它不可推导。

关于这个函数，编译器在编译时是否知道/不能知道，或者被评估的函数部分的顺序，这会阻止类型推导？

我怀疑这是由于调用了函数 sizeof...，我认为它是在运行时计算的。如果是这样，是否有编译时等效项？

Answer 1

您不能按值返回内置数组。请改用 std::array。

此外，就目前而言，您需要显式提供类型 T 作为模板参数，因为它没有出现在参数列表中。因此，编译器无法从中推断出它。

完整示例:

#include <array>

template<typename T, typename... Args>
auto foo(Args... args) -> std::array<T, sizeof...(args)>
{
   std::array<T, sizeof...(args)> t;
   // Maybe do some pack expansion/assignment
   return t;
}

int main () {
    auto a = foo<int>(1,2,3);
}

根据用例，您可以通过例如摆脱显式模板参数使用包中所有元素的 std::common_type 或 static_asserting 它们都具有相同的类型并使用它。

此外，根据记录，sizeof... 确实会产生一个编译时常量。问题是，为了明确回答，编译器无法告诉 T 应该是什么。