继承重载函数模板的using声明引发MSVC二义性调用错误

问题背景 #

你遇到的这个场景挺典型的——用CRTP模式时，基类有包含模板版本的重载函数，子类想重写其中的模板函数，同时保留基类其他非模板重载的可访问性。用using C<D>::c;在GCC和Clang下能正常工作，但MSVC 11到15版本会抛出二义性错误，因为它把基类导入的模板函数和子类的模板函数都当作候选，导致调用时无法区分。

先把你的示例代码贴出来方便参考：

template<typename T> class C {
public:
    void c(void){}
    template<typename FT> void c(FT param){}
};
class D : public C<D> {
public:
    using C<D>::c;
    template<typename FT> void c(FT param){}
};
int main() {
    D d;
    d.c<int>(1); // MSVC报二义性错误
}

问题本质 #

MSVC在这里的处理和标准有偏差：按照C++规则，子类的同名函数模板应该会隐藏基类的同名模板，但using导入后，MSVC没有正确处理这种隐藏关系，反而把两个模板都放到了子类的作用域里，导致调用时出现歧义。而非模板函数的using导入是正常的，因为非模板函数可以被重载覆盖，模板函数则不行。

C++03下的可行方案 #

既然不能用C++11及以后的特性，我们可以放弃using批量导入的方式，改用针对性的转发函数来保留基类的非模板重载，同时让子类的模板函数自然隐藏基类的模板版本。具体做法如下：

template<typename T> class C {
public:
    void c(void){}
    template<typename FT> void c(FT param){}
};

class D : public C<D> {
public:
    // 手动转发基类的非模板c()，替代using的批量导入
    void c(void) {
        // 显式调用基类的非模板版本
        C<D>::c();
    }

    // 子类的模板版本，会自动隐藏基类的同名模板函数
    template<typename FT> void c(FT param){}
};

int main() {
    D d;
    d.c();       // 调用基类的非模板实现
    d.c<int>(1); // 调用子类的模板实现，无歧义
}

为什么这个方案有效？ #

1. 去掉using后，基类的模板函数会被子类的同名模板函数自动隐藏，名字查找时只会找到子类的模板，不会出现二义性；
2. 对于需要保留的非模板重载，我们写一个简单的转发函数，内部调用基类的版本，这样用户调用时和原来的行为完全一致；
3. 这个方案完全符合C++03标准，所有编译器（包括MSVC 11-15）都能正常编译通过。

如果基类有多个非模板重载，只需要为每个重载写对应的转发函数即可，比逐个重写所有重载（包括模板）要高效得多——毕竟模板重载只需要写一次子类的版本，基类的模板就会被隐藏。

额外说明 #

这种转发的方式其实是C++03中处理重载继承的常用技巧，尤其是在遇到编译器兼容性问题时，它比using导入更可控，虽然需要多写几行代码，但胜在稳定可靠，能覆盖所有编译器的情况。

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