泛型类型ConditionalType<T>在给定联合时生成一个分布式类型。
例如，给定并集string | number时，将生成以下类型

type Foo = ConditionalType<string | number>
// ((v: string) => void) | ((v: number) => void)

请将条件的任意一侧括在方括号中以避免出现这种情况

type ConditionalType<T> = [T] extends [PrimitiveDataType]
  ? (v: T) => void
  : never;

上面的代码现在生成了下面的非分布式类型，它应该可以为抽象类工作

type Foo = ConditionalType<string | number>
// (v: string | number) => void

Playground

我在 typescript 方面相当初级，我已经用了差不多一年半了，但我仍然会尽力帮助你，给予你一个可能的解释，解释你遇到的错误（至少我认为是解释），以及修复它的可能方法。
/* ===============解释============ /
一个原因，也是对我来说最有意义的原因，可能是类型收缩不够充分。为什么？
在您提供的代码中，您将类型ConditionalType<T>定义为一个函数，当T是PrimitiveDataType时，该函数返回void;当T不是PrimitiveDataType时，该函数返回never。然而，您使用此函数类型的方式可能不是最好的。此函数类型的用途是T类型的narrow the type，应该作为type guard使用。但是，当您声明类SomeClass时，T类型扩展原始PrimitiveDataType而不是narrowed类型，因此在for循环中，您将检查原始类型PrimitiveDataType是否是narrowed类型版本的有效key（正如您在AbstractClass中声明的那样），但是never并不存在于PrimitiveDataType上，这就是为什么你应该在类SomeClass声明中扩展T，如我在下面提供的第二个修复所示。这样的话，T也会默认包含never，所以value类型会是narrowed版本类型，也就是ConditionalType<PrimitiveDataType>，而不是PrimitiveDataType。
我希望你明白我的意思（我的英语仍然不是很好哈哈）。
/ ===============修复============= */
我将提供两种方法来修复这个问题，第二种是类型安全性最高的方法。
我想你可以用两种方法解决这个问题：
第一种方法是将PrimitiveDataType定义为始终是函数类型：

type ConditionalType<T> = (v: T) => void;

当然，在上面的例子中，可能ConditionalType不再是正确的名称，请找到一个更好的名称。链接到上面描述的例子的typescriptPlayground-〉TypescriptPlayground
/* =============或================ */
或者你可以使用另一种方法，其中类型参数T被约束为ConditionalType<PrimitiveDataType>类型的子类型。在这种情况下，T扩展了ConditionalType<PrimitiveDataType>，这意味着T必须是function type，它接受PrimitiveDataType类型的参数并返回void。

type PrimitiveDataType = string | number | bigint | boolean | symbol | undefined | null;

type ConditionalType<T> = T extends PrimitiveDataType
  ? (v: T) => void
  : never;

abstract class AbstractClass<T> {
  abstract value: T;
  protected conditionalFunctions: Map<ConditionalType<T>, number | undefined> = new Map();
}

class SomeClass<T extends ConditionalType<PrimitiveDataType>> extends AbstractClass<T> {
  value: T;

  constructor(value: T) {
    super();
    this.value = value;
  }

  someMethod() {
    for (const someFn of this.conditionalFunctions.keys()) {
        someFn(this.value);        
    }
  }
}

链接到第二种方法的 typescript Playground-〉 typescript Playground
/* ==============编辑1 =============== /
EDIT 1怎么样
当你尝试使用多个参数时遇到的错误的解释几乎是一样的，它总是与类型收缩有关，但是修复非常非常简单，你只是忘了把第二个参数设为可选的。
/ ==============固定编辑1 ============= */

type ConditionalType<T> = T extends PrimitiveDataType
  ? (v: T) => void
  : T extends Array<unknown>
  ? (v: T, t?: number) => void
  : never;

这里有完整的代码修复编辑1 -〉 typescript 操场 typescript 操场
请让我知道这是否有帮助

如上所述，分布式类型会产生问题，解决方法是将extends子句的范围缩小到所需的函数类型。
首先，看一个工作的例子（基于你的原始代码）。我在下面添加了两个例子来展示一个工作的（字符串）和不工作的（对象）例子。顺便说一句，这是一个熟悉info指令的好机会，只需在一行中输入'// ^？'，ts pladren就会给你一些提示信息。
因此，修复的关键是检查所需的函数（而不仅仅是类型）：

type ConditionalType<T> = ((v: PrimitiveDataType) => void) extends ((v: T) => void)
  ? (v: T) => void
  : never;

读作：
雌兔
接受PrimitiveDataType参数并返回void的函数
延伸
一个接受我的类型的参数（泛型的T）并返回void的函数
？
如果是，则返回所需的函数类型，否则，返回never。