パニックを書く方法！錆のようなマクロですか？

Question

致命的なエラー処理については、panic!マクロを使用していますが、ファイル/行情報を出力しないマクロを使用することをお勧めします。エラーメッセージのみです。

私はthe macro documentationを読みましたが、私の理解は少し不安です。

私はpanic!マクロのソースを見ましたが、ファイルと行の情報が操作の不可欠な部分であるため、関数を呼び出すことができます。

私はprintln!マクロを見ましたが、それはより有望に見えますが、私は解決する方法を知らない2つの問題があります。

macro_rules! die { 
    () => (print!("\n")); 
    ($fmt:expr) => (print!(concat!($fmt, "\n"))); 
    ($fmt:expr, $($arg:tt)*) => (print!(concat!($fmt, "\n"), $($arg)*); exit(-1)); 
} 

私は最後の行に持っているように、私は、中exit()コールを置く場合は、それを呼び出すようにしようとしたとき、私は構文エラーを取得します。

私はexit()を削除した場合、私は、マクロについての苦情を得ることはありませんが、このコードはコンパイルに失敗します。

let file = match File::open(&path) { 
    Err(why) => die!("Couldn't open {}: {}", display, why.description()), 
    Ok(file) => file, 
}; 

die!がpanic!に交換されたとき、それはコンパイルん一方。私はpanic!についていくつかの魔法があると仮定し、それはコンパイラに返すことはないと伝えていますか？

Answer 1

まず、exit()をコールすると、最後の行にあるように、コールしようとすると構文エラーが発生します。

これは、マクロが1つの項目に展開され、ここでは2つに拡大されるためです。あなたはブロック内の呼び出しを単にラップすることができます{}これはexitへの呼び出しに適格になるとすぐに機能します。

({ print!(concat!($fmt, "\n"), $($arg)*); std::process::exit(-1) }); 

私はexit()を削除した場合、私は、マクロについての苦情を得ることはありませんが、このコードはコンパイルに失敗します。一方、dieがpanicに置き換えられたときにコンパイルされます。私はpanicに関するいくつかの魔法があると仮定し、それはコンパイラに返さないことを伝えていますか？

!タイプと同じくらい魔法ではありません。 panicとexitの両方の関数は、値を持たない型の戻り値!を返します。これは構築できません。

これは、これらの関数が決して返されない（分岐する）ことをコンパイラが知るには十分であるため、型チェックの観点から、!はすべての型のサブタイプとみなされ、問題は発生しません。