This might be useful for languages that support separate compilation, where it is only at link phase that it becomes known whether any type is actually referenced by other code.

• 这对于支持单独编译的语言可能很有用,在这类语言中,只有在链接阶段才能知道任何类型是否被其他代码实际引用。