Boost.Hana: Logical

#include <boost/hana/fwd/and.hpp>

Возвращаем, являются ли все аргументы истинными. и_ можно назвать одним аргументом или более. При вызове с двумя аргументами и_ для поиска правильной реализации используется диспетчеризация тегов. Иначе.

Example

#include <boost/hana/fwd/eval_if.hpp>

Условно выполнить одну из двух ветвей на основании условия. При условии и двух ветвях в виде лямбда или hana::lazys, eval_if будет оценивать ветвь, выбранную условием с eval и возвращать результат. Точные требования к ветвям те же, что и для функции eval.

Deferring compile-time evaluation inside eval_if

Пройдя унарный вызов eval_if, можно отложить оценку выбранных выражений внутри лямбды. Это полезно, когда инстанцирование ветви вызовет ошибку времени компиляции; мы хотим, чтобы ветвь была инстанциирована только тогда, когда эта ветвь выбрана. Вот как этого можно достичь.

Для простоты мы будем использовать унарную лямбду в качестве нашего унарного вызова. Наша лямбда должна принимать параметр (обычно называемый _), который может использоваться для отсрочки оценки выражений по мере необходимости. Например,

Здесь происходит то, что eval_if вызовет eval в выбранной ветви. В свою очередь, eval будет называть выбранную ветвь либо ничем; для тогда ветвь – или с hana::id – для else ветвь. Поэтому, _(x) всегда совпадает с x, но компилятор не может сказать, пока лямбда не будет вызвана! Следовательно, компилятор должен ждать, прежде чем он инстанцирует тело лямбды, и не происходит бесконечной рекурсии. Однако этот трюк для задержки инстанциации тела лямбды может быть использован только тогда, когда состояние известно во время компиляции, потому что в противном случае обе ветви должны быть инстанцированы внутри eval_if.

Есть несколько предостережений, которые следует отметить при таком подходе к ленивому ветвлению. Во-первых, поскольку мы используем лямбда, это означает, что результат функции не может быть использован в постоянном выражении. Это ограничение нынешнего языка.

Вторая оговорка заключается в том, что у компиляторов в настоящее время есть несколько ошибок в отношении глубоко вложенных лямбд с захватами. Таким образом, вы всегда рискуете разбить компилятор, но это вопрос времени, прежде чем это больше не проблема.

Наконец, это означает, что условия не могут быть написаны непосредственно в неоцененных контекстах. Причина в том, что лямбда не может появиться в неоцененном контексте, например, в деклатипе . Один из способов обойти это — полностью перевести вычисления вашего типа в переменные шаблоны. Вместо того, чтобы писать

вы можете вместо этого написать

Примечание : Этот пример на самом деле будет реализован легче с частичными специализациями, но мой пакет хороших примеров пуст на момент написания этого.

Теперь этот прыжок с обруча должен быть сделан только в одном месте, потому что вы должны использовать нормальную нотацию функций везде в вашей метапрограмме для выполнения вычислений типов. Таким образом, синтаксическая стоимость амортизируется по всей программе.

Другим способом обойти это ограничение языка было бы использование hana::lazy для ветвей. Однако это подходит только тогда, когда ветви не слишком сложны. С hana::lazy вы можете написать предыдущий пример как

Parameters

cond	Условие, определяющее, какая из двух ветвей выбрана.
then	Выражение, называемое eval(then), если cond, является истинным.
else_	Функция, называемая eval(else_), если cond имеет ложное значение.

Example

#include <boost/hana/fwd/if.hpp>

Условно возвращайте одно из двух значений на основании условия. В частности, , затем возвращается iff cond является истинным значением, а else_ возвращается в противном случае. Обратите внимание, что некоторые Логические Модели могут позволять , затем и else_ иметь разные типы, в то время как другие могут требовать, чтобы оба значения имели один и тот же тип.

Parameters

cond	Условие, определяющее, какое из двух значений возвращается.
then	Значение, возвращаемое при cond, является истинным.
else_	Значение, возвращаемое при cond, является ложным.

Example

Ссылка на boost::hana::literals::operator""_s().

#include <boost/hana/fwd/not.hpp>

Отрицает логическое . Этот метод возвращает Logical с тем же тегом, но истинное значение которого отрицается. В частности, not_(x) возвращает неверно оцененный Logical, если x является истинно оцененным Logical, и истинно оцененным в противном случае.

Example

#include <boost/hana/fwd/or.hpp>

Возвращаем, является ли любой из аргументов истинным. или_ можно назвать одним аргументом или более. При вызове с двумя аргументами or_ использует метку-диспетчеризацию, чтобы найти правильную реализацию. Иначе.

Example

#include <boost/hana/fwd/while.hpp>

Примените функцию к начальному состоянию, пока некоторый предикат удовлетворен. Этот метод является естественным расширением структуры языка , в то время как для манипулирования состоянием, тип которого может изменяться от одной итерации к другой. Однако обратите внимание, что наличие состояния, тип которого изменяется от одной итерации к другой, возможно только до тех пор, пока предикат возвращает логическое , истинное значение которого известно во время компиляции.

В частности, while_(pred, state, f) эквивалентно

где f повторяется до тех пор, пока pred(f(...)) является истинным значением Logical.

Parameters

pred	Предикат, вызванный состоянием или результатом применения f определенное количество раз в состояние, и возвращать, следует ли применять f еще один раз.
state	Начальное состояние, при котором применяется f.
f	Функция, которая повторяется в начальном состоянии. Обратите внимание, что тип возврата f может изменяться от одной итерации к другой, но только тогда, когда pred возвращает время компиляции Logical. Другими словами, decltype(f(stateN)) может отличаться от decltype(f(stateN+1)), но только если pred(f(stateN)) возвращает время компиляции Logical.

Example