C++中foo(std::shared_ptr<B>)调用有歧义而shared_ptr<A>无的原因及解决

重载决议的匹配规则差异 #

1. bar函数无歧义的原因：
   当传入B类型左值时，C++引用绑定的优先级规则里，非const左值引用A&绑定到可修改左值的优先级高于const A&，不需要额外添加const限定，所以能直接选出最优重载。
2. foo(std::make_shared<A>())无歧义的原因：
   输入参数是std::shared_ptr<A>，和foo(std::shared_ptr<A>)属于精确匹配，优先级高于需要添加const限定的std::shared_ptr<const A>转换，所以没有歧义。
3. foo(std::make_shared<B>())存在歧义的原因：
   std::shared_ptr<B>到std::shared_ptr<A>的转换是派生类指针到基类指针的用户定义转换，std::shared_ptr<B>到std::shared_ptr<const A>的转换是派生类指针到const基类指针的用户定义转换，这两个转换序列的优先级完全相等，重载决议无法判定哪个更优，因此触发歧义。

除了调用处显式转换，还有以下可行方案：

• 方案1：添加派生类通用重载转发
  如果使用C++20及以上版本，可以用concept约束写通用模板，自动处理所有A的派生类的shared_ptr参数：

  #include <concepts>
  
  template<std::derived_from<A> T>
  void foo(std::shared_ptr<T> p) {
      // 先转换为shared_ptr<A>再转发，复用原有重载逻辑
      foo(std::static_pointer_cast<A>(std::move(p)));
  }
  

  低版本C++可以用std::enable_if实现等效约束。
• 方案2：合并重载为模板函数，内部按const属性分发
  直接把两个foo重载合并为一个模板函数，编译期判断参数的const属性走不同逻辑，从根源上避免重载歧义：

  #include <type_traits>
  
  template<typename T>
  requires std::is_convertible_v<T*, A*>
  void foo(std::shared_ptr<T> p) {
      if constexpr (std::is_const_v<T>) {
          // 原有const版本的逻辑
      } else {
          // 原有非const版本的逻辑
      }
  }
  

• 方案3：显式标记非const版本为更优匹配
  可以通过SFINAE约束让非const版本在输入可转换为非constA的shared_ptr时优先匹配，避免歧义。

额外说明：你提到的std::dynamic_pointer_cast在这里不需要，A和B是公开非虚继承关系，用std::static_pointer_cast足够，dynamic_pointer_cast要求基类有虚函数，否则会转换失败。

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