Можете ли вы использовать подвыражение в выражениях сгиба?

Question

Является ли следующее выражение законным сгибом?

template <std::size_t N, std::size_t... Ix>
bool in_range(std::index_sequence<Ix...>) {
  return ((Ix < N) && ...);
}

Компилируется с Clang, но не GCC

Answer 1

Clang делает правильную вещь, грамматика из предложения складных выражений выглядит следующим образом:

fold-expression:
      ( cast-expression fold-operator ... )
      ( ... fold-operator cast-expression )
      ( cast-expression fold-operator ... fold-operator cast-expression )

и содержит следующую формулировку, которая применима к этому делу (выделено мое):

Выражение вида (... op e), где op - оператор сгиба, называется унарным левым сгибом. Выражение вида (e op...), где op - оператор сгиба, называется унарным правым сгибом. Одинарные левые складки и одинарные правые складки в совокупности называются одинарными складками. В одинарном сгибе приведенное выражение должно содержать нерасширенный пакет параметров.

а также (Ix < N) действительно является приведенным выражением, так что это выглядит правильно. Мы видим цепочку, которая приводит нас туда, как следует из грамматики в разделе 5:

cast-expression -> unary-expression -> postfix-expression -> 
 primary-expression -> (expression)

TC указал на следующее сообщение об ошибке в gcc [C++1z]: ошибка двоичного выражения в операнде сгиба-выражения при свертывании выражения, которое сообщает о похожей проблеме, но все еще не подтверждено.

Похоже, что это также нарушается в gcc для двоичных левых и правых сгибов, например:

return ( (Ix < N) && ... &&  (N < 10) );

а также:

return ( (N < 10) && ... &&  (Ix < N) );

Answer 2

GCC не прав. Это ошибка 68377, предположительно внесенная исправлением для ошибки 67810.

fold-expression:    
    ( cast-expression fold-operator ... )
    [...]

primary-expression:    
    [...]
    ( expression )
    [...]

postfix-expression:    
    primary-expression
    [...]

unary-expression:    
    postfix-expression
    [...]

cast-expression:
    unary-expression
    [...]

(Ix < N) имеет форму ( expression ), следовательно, это первичное выражение, следовательно, это постфиксное выражение, поэтому это унарное выражение, поэтому это выражение приведения, поэтому оно может использоваться как операнд в выражении сгиба.