unknownとanyを理解する
unknownがanyに代わる、型安全な選択肢である理由を学びます。
「unknownとanyを理解する」はCoddyKit上の無料TypeScript Academyレッスンです。 これはレッスン1/4です。 下記で完全なレッスンを無料で読むことができます。その後、ブラウザ内の組み込みコードエディタと24時間対応のAIチューターでハンズオン演習できます。 これはTypeScript Academy学習パスの一部であり、ウェブとCoddyKitアプリ全体で進捗が同期されます。 TypeScript Academyコースには全4レッスンが含まれています。
2つのトップ型
TypeScript には、任意の値を保持できる型が2つあります。any と unknown です。見た目は似ていますが、動作は大きく異なります。適切な方を選ぶことは、型安全なコードを書くための基本的なスキルです。
let a: any = 5;
let u: unknown = 5;
console.log(a, u);any は型チェックを無効にする
any は、その値に対する型チェッカーを無効にする逃げ道です。任意のプロパティにアクセスしたり、関数のように呼び出したりできます。実行時にクラッシュするような場合でも、コンパイラーは何も警告しません。
const a: any = 'hello';
console.log(a.toUpperCase()); // OK
// a.doesNotExist(); // no compile error, but crashes at runtimeunknown はチェックを強制する
unknown も任意の値を受け入れますが、それが何であるかを証明するまで使用できません。型を絞り込むまで、コンパイラーはプロパティへのアクセスや呼び出しを禁止します。
const u: unknown = 'hello';
// console.log(u.toUpperCase()); // Error: u is unknown
console.log(typeof u);typeof による unknown の絞り込み
typeof ガードを使うと、ブロック内で unknown を具体的な型に絞り込めます。絞り込み後は、その型のすべてのメソッドを安全に利用できます。
function shout(value: unknown): string {
if (typeof value === 'string') {
return value.toUpperCase(); // safe here
}
return 'not a string';
}
console.log(shout('hi'), shout(42));unknown の方が安全な理由
unknown は、「これはまだ何なのか分からない」という正直な不確実性を表します。使用前の検証を促すため、コンパイル時にバグを検出できます。any は不確実性もバグも隠してしまうだけです。
function len(value: unknown): number {
if (typeof value === 'string') return value.length;
if (Array.isArray(value)) return value.length;
return 0;
}
console.log(len('abc'), len([1, 2]), len(99));unknown への代入と unknown からの代入
あらゆる値を unknown へ代入できます。しかし、unknown から代入できるのは unknown または any だけで、絞り込みなしに具体的な型へは代入できません。この非対称性が安全性を保ちます。
let u: unknown = 10;
u = 'now a string';
u = true;
const anyVal: any = u; // allowed
console.log(anyVal);
// const s: string = u; // Errorany はコード全体に広がる
any の危険な性質の1つは、広がってしまうことです。いったん値が any になると、そこから派生するものもすべて any になり、プログラム全体の型安全性が気付かないうちに損なわれます。
const a: any = { count: 5 };
const total = a.count + 10; // total is any
const flag = total.whatever; // still any, no error
console.log(total);unknown はリスクを閉じ込める
unknown では、不確実性がその場にとどまります。各境界で明示的に型を絞り込む必要があるため、安全でない操作が他の場所に漏れ出すことはありません。リスクを本来あるべき場所に閉じ込められます。
const u: unknown = { count: 5 };
if (typeof u === 'object' && u !== null && 'count' in u) {
console.log('Has count property');
}API と JSON の境界を型付けする
外部データ（JSON、ネットワークレスポンス、ユーザー入力）には、何の保証もありません。any ではなく unknown として型付けすると、信頼する前に検証することを強制でき、安全なデフォルトになります。
function parse(text: string): unknown {
return JSON.parse(text);
}
const data = parse('{"id":1}');
if (typeof data === 'object' && data !== null) {
console.log('Got an object');
}any が許容される場合
any が実用的な場合もあります。たとえば、簡単なプロトタイプ、JavaScript からの段階的な移行、型のないライブラリとの相互運用などです。ただし、習慣ではなく一時的な目印として扱ってください。可能な場合は常に unknown を優先します。
// Migration placeholder, to be typed later
let legacy: any = getLegacyValue();
function getLegacyValue() { return { x: 1 }; }
console.log(legacy.x);実践的な比較
並べて比較すると、any 版はコンパイルできますが、クラッシュする可能性があります。一方、unknown 版は安全でないアクセスのコンパイルを拒否します。コンパイラーは役割を果たし、あなたを守っているのです。
const a: any = 42;
console.log(a.toFixed(2)); // OK by luck
const u: unknown = 42;
if (typeof u === 'number') {
console.log(u.toFixed(2)); // checked, safe
}理解度チェック
unknown と any の理解度を確認しましょう。
まとめ：unknown と any
重要なポイント：
anyは型チェックを無効にし、派生した値にも広がります。unknownは任意の値を受け入れますが、型を絞り込むまで使用を禁止します。- 外部データ（JSON、API、ユーザー入力）には
unknownを使い、検証を強制します。 anyは移行や型のないコードとの相互運用に限り、一時的な目印として使用します。
次は、空の型である never を見ていきます。
function safeLen(v: unknown): number {
return typeof v === 'string' ? v.length : 0;
}
console.log(safeLen('hello'), safeLen(123));
AI チューターと学ぶ TypeScript — 無料
ブラウザでリアルコードを書いて実行し、24/7 の AI チューターから瞬時にサポートを受け、ウェブまたはアプリで続きから学習できます。
- コース
- 101
- レッスン
- 352
よくある質問
「unknownとanyを理解する」レッスンは無料ですか？
はい。「unknownとanyを理解する」の完全なテキストはこのウェブで無料で読めます。インタラクティブに演習し（組み込みコードエディタと24時間対応のAIチューター）、TypeScript Academyコースの残りをアンロックするには、CoddyKit PROにアップグレードしてください。 TypeScript Academyコースには全4レッスンが含まれています。
「unknownとanyを理解する」で何を学びますか？
unknownがanyに代わる、型安全な選択肢である理由を学びます。 ブラウザで直接実行するハンズオンコードでTypeScript Academyを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。
TypeScript Academyを始めるのに経験は必要ですか？
事前経験は必要ありません。CoddyKitのTypeScript Academyは初級者から上級者向けに構成されているため、ここから始めるか最初から始めて、自分のペースで進むことができます。 これはレッスン1/4です。
「unknownとanyを理解する」レッスンにはどのくらい時間がかかりますか？
ほとんどのCoddyKitレッスンは約5～10分かかります。各レッスンはコンパクトでインタラクティブなので、着実に進歩し、ウェブとアプリ全体で正確に前回の場所から再開できます。
このTypeScript Academyレッスンでコードを書いて実行できますか？
はい。すべてのTypeScript Academyレッスンに組み込みコードエディタが含まれているため、ブラウザでリアルコードを書いて実行し、即座のAIフィードバックを取得できます。ローカル設定は不要です。
このコースのすべてのレッスン
- unknownとanyを理解する
- never型と不可能な状態
- 関数におけるvoid型
- unknownの型安全な扱い