为何多次继承同一类模板的成员会存在歧义？

当多重继承类模板的不同特化版本时，会出现成员函数歧义的编译错误，这是C标准明确规定的行为。本文核心疑问：为什么C标准要将这种情况定义为歧义？

示例代码 #

#include <iostream>

template <typename T>
class Base
{
    T val;

public:
    Base(T val) : val(val) {}

    void print(T v)
    {
        std::cout << val << " " << v << std::endl;
    }
};

class Child : public Base<int>, public Base<std::string>
{
public:
    Child() : Base<int>(0), Base<std::string>("0"){}

    // 取消注释可解决编译错误
    // using Base<int>::print;
    // using Base<std::string>::print;

};

int main()
{
    Child c;

    c.print(1);
    c.print(std::string("1"));
    
    return 0;
}

编译错误信息 #

error: request for member ‘print’ is ambiguous
   38 |     c.print(1);
      |       ^~~~~
   39 |     c.print(std::string("1"));
      |       ^~~~~
note: candidates are: ‘void Base<T>::print(T) [with T = std::__cxx11::basic_string<char>]’
note:                 ‘void Base<T>::print(T) [with T = int]’

可选解决方法 #

除了手动添加using声明将两个基类的print引入子类作用域外，还可以在Child类中定义一个模板转发函数：

template<typename T>
void print(T v)
{
    this->Base<T>::print(v);
}

为什么会被定义为歧义？ #

这要从C++的名字查找和重载解析机制说起：

1. 名字查找优先于重载解析：C++编译器处理函数调用时，会先执行名字查找——找出所有可见的、名为print的实体；只有当名字查找只找到唯一的名字（或同一作用域下的重载集合）时，才会进入重载解析阶段，根据参数类型匹配选择合适的函数。
2. 不同基类的同名成员属于不同作用域：Base<int>::print和Base<std::string>::print分别属于两个独立的基类作用域，在Child类中没有通过using声明将它们合并到同一作用域时，名字查找会找到两个完全独立的print名字，此时编译器直接判定为歧义，不会进入后续的重载解析步骤。

C++标准这样设计的原因：

• 保持规则的简单性和确定性：名字查找阶段只负责找名字，不涉及类型匹配，避免逻辑复杂度飙升；
• 遵循显式优于隐式的原则：要求开发者明确表达意图，要么通过using声明引入需要的成员，要么提供转发函数，防止因隐式匹配导致意外的错误调用；
• 避免潜在的转换歧义：如果允许直接通过参数匹配选择不同基类的成员，可能会出现一些开发者未预料到的隐式类型转换，导致调用错误的函数版本。

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