你可以用一个mapped type和一个嵌套的conditional type来测试我们Map的键，看看它是否匹配一个template literal type（所以我们检测是否需要user参数）：

export const Events = {
    user_updated: "user:updated",
    empty: "empty",
};

type ServerToClientEvents = {
    [Key in keyof typeof Events]: Key extends `user_${string}` ? (user: User) => void : () => void;
};

const goodExample: ServerToClientEvents = {
    user_updated(user: User) {},
    empty() {},
};

const badExample: ServerToClientEvents = {
    //^^^^^^^^^^^−−−−− Property 'empty' is missing in type '{ user_updated(user: User): void; }' but required in type 'ServerToClientEvents'.ts(2741)
    user_updated(user: User) {},
};

Playground链接
我假设user_前缀应该表示函数接受User对象，给出问题中显示的代码，但是当然您可以根据需要进行调整。
使用给定的Events常量，该Map类型定义了以下结构：

{
    user_updated: (user: User) => void;
    empty: () => void;
}

为了便于阅读，可以拆分条件类型：

type ServerFunctionType<Key extends string> =
    Key extends `user_${string}`
        ? (user: User) => void
        : () => void;

type ServerToClientEvents = {
    [Key in keyof typeof Events]: ServerFunctionType<Key>;
};

Playground链接

如果Events不是动态的，也许constAssert可以完成这项工作。

export const Events = {
    user_updated: 'user:updated',
    empty: 'empty',
} as const;   //const assertion

interface User {
    id: string;
}
interface ServerToClientEvents {
    [Events.empty]: () => void;
    [Events.user_updated]: (user: User) => void;
}