TypeScript接口中?运算符的含义及类实现正确性验证

Great question! Let's break these two TypeScript-related questions down clearly:

1. ?运算符在TypeScript接口属性中的含义 #

In TypeScript, the ? suffix on an interface property marks that property as optional. This means any object or class implementing the interface isn't required to include that property — you can choose to define it, or leave it out entirely, and TypeScript won't throw a type error.

For example:

interface Person {
  fullName: string; // Required property (no ?)
  nickname?: string; // Optional property (has ?)
}

// Valid: includes both required and optional properties
const zoe: Person = { fullName: "Zoe Miller", nickname: "Zo" };

// Also valid: only includes the required property
const jake: Person = { fullName: "Jake Taylor" };

2. 当Person接口所有属性均为可选时，Customer类是否正确实现了Person接口？ #

Absolutely yes! If every property in the Person interface is marked optional, any class (even one with no matching properties at all) will correctly implement the interface.

TypeScript uses a structural type system (often called "duck typing") — it only checks if the implementing structure meets all the interface's requirements. When all properties are optional, there are no mandatory members to fulfill. So even a class with entirely unrelated properties will still pass the type check.

Here's a practical example:

interface Person {
  name?: string;
  age?: number;
  address?: string;
}

class Customer implements Person {
  // No properties from the Person interface are defined here — this is totally valid
  customerId: number;
  subscriptionTier: string;

  constructor(id: number, tier: string) {
    this.customerId = id;
    this.subscriptionTier = tier;
  }
}

// Creates a valid instance with zero TypeScript errors
const newCustomer = new Customer(456, "Premium");

Adding extra properties (like customerId and subscriptionTier above) doesn't break the implementation either — TypeScript allows classes to have additional members beyond what the interface specifies.

内容的提问来源于stack exchange，提问作者Ole