Falten Ausdrücke und leere Parameter Pack: Was ist das erwartete Ergebnis?

Question

Betrachten Sie das folgende Beispiel minimal:

#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<>(), "!"); 
} 

Die Kommentarzeile nicht kompiliert.
Das gleiche gilt für * anstelle von +.
Der Boolean funktioniert stattdessen.

Here (Arbeitsentwurf) Ich habe keine Erwähnungen über leere Parameterpakete gefunden.
Auf der anderen Seite, here (ISOCCP) scheint es, dass das Standardergebnis in dem obigen Fall int() ist.

Was ist genau das erwartete Verhalten beim Mischen von Faltexpressionen und einem leeren Parameterpaket?

Answer 1

Dies wird in [temp.variadic]¶9 (Zitat N4618) behandelt:

Wenn N Null für einen unäre fold-Ausdruck ist, wird der Wert des Ausdrucks in Tabelle 14 gezeigt; Wenn der Operator nicht in Tabelle 14 aufgeführt ist, ist die Instanziierung fehlerhaft.

Tabelle 14 - Wert der leere Sequenzen Faltung:

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

Der Grund nur diese drei Betreiber unterstützt werden, ist in P0036R0 skizziert.