升级至Clang 18后多基类继承operator*出现歧义错误的疑问

将Clang编译器从14版本升级至最新主干版本18后，代码出现多基类运算符继承的歧义问题。通过混入类为最终Vector类添加功能：VectorScalarMultiplication实现向量-标量乘法，VectorVectorMultiplication实现向量点积（向量-向量乘法），两者均重载了operator*，且各自针对特定类型，原本应无歧义，在Clang 14中运行正常。添加using声明引入基类的operator*可解决问题，但破坏了混入类的设计理念。需要明确：该新错误是C++标准要求，还是编译器测试版bug？代码是否合规？

代码示例 #

#include <cstddef>
#include <type_traits>
#include <array>

template<
    typename T, size_t N,
    template <typename, size_t> typename FinalTemplate
>
struct VectorData
{
    std::array<T, N> data;
};

template<
    typename T, size_t N,
    template <typename, size_t> typename FinalTemplate
>
struct VectorScalarMultiplication
{
    using Final = FinalTemplate<T, N>;

    template<typename U, typename Enable = std::enable_if_t<(
        std::is_integral_v<U> || std::is_floating_point_v<U>
    )>>
    Final operator*(const U value) const
    {
        auto copy = static_cast<const Final&>(*this);
        for (size_t i = 0; i != N; ++i)
        {
            copy.data[i] *= value;
        }

        return copy;
    }
};

template<
    typename T, size_t N,
    template <typename, size_t> typename FinalTemplate
>
struct VectorVectorMultiplication
{
    using Final = FinalTemplate<T, N>;

    T operator*(const Final& b) const
    {
        auto& a = static_cast<const Final&>(*this);
        T r{};
        for (size_t i = 0; i != N; ++i)
        {
            r += a.data[i] * b.data[i];
        }

        return r;
    }
};

template<typename T, size_t N>
struct Vector
    : public VectorData<T, N, Vector>
    , public VectorScalarMultiplication<T, N, Vector>
    , public VectorVectorMultiplication<T, N, Vector>
{
};

int main()
{
    Vector<float, 3> a;
    return static_cast<int>(a * a);
}

临时解决方案（违背混入类设计） #

将以下代码添加至Vector类中可消除歧义，但破坏了混入类的独立性设计：

using VectorScalarMultiplication<T, N, Vector>::operator*;
using VectorVectorMultiplication<T, N, Vector>::operator*;

问题分析 #

1. C++标准规则：根据C++名称查找规则，当派生类从多个基类继承同名成员（此处为operator*）时，若派生类未声明该成员，名称查找会在所有基类中同时进行，若找到多个匹配则直接产生歧义——即使这些成员的签名不同、本应可通过重载区分。Clang 18的行为完全符合标准，而Clang 14可能存在名称查找的宽松实现，未严格遵循标准。
2. 代码合规性：原代码在标准C++中属于不合规，因为多基类继承同名重载成员时，派生类未通过using声明引入这些成员，导致名称查找阶段就触发歧义，而非进入重载决议阶段。重载决议仅在名称查找找到唯一名称后才会执行，因此即使两个operator*的参数类型不同，也无法绕过名称查找的歧义问题。
3. 编译器行为差异：Clang 14可能在名称查找时合并了不同基类的同名重载成员，将其视为同一名称的不同重载版本；而Clang 18严格执行标准，在名称查找发现多个基类存在同名成员时直接报错。

替代方案（不破坏混入类设计） #

可以通过以下方式避免显式在Vector类中添加using声明：

• CRTP中间基类统一导出：创建一个中间CRTP基类，负责集中导入所有混入类的operator*，最终Vector类仅继承该中间基类，保持混入类的独立性：

  template<typename T, size_t N>
  struct VectorOperators
      : public VectorScalarMultiplication<T, N, Vector>
      , public VectorVectorMultiplication<T, N, Vector>
  {
      using VectorScalarMultiplication<T, N, Vector>::operator*;
      using VectorVectorMultiplication<T, N, Vector>::operator*;
  };
  
  template<typename T, size_t N>
  struct Vector
      : public VectorData<T, N, Vector>
      , public VectorOperators<T, N>
  {
  };
  

• 基类使用差异化辅助函数：将混入类的operator*改为调用不同名称的成员函数（如multiplyScalar、dotProduct），然后在Vector类中统一实现operator*，根据参数类型转发到对应辅助函数。

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