上級

tryCatch の error ハンドラは warning を捕まえない

tryCatch(expr, error = function(e) ...)のerrorハンドラは、条件クラスがerrorであるものしか捕まえません。warning()で発生させた警告は、実行が止まらないままerrorハンドラをすり抜けます。

なぜエラーが出ないのか

出力: result: NaN

（エラーなし）

Rは何も報告しません。文法としても実行としても正しいコードだからです

result: NaN

実際の出力 — 期待した結果と食い違っている箇所

このエラーが出る典型パターン

 1  safe_sqrt <- function(x) {
 2    tryCatch({
 3      if (x < 0) warning("negative input")
 4      sqrt(x)
 5    }, error = function(e) {
 6      NA
 7    }                          )
                    ^
 8  }
 9  result <- safe_sqrt(-4)
10  cat("result:", result, "\n")

 1  safe_log <- function(x) {
 2    tryCatch({
 3      if (x <= 0) warning("non-positive input")
 4      log(x)
 5    }, error = function(e) {
 6      NA
 7    }                          )
                    ^
 8  }
 9  result <- safe_log(-1)
10  cat("result:", result, "\n")

 1  parse_num <- function(s) {
 2    tryCatch({
 3      n <- as.numeric(s)
 4      n
 5    }, error = function(e) {
 6      -1
 7    }                          )
                    ^
 8  }
 9  result <- parse_num("abc")
10  cat("result:", result, "\n")

 1  safe_div_check <- function(a, b) {
 2    tryCatch({
 3      if (b == 0) warning("division by zero")
 4      a / b
 5    }, error = function(e) {
 6      NA
 7    }                          )
                    ^
 8  }
 9  result <- safe_div_check(10, 0)
10  cat("result:", result, "\n")

 1  parse_int <- function(s) {
 2    tryCatch({
 3      n <- as.integer(s)
 4      n
 5    }, error = function(e) {
 6      -1
 7    }                         )
                   ^
 8  }
 9  result <- parse_int("xyz")
10  cat("result:", result, "\n")

よくある誤解

「tryCatchのerrorハンドラは、異常っぽいものは何でも捕まえてくれるはず」という思い込みは誤りです。R条件システムはerrorとwarningを別の条件クラスとして扱うため、警告も捕まえたい場合はwarning=という別のハンドラを明示的に用意する必要があります。

実務での勘所

Rの条件システムは、conditionという頂点の下にerror・warning・messageが兄弟同士として並ぶ、独立したクラス階層になっています。JavaやRubyの例外階層のように、警告が例外の一種として派生しているわけではありません。error用のハンドラがwarningを拾えないのは、片方がもう片方に含まれる関係ではなく、そもそも別系統の条件だからです。あらゆる種類の条件を1つのハンドラで受け止めたい場合は、tryCatch(expr, condition = function(c) ...)のように、階層の頂点にあるcondition自体を指定する必要があります。

演習をはじめる

関連するエラー

• S3の print メソッドで NextMethod() を省略すると基底クラスの表示が失われるS3クラスに独自のprint.myclassを定義するとき、NextMethod()を呼ばずに独自の出力だけを書くと、継承元のクラスが本来表示していた情報が完全に失われます。
• Reduce に init を渡さず空ベクトルを渡すと NULL が返り後続処理でエラーになるReduce(f, x)はinitを省略した状態でxが空ベクトルだと、畳み込みを始める最初の値が無いためエラーにはならずNULLを返します。