c++ - MSVC 中的折叠表达式

Question

我有以下计算平均值的函数:

template<typename... Ts>
auto mean_of(const Ts... values)
{
    return (... + values) / static_cast<double>(sizeof...(Ts));
}

使用 VS 2017 15.6.0 Preview 3 以下代码

std::cout << mean_of(1, 3);

输出 2.5。似乎 MSVC 将折叠表达式解释为 1 + 3/N 而不是 (1 + 3)/N。如果我在折叠表达式周围添加额外的括号，结果是正确的。使用 GCC 不需要额外的括号。

这是 MSVC 中的错误还是我们需要额外的括号？

Answer 1

这是 MSVC 中的错误。我将其简化为:

template<class... Ts>
constexpr auto f1(Ts const... vals) {
    return 0 * (vals + ...);
}

template<class... Ts>
constexpr auto f2(Ts const... vals) {
    return (vals + ...) * 0;
}

static_assert(f1(1,2,3) == 0);
static_assert(f1(1,2,3) != 0 * 1 + (2 + 3));
static_assert(f2(1,2,3) == 0);
static_assert(f2(1,2,3) != 1 + (2 + 3) * 0);

(用 GCC 和 clang 编译都很好，但在 MSVC 中触发所有四个 static_assert)并在内部归档。

20180205 更新:此错误已在 Visual C++ 的 future 版本中修复。