模板中const与非const函数重载解析失败问题咨询

核心原因：名称隐藏 + 依赖基类的名称查找规则 #

• 名称隐藏：C++中派生类的同名成员会直接隐藏基类的同名成员，不管函数签名（比如const修饰符）是否不同。这里MutableAccessor定义了自己的begin()，直接把基类Accessor中的begin() const给隐藏了。
• 依赖基类的查找限制：Accessor<Size, Derived>是依赖于模板参数的基类（dependent base class），编译器处理MutableAccessor模板定义阶段时，不会主动去基类中查找未被显式引入的名称。只有通过using引入基类成员，或者用this->明确访问时，编译器才会在实例化阶段去基类中查找对应成员。

为什么cbegin()能正常工作？ #

因为MutableAccessor中没有定义cbegin()，编译器查找该名称时会自动去基类Accessor中寻找匹配成员，而Accessor::cbegin() const正好适配const对象的调用。

解决方法 #

在MutableAccessor中显式引入基类的begin()成员，让两个重载版本都可见：

template<std::size_t Size, class Derived>
struct MutableAccessor : Accessor<Size, Derived> {
    using Accessor<Size, Derived>::begin; // 引入基类的begin() const
    int* begin() { return this_()->array.data(); }
    Derived* this_() { return static_cast<Derived*>(this); }
};

修改后，const对象调用begin()会匹配基类的const int* begin() const版本，非const对象则调用派生类的int* begin()版本。

补充说明 #

如果把const和非const的begin()放在同一个类中，就不会出现名称隐藏问题——同一作用域下的重载函数，编译器会根据调用对象的const属性自动匹配对应版本。

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