Có một `valueof` tương tự như` keyof` trong TypeScript không?

Tôi muốn có thể gán một thuộc tính đối tượng cho một giá trị được cung cấp một khóa và giá trị làm đầu vào nhưng vẫn có thể xác định loại giá trị. Hơi khó giải thích vì vậy mã này sẽ tiết lộ vấn đề:

type JWT = { id: string, token: string, expire: Date };
const obj: JWT = { id: 'abc123', token: 'tk01', expire: new Date(2018, 2, 14) };

function print(key: keyof JWT) {
    switch (key) {
        case 'id':
        case 'token':
            console.log(obj[key].toUpperCase());
            break;
        case 'expire':
            console.log(obj[key].toISOString());
            break;
    }
}

function onChange(key: keyof JWT, value: any) {
    switch (key) {
        case 'id':
        case 'token':
            obj[key] = value + ' (assigned)';
            break;
        case 'expire':
            obj[key] = value;
            break;
    }
}

print('id');
print('expire');
onChange('id', 'def456');
onChange('expire', new Date(2018, 3, 14));
print('id');
print('expire');

onChange('expire', 1337); // should fail here at compile time
print('expire'); // actually fails here at run time

Tôi đã cố gắng thay đổi value: anythành value: valueof JWTnhưng điều đó không hiệu quả.

Tốt nhất, onChange('expire', 1337)sẽ không thành công vì 1337không phải là loại Ngày.

Làm cách nào để tôi có thể thay đổi value: anygiá trị của khóa đã cho?

CẬP NHẬT: Có vẻ như tiêu đề câu hỏi thu hút những người đang tìm kiếm sự kết hợp của tất cả các loại giá trị tài sản có thể có, tương tự như cách keyofcung cấp cho bạn sự kết hợp của tất cả các loại khóa tài sản có thể có. Hãy giúp những người đó trước. Bạn có thể tạo ValueOftương tự với keyof, bằng cách sử dụng các kiểu tra cứu với keyof Tlàm khóa, như sau:

type ValueOf<T> = T[keyof T];

cái nào cho bạn

type Foo = { a: string, b: number };
type ValueOfFoo = ValueOf<Foo>; // string | number

Đối với câu hỏi như đã nêu, bạn có thể sử dụng các khóa riêng lẻ, hẹp hơn keyof T, để chỉ trích xuất loại giá trị mà bạn quan tâm:

type sameAsString = Foo['a']; // lookup a in Foo
type sameAsNumber = Foo['b']; // lookup b in Foo

Để đảm bảo rằng cặp khóa / giá trị "khớp" đúng cách trong một hàm, bạn nên sử dụng chung cũng như các loại tra cứu, như sau:

declare function onChange<K extends keyof JWT>(key: K, value: JWT[K]): void; 
onChange('id', 'def456'); // okay
onChange('expire', new Date(2018, 3, 14)); // okay
onChange('expire', 1337); // error. 1337 not assignable to Date

Ý tưởng là keytham số cho phép trình biên dịch suy ra Ktham số chung . Sau đó, nó yêu cầu valuephù hợp với JWT[K]loại tra cứu bạn cần.

Hy vọng rằng sẽ giúp; chúc may mắn!

Nếu ai đó vẫn đang tìm kiếm việc triển khai valueofcho bất kỳ mục đích nào, thì đây là một cách mà tôi đã nghĩ ra:

type valueof<T> = T[keyof T]

Sử dụng:

type actions = {
  a: {
    type: 'Reset'
    data: number
  }
  b: {
    type: 'Apply'
    data: string
  }
}
type actionValues = valueof<actions>

Hoạt động như mong đợi :) Trả về một Liên minh của tất cả các loại có thể

Có một cách khác để trích xuất kiểu liên hợp của đối tượng:

  const myObj = { a: 1, b: 'some_string' } as const;
  type values = typeof myObj[keyof typeof myObj];

Kết quả: 1 | "some_string"

Cảm ơn các câu trả lời hiện có giải quyết vấn đề một cách hoàn hảo. Chỉ muốn thêm một lib đã bao gồm loại tiện ích này, nếu bạn muốn nhập loại thông thường này.

https://github.com/piotrwitek/utility-types#valuestypet

import { ValuesType } from 'utility-types';

type Props = { name: string; age: number; visible: boolean };
// Expect: string | number | boolean
type PropsValues = ValuesType<Props>;

Thử cái này:

type ValueOf<T> = T extends any[] ? T[number] : T[keyof T]

Nó hoạt động trên một mảng hoặc một đối tượng thuần túy.

// type TEST1 = boolean | 42 | "heyhey"
type TEST1 = ValueOf<{ foo: 42, sort: 'heyhey', bool: boolean }>
// type TEST2 = 1 | 4 | 9 | "zzz..."
type TEST2 = ValueOf<[1, 4, 9, 'zzz...']>

Lót:

type ValueTypesOfPropFromMyCoolType = MyCoolType[keyof MyCoolType];

Ví dụ về một phương pháp chung:

declare function doStuff<V extends MyCoolType[keyof MyCoolType]>(propertyName: keyof MyCoolType, value: V) => void;