能否将类型的值作为常量获取？能否实现类似C++的常量赋值？

1. 能否通过GetTypeValue<TrueType>()获取布尔类型对应的值？ #

可以实现。TypeScript虽将类型系统与运行时值分离，但可通过泛型条件类型结合函数返回值推断，把编译时的字面量类型映射为运行时值。

示例实现：

type TrueType = true;

// 针对布尔类型的泛型取值函数
function GetTypeValue<T extends boolean>(): T {
  return (T extends true ? true : false) as T;
}

const someVar = GetTypeValue<TrueType>();
// someVar 的类型为 true，运行时值也为 true

如果需要支持数字、字符串字面量类型，可扩展函数逻辑：

function GetTypeValue<T extends string | number | boolean>(): T {
  switch (typeof T) {
    case 'boolean':
      return (T extends true ? true : false) as T;
    case 'number':
    case 'string':
      return (T as unknown as T);
    default:
      throw new Error('Unsupported type');
  }
}

type NumType = 42;
const numVar = GetTypeValue<NumType>(); // 值为 42，类型为 42

2. 能否像C++那样将常量值写入常量变量？ #

完全可以，TypeScript提供了多种方式实现类似C++的常量定义：

• 直接用const声明常量：赋值字面量或编译时可计算的表达式，变量不可被重新赋值

  const PI = 3.14159;
  const MAX_RETRY = 3;
  const IS_PRODUCTION = false;
  

• 枚举类型enum：和C++的enum用法类似，用于定义一组命名常量

  enum HttpStatus {
    OK = 200,
    NotFound = 404,
    ServerError = 500
  }
  const currentStatus = HttpStatus.OK; // 值为 200
  

• as const断言：创建只读的常量对象/数组，同时让类型严格对应字面量值

  const APP_CONFIG = {
    PORT: 3000,
    LOG_LEVEL: 'debug'
  } as const;
  // APP_CONFIG.PORT 的类型为 3000，且不可修改
  

需要注意：TypeScript的类型仅存在于编译阶段，若要将类型层面的常量转换为运行时值，必须通过上述泛型函数这类方式做显式映射——因为类型本身不会被编译到最终的JavaScript代码中。

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