折叠表达式和空参数pack：期望的结果是什么？

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概述仅这三个运营商都支持的原因。