R 中的运算符重载和类定义：使用不同的基本字段/语料库

Question

（我使用“字段”这个词数学意义上的；基本字段R 已经使用的 /corpora 包括实数和复数。）

我有兴趣允许一些其他基本字段/语料库（例如 F₅，它是基本的模块化算术） 5）。为此，我需要

1. 定义一个新的数据类型，
2. 重载相关运算符（+、*，也许还有更多），
3. 也许还有其他操作？例如，与其他功能集成？

那么，如何在 R 中定义新的数据类型或重载运算符呢？

Answer 1

我对你的问题的解释与@Andrie有点不同，但他已经完成了一堆所需的S3类工作。我以为您想在具有五个元素或可能是一个环的群上开发群运算。然后，您可能需要一个带有单位元素 == 0 的“+”操作，也许需要一个带有单位元素 == 1 的“*”操作。

如果您希望将非负整数映射到此，您可以使用模算术运算符 < code>%% 或许还有 %/%：

?Ops
as.g5 <- function(x){
  if(!inherits(x, "g5")) class(x) <- c("g5", class(x))
  x %% 5
}

print.g5 <- function(x, ...){

  cat("G5 equivalent:\n")
  cat(x %% 5)
  invisible(x)
}

如果您想要两个运算符，您可能正在寻找：

 `+.g5` <- function(e1, e2){
   NextMethod(e1 ,e2) %% 5
 }

 `*.g5` <- function(e1, e2){
   NextMethod(e1 ,e2) %% 5
 }
 x <- as.g5(0:10)
 y <- as.g5(5)

 x + y
#G5 equivalent:
#0 1 2 3 4 0 1 2 3 4 0
 y <- as.g5(2)
 x * y
#G5 equivalent:
#0 2 4 1 3 0 2 4 1 3 0

也可以在向量的“易失性”版本上使用这些操作：

 as.g5(1:10) * as.g5(1:10)
# G5 equivalent:
# 1 4 4 1 0 1 4 4 1 0

Answer 2

我发现 Hadley Wickham 的 devtools wiki 是开始使用 R 类的宝贵资源。特别是，请阅读以下部分：

• < a href="https://github.com/hadley/devtools/wiki/S3">S3 类
• S4类

这是一个开始说明 S3 类中的一些概念的点。我们将新类命名为 f5。至少，您可能希望为以下内容创建方法：

• 强制：as.f5
• 测试：is.f5
• 一些基本运算符：+.f5 >
• 处理打印的类： print.f5

一些代码（使用 GLDEX 包中的 digitsBase 进行基数转换）：

library(GLDEX)

as.f5 <- function(x){
  if(!inherits(x, "f5")) class(x) <- c("f5", class(x))
  x
}

is.f5 <- function(x){
  inherits(x, "f5")
}

`+.f5` <- function(e1, e2){
  NextMethod(e1, e2)
}

print.f5 <- function(x, ...){
  # Next line from ?GLDEX::digitsBase
  b2ch <- function(db) noquote(gsub("^0+(.{1,})$"," \1", 
                           apply(db, 2, paste, collapse = "")))

  cat("Base 5:\n")
  cat(b2ch(digitsBase(x, 5)))
  invisible(x)
}


x <- as.f5(0:10)
y <- as.f5(5)

x + y

Base 5:
10 11 12 13 14 20 21 22 23 24 30