サブページでは、値を特定の型にキャストするための3つのプロシージャについて説明します: