diff --git a/reference/typeinfo/type_info.md b/reference/typeinfo/type_info.md index b8c09ada82..a7065706c7 100644 --- a/reference/typeinfo/type_info.md +++ b/reference/typeinfo/type_info.md @@ -14,7 +14,8 @@ namespace std { ユーザーは、この型を使用して、型名の検索や比較を行うことができる。`typeid`演算子に型を渡すと、その型の`type_info`オブジェクトが返され、`typeid`演算子にオブジェクトを渡すと、そのオブジェクトの型の`type_info`オブジェクトが返される。 -`typeid`に、多相的な型のオブジェクトへの間接参照されたポインタに適用される場合、その型は実行時に決定する。これは、RTTI(実行時型情報)が利用可能であることを要求する。 +`typeid`に、多相的な型のオブジェクトへの間接参照されたポインタに適用される場合、その型は実行時に決定する。これは、RTTI(実行時型情報)が利用可能であることを要求する。 +それ以外の場合、`typeid`の評価はコンパイル時に完了する。 `typeid`演算子に、間接参照されたヌルポインタが渡された場合、[`bad_typeid`](/reference/typeinfo/bad_typeid.md)例外が投げられる。