Можете ли вы использовать подвыражение в выражениях сгиба?
Является ли следующее выражение законным сгибом?
template <std::size_t N, std::size_t... Ix>
bool in_range(std::index_sequence<Ix...>) {
return ((Ix < N) && ...);
}
Решение
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)
Агар Т.С. указал следующий отчет об ошибке gcc [c ++ 1z] Ошибка «бинарное выражение в операнде сгиба-выражения» при сворачивании выражения который сообщает о подобной проблеме, но это все еще не подтверждено.
Похоже, что это также нарушается в gcc для двоичных левых и правых сгибов, например:
return ( (Ix < N) && ... && (N < 10) );
а также:
return ( (N < 10) && ... && (Ix < N) );
Другие решения
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 )следовательно, это первичное выражение, поэтому это постфикс-выражение, поэтому это Унарное выражение, поэтому это монолитно-выражение, поэтому он может быть использован в качестве операнда складчато-выражение.