NA в выражении `i` data.table (возможная ошибка)

Question

Когда i содержит NA, эта конкретная строка не возвращается. Я не уверен, что это намеченное поведение или не так ли?

require(data.table) 
x = data.table(a=c(NA, 1:3, NA))  
x[a>0]  
    a 
1: 1 
2: 2 
3: 3 

x[!(a>0)] 
    a 
1: NA 
2: NA 

x[a<0] 
Empty data.table (0 rows) of 1 col: a 

x[!(a<0)] 
    a 
1: NA 
2: 1 
3: 2 
4: 3 
5: NA 

> sessionInfo() 
R version 2.15.2 (2012-10-26) 
Platform: x86_64-unknown-linux-gnu (64-bit) 

locale: 
    [1] LC_CTYPE=en_US.UTF-8  LC_NUMERIC=C    
    [3] LC_TIME=en_US.UTF-8  LC_COLLATE=en_US.UTF-8  
    [5] LC_MONETARY=en_US.UTF-8 LC_MESSAGES=en_US.UTF-8 
    [7] LC_PAPER=C     LC_NAME=C     
    [9] LC_ADDRESS=C    LC_TELEPHONE=C    
    [11] LC_MEASUREMENT=en_US.UTF-8 LC_IDENTIFICATION=C  

attached base packages: 
    [1] stats  graphics grDevices utils  datasets methods base  

other attached packages: 
    [1] data.table_1.8.8 

Answer 1

Как @flodel указывает, вопрос может быть упрощена, почему это не TRUE:

identical(x[as.logical(a)], x[!!as.logical(a)]) # note the double bangs 

Ответ заключается в том, как data.table ручки NA в i и как она обрабатывает в i!. Оба из них получают специальное лечение. Проблема действительно возникает в сочетании двух.

• NA «s в i рассматриваются как FALSE.
• ! в i рассматриваются как отрицание.

Это хорошо описано в ?.data.table (как указывает Г. Гротендик в другом ответе). Соответствующие части:

Целые и логические векторы работают так же, как в [.data.frame. Помимо NA в логическом i, они рассматриваются как FALSE, и один логический элемент NA не перерабатывается, чтобы соответствовать количеству строк, так как он находится в [.data.frame.
...
Все типы «i» могут иметь префикс!. Это означает, что необходимо выполнить не-join или not-select. Во всей документации data.table, где мы говорим о типе «i», мы подразумеваем тип «i» после «!», Если он присутствует.

Если вы посмотрите на код [.data.table, как ! обрабатываются, если присутствует, является

1. удаления предшествующую !
2. Устный оставшиеся i
3. Отрицание, что интерпретация

Путь NA s обрабатываются путем установки этих значений на FALSE.
Однако - и очень важно - это происходит в шаге 2 выше.

Таким образом, то, что происходит на самом деле в том, что когда i содержит NA И i предваряется !, то NA являются эффективно интерпретировать как TRUE. Хотя это технически, это задокументировано, я не уверен, что это так, как предполагалось.

---

Конечно, есть последний вопрос точки @ flodel: почему это x[as.logical(a)] не то же самое, как x[!!as.logical(a)]?Причиной этого является то, что только первый bang получает специальную обработку. Второй взлом интерпретируется как нормальный на R.

С !NA еще NA, последовательность изменений для интерпретации !! (NA) является:

!!(NA) 
!(!(NA)) 
!( NA ) 
!(FALSE) 
TRUE 

Answer 2

Это документированное поведение. См. Описание аргумента i в ?data.table.