折叠表达式和空参数包：预期结果是什么？

Question

考虑以下最小示例：

#include<cstddef>

template<std::size_t... I>
constexpr auto sum() { return (I + ...); }

template<bool... B>
constexpr auto check() { return (B && ...); }

int main() {
    static_assert(6 == sum<1,2,3>(), "!");
    // static_assert(0 == sum<>(), "!");
    static_assert(check<true, true>(), "!");
    static_assert(check<>(), "!");
}

注释行无法编译。
这同样适用于使用* 而不是+。
涉及布尔值的那个可以代替。

Here（工作草案）我还没有找到关于空参数包的提及。
另一边，here (isocpp) 看来上面案例的默认结果是int()。

混合折叠表达式和空参数包时的预期行为究竟是什么？

Answer 1

[temp.variadic]¶9（引用 N4618）对此进行了介绍：

如果 N 对于一元折叠表达式为零，则表达式的值 如表14所示；如果运算符未在表 14 中列出，则实例化格式不正确。

表 14 - 折叠空序列的值：

Operator  |  Value when parameter pack is empty  
-----------------------------------------------
&&        |  true
||        |  false
,         |  void()

P0036R0 中概述了仅支持这三个运算符的原因。