C++重载方法强制类型解析：区分typedef void*类型消除调用歧义

C++中typedef仅为已有类型创建别名，不会生成新的独立类型。示例中A::X和B::Y经typedef定义后，和原生void*是完全相同的类型，编译器无法在重载决议时区分二者。
给第一个bar添加默认参数后，调用f.bar(my_y, 3)时两个重载版本的参数匹配度完全一致：

• 第一个版本匹配为bar(void*, int, 缺省b=0)，仅需要给第三个参数补默认值
• 第二个版本匹配为bar(void*, int)，参数个数、类型完全对应
  因此触发歧义编译错误。只要两个类型仍是void*的别名，就无法通过常规重载规则区分，必须先让两个类型成为编译器可识别的独立类型，或者规避重载逻辑。

方案1：强类型包装（改动最小，兼容旧代码） #

将原来的typedef替换为轻量结构体包装，为A::X、B::Y创建真正独立的类型，同时添加和void*的隐式转换逻辑，完全兼容原有传参逻辑，不需要修改业务侧已有调用代码：

struct A {
  // 替换原typedef void* X
  struct X {
    void* ptr;
    // 支持从void*隐式构造，兼容旧代码赋值、传参逻辑
    X(void* p = nullptr) noexcept : ptr(p) {}
    // 支持隐式转void*，兼容旧代码中把X当void*使用的场景
    operator void*() const noexcept { return ptr; }
  };
};

struct B {
  // 替换原typedef void* Y
  struct Y {
    void* ptr;
    Y(void* p = nullptr) noexcept : ptr(p) {}
    operator void*() const noexcept { return ptr; }
  };
};

struct foo {
  // 直接添加默认参数即可，重载可以准确区分X和Y类型
  void bar (A::X x, int a = 0, int b = 0) {
    return;
  }

  void bar (B::Y y, int c = 0) {
    return;
  }

  void baz (int i) {
    return;
  }

  void baz (float f) {
    return;
  }
};

int main (int argc, char * argv[]) {
  B::Y my_y;
  foo f;
  f.bar(my_y, 3); // 准确匹配B::Y版本的bar，无歧义
  A::X my_x;
  f.bar(my_x, 3); // 准确匹配A::X版本的bar，b使用默认值0
  f.bar(my_x, 2, 5); // 正常调用三参数版本
  return 0;
}

这个方案侵入性极低，原有所有把A::X/B::Y当void*使用的代码都不需要修改，从根源解决类型无法区分的问题，后续如果需要给X/Y添加专属的类型校验逻辑也很方便。

方案2：拆分命名规避重载（零类型改动，适合无法修改A/B定义的场景） #

如果因为历史约束完全不能修改A、B结构体的定义，就只能放弃同名重载，给两个处理逻辑不同的bar方法设置不同的函数名，从根本上避免重载决议歧义：

// A、B结构保持原typedef定义完全不变
struct foo {
  // 原处理A::X的bar方法重命名，直接添加需要的默认参数
  void barForA (A::X x, int a = 0, int b = 0) {
    return;
  }
  // 处理B::Y的bar方法保持原有签名、名称不变
  void bar (B::Y y, int c = 0) {
    return;
  }

  void baz (int i) {
    return;
  }

  void baz (float f) {
    return;
  }
};

这个方案的缺点是需要修改所有调用A::X版本bar的代码，把对应调用替换为新的方法名，改动成本取决于项目中该方法的调用点数量。

不存在不修改类型、也不调整方法命名/调用点的解决方案：两个参数类型在编译器视角下完全一致，没有任何语法手段可以让重载决议区分两个完全相同的类型。

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