摺疊表達式和空參數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概述僅這三個運營商都支持的原因。