Перегрузка оператора S3 для нескольких классов

Как R выбирает метод для отправки, обсуждается в разделе Подробности документа ?base::Ops.

Классы обоих аргументов учитываются при отправке любого члена этой группы. Для каждого аргумента проверяется его вектор классов, чтобы увидеть, существует ли соответствующий конкретный (предпочтительный) метод или метод «Операции». Если метод найден только для одного аргумента или один и тот же метод найден для обоих, он используется. Если найдены разные методы, появляется предупреждение о «несовместимых методах»: в этом случае или если метод не найден ни для одного из аргументов, используется внутренний метод.

Если customClass1 и customClass2 связаны, вы можете использовать виртуальный класс, чтобы разрешить операции с использованием двух разных классов. Например, вы можете смешать POSIXct и POSIXlt, потому что они оба наследуются от POSIXt. Это задокументировано в ?DateTimeClasses:

"POSIXct" удобнее включать в фреймы данных, а "POSIXlt" ближе к удобочитаемым формам. Существует виртуальный класс "POSIXt", от которого наследуются оба класса: он используется, чтобы позволить таким операциям, как вычитание, смешивать два

Например:

class(pct <- Sys.time())
# [1] "POSIXct" "POSIXt"
Sys.sleep(1)
class(plt <- as.POSIXlt(Sys.time()))
# [1] "POSIXlt" "POSIXt"
plt - pct
# Time difference of 1.001677 secs

Если классы не связаны таким образом, есть полезная информация в ответах на Эмуляция множественной отправки с использованием S3 для метода "+" - возможно?.

Джошуа объяснил, почему ваш подход никогда не сможет работать гладко при использовании S3 без создания виртуальных суперклассов и тому подобного. С S3 вам придется вручную управлять назначениями классов во всех возможных функциях, которые вы используете. Забудьте назначить суперкласс один раз, и вы отправитесь на охоту за ошибками, которая может длиться некоторое время.

Я настоятельно рекомендую отказаться от S3 и перейти на S4. Затем вы можете определить методы в обоих направлениях для группы «Операции». Это имеет то преимущество, что все арифметические, логические операторы и операторы сравнения теперь определены для обоих классов. Если вы хотите ограничить это подгруппой или одним оператором, замените «Ops» подгруппой или оператором. Дополнительная информация на странице справки ?S4GroupGeneric.

Пример, основанный на ваших классах S3, использующих виртуальный класс, чтобы упростить задачу:

# Define the superclass
setClass("super", representation(x = "numeric"))
# Define two custom classes
setClass("foo", representation(slot1 = "character"),
         contains = "super")
setClass("bar", representation(slot1 = "logical"),
         contains = "super")

# Set the methods
setMethod("Ops",
          signature = c('super','ANY'),
          function(e1,e2){
            callGeneric(e1@x, e2)
          })
setMethod("Ops",
          signature = c('ANY','super'),
          function(e1,e2){
            callGeneric(e1, e2@x)
          })
# Redundant actually, but limits the amount of times callGeneric
# has to be executed. 
setMethod("Ops",
          signature = c('super','super'),
          function(e1,e2){
            callGeneric(e1@x, e2@x)
          })

foo1 <- new("foo", x = 3, slot1 = "3")
bar1 <- new("bar", x = 5, slot1 = TRUE)

foo1 + bar1
#> [1] 8
bar1 + foo1
#> [1] 8
bar1 < foo1
#> [1] FALSE
foo1 / bar1
#> [1] 0.6

Пример с двумя классами, где имена слотов разные:

setClass("foo", representation(x = "numeric"))
setClass("bar", representation(val = "numeric"))

setMethod("Ops",
          signature = c('foo','ANY'),
          function(e1,e2){
            callGeneric(e1@x, e2)
          })
setMethod("Ops",
          signature = c('bar','ANY'),
          function(e1,e2){
            callGeneric(e1@val, e2)
          })
setMethod("Ops",
          signature = c('ANY','bar'),
          function(e1,e2){
            callGeneric(e1, e2@val)
          })
setMethod("Ops",
          signature = c('ANY','foo'),
          function(e1,e2){
            callGeneric(e1, e2@x)
          })

Опять же, вы можете использовать приведенный выше код для проверки результатов. Обратите внимание, что здесь вы получите примечание о выбранных методах при интерактивной попытке. Чтобы этого избежать, вы можете добавить метод для подписи c('foo','bar') и c('bar','foo')