constexpr 对参数包的影响

Question

为什么没有constexpr这段代码无效：

template<typename ...Tpack>
auto CalculateSum(Tpack ...pack)
{
    if constexpr (sizeof...(Tpack) > 0)
    return (pack + ...);
    else
        return 0;
}

int main()
{
    std::cout << CalculateSum(2, 3, 4, 5, 7.5, 6) << '\n';
}

而如果参数中只有int，则它是有效的。

编译器说：返回类型中的“auto”在此处推导为“int”，但在前面的 return 语句中推导为“double”

但是constexpr 是如何解决的呢？

Answer 1

您需要 if constexpr 而不是普通的 if 的原因是您试图返回两种不同的类型，而自动返回类型推导不允许这样做。

使用return (pack + ...);，返回类型将是double，因为您的参数之一是double。另一方面，return 0; 将返回一个int。由于这些类型不匹配，您会收到错误消息。您需要 if constexpr 以使 return (pack + ...); 或 return 0; 成为唯一实际编译的代码行，这样您就只剩下一个函数可以返回的类型。

如果您切换到使用尾随返回类型，您可以摆脱 if constexpr 并使用普通的 if 之类的

template<typename ...Tpack>
auto CalculateSum(Tpack ...pack) -> decltype((pack + ...))
{
    if (sizeof...(Tpack) > 0)
        return (pack + ...);
    else
        return {};
}

但这不是DRY，而且打字更多，所以我更喜欢if constexpr 版本。