Булеві оператори && та ||

Відповідно до визначення мови R , різниця між &і &&(відповідно |і ||) полягає в тому, що перше векторизується, а друге - ні.

Відповідно до тексту довідки , я читаю різницю, подібну різниці між "І" та "AndAlso" (відповідно "Або" та "OrElse") ... Значення: Це не всі оцінки, якщо вони не повинні бути (тобто A або B або C завжди відповідає дійсності, якщо A є правдою, тому припиніть оцінювати, чи A є правдою)

Може хтось тут пролити світло? Крім того, чи є AndAlso та OrElse в R?

Більш короткі - векторизовані, тобто вони можуть повернути вектор, наприклад:

((-2:2) >= 0) & ((-2:2) <= 0)
# [1] FALSE FALSE  TRUE FALSE FALSE

Чим довша форма оцінюється зліва направо, вивчаючи лише перший елемент кожного вектора, тому наведене вище дає

((-2:2) >= 0) && ((-2:2) <= 0)
# [1] FALSE

Як зазначається на сторінці довідки, це робить більш довгу форму, "підходящу для програмування потоку управління, і [є], як правило, бажано в пунктах, якщо передбачено".

Таким чином, ви хочете використовувати довгі форми лише тоді, коли ви впевнені, що вектори - це одна довжина.

Ви повинні бути абсолютно впевнені, що ваші вектори мають довжину лише 1, як, наприклад, у випадках, коли вони є функціями, що повертають буліни лише довжиною 1. Ви хочете використовувати короткі форми, якщо довжина векторів можливо> 1. Отже, якщо ви не зовсім впевнені, вам слід спочатку перевірити або скористатися короткою формою, а потім використовувати allта anyзменшити її до однієї довжини для використання в операторах управління потоком, наприклад if.

Функції allі anyчасто використовуються за результатами векторизованого порівняння, щоб побачити, чи справді все чи будь-яке порівняння. Результати цих функцій, безумовно, будуть довжиною 1, тому вони є придатними для використання, якщо пункти, тоді як результати векторизованого порівняння не є. (Хоча ці результати були б доречними для використання в ifelse.

Одне остаточне відмінність: &&і ||оцінюйте лише стільки термінів, скільки їм потрібно (що, мабуть, означає "коротке замикання"). Наприклад, ось порівняння з використанням невизначеного значення a; якби не коротке замикання, як &і |ні, це призведе до помилки.

a
# Error: object 'a' not found
TRUE || a
# [1] TRUE
FALSE && a
# [1] FALSE
TRUE | a
# Error: object 'a' not found
FALSE & a
# Error: object 'a' not found

Нарешті, див. Розділ 8.2.17 у " The R Inferno " під назвою "і та і".

Відповідь про "коротке замикання" потенційно вводить в оману, але має деяку правду (див. Нижче). В мові R / S &&і ||оцінюйте лише перший елемент у першому аргументі. Усі інші елементи у векторі чи списку ігноруються незалежно від першого значення. Ці оператори призначені для роботи з if (cond) {} else{}будівництва та прямого програмного управління , а не будувати нові вектори .. &і |оператори призначені для роботи на векторах, тому вони будуть застосовуватися «паралельно», так би мовити, по довжині найдовший аргумент. Обидва вектори повинні бути оцінені до порівняння. Якщо вектори не однакової довжини, виконується переробка коротшого аргументу.

Коли аргументи до &&або ||оцінюються, виникає "коротке замикання" в тому випадку, якщо будь-яке з послідовних значень зліва направо є визначальним, тоді оцінки припиняються і кінцеве значення повертається.

> if( print(1) ) {print(2)} else {print(3)}
[1] 1
[1] 2
> if(FALSE && print(1) ) {print(2)} else {print(3)} # `print(1)` not evaluated
[1] 3
> if(TRUE && print(1) ) {print(2)} else {print(3)}
[1] 1
[1] 2
> if(TRUE && !print(1) ) {print(2)} else {print(3)}
[1] 1
[1] 3
> if(FALSE && !print(1) ) {print(2)} else {print(3)}
[1] 3

Перевага короткого замикання з’явиться лише тоді, коли аргументи потребують тривалого часу для оцінки. Зазвичай це відбувається, коли аргументи - це функції, які або обробляють більші об'єкти, або мають складніші математичні операції.

&&і ||є те, що називається "коротке замикання". Це означає, що вони не будуть оцінювати другий операнд, якщо першого операнда буде достатньо для визначення значення виразу.

Наприклад, якщо перший операнд to &&false, то немає значення в оцінюванні другого операнда, оскільки він не може змінити значення виразу ( false && trueі false && falseвони обидва помилкові). Те саме стосується ||справжнього першого операнда.

Більше про це можна прочитати тут: http://en.wikipedia.org/wiki/Short-circuit_evaluation З таблиці на цій сторінці ви бачите, що &&це еквівалентно AndAlsoVB.NET, на який я припускаю, що ви посилаєтесь.