简而言之，你不能。没有值可以赋给一个未解析的条件类型（一个仍然依赖于自由泛型类型变量的条件类型）。你唯一能做的就是使用类型Assert。

function test<T extends boolean>(a: T): T extends true ? string : number {
  return (a ? '1' : 1)  as any
}

条件类型在表达参数之间的关系时很有用，但在实现函数时没有帮助。另一种方法是使用更宽松的实现签名。

function test<T extends boolean>(a: T): T extends true ? string : number
function test(a: boolean): number | string {
    return (a ? '1' : 1)
}

TypeScript可以正确地推断返回类型。但它没有检查运行时逻辑是否遵循条件类型中指定的条件，在您的情况下，它会导致编译时错误。您可以使用索引类型访问来根据条件获取所需的类型，从而避免此错误。
与你问题中声明的test相比，它有不同的行为，也就是说，如果在编译时类型未知，它会推断联合类型。仍然不会检查实现是否符合条件类型逻辑，但不会有错误，也不需要类型Assert：

interface Selector {
    t: string;
    f: number;
}

function test<T extends boolean>(a: T): Selector[T extends true ? 't' : 'f'] {
  // NOTE: not checked that is returns correct type actually
  return a ? '1' : 1
}

const t1 = test(true);  // string
const t2 = test(false); // number
declare var b: boolean;
const t3 = test(b); // string | number, which may or may not be what you want

function关键字对我不起作用，但在arrow函数定义中起作用

type counterType<T = boolean> = (obj:T) => T extends true? 
 string:number;

 let counter: counterType = (obj) =>{
   if(obj)
    return "abc";
    return 123
}

console.log(counter(true)) //returns ABC (string)