CRTP与调用运算符重载编译异常：单参数运算符无法直接调用的原因

你遇到的问题核心是C++的名字隐藏规则，和CRTP本身无关，具体分析如下：

问题重现代码 #

template<class DERIVED>
struct Base
{
    void operator() (int n) const {}
    void foo        (int n) const {}
};

struct Derived : Base<Derived>
{
    void operator() (int n, int m) const {}
};

int main()
{
    Derived  x;
    
    x (1,2);                            // ok
    x (1);                              // 编译失败
    static_cast<Base<Derived>>(x) (1);  // ok
    x.foo(1);                           // ok
}

原因分析 #

C++的名字查找规则是：当在派生类中查找某个名字时，会优先在派生类自身的作用域中查找。如果找到匹配的名字，就会停止查找，不会再去基类作用域中搜索——哪怕基类中有同名但参数列表不同的重载版本。

• 对于operator()：Derived类中定义了双参数的operator()，所以当你调用x(1)时，编译器只会在Derived的作用域中找operator()，发现只有双参数版本，参数不匹配，因此编译失败。而通过static_cast转成基类后，查找范围变成基类作用域，自然能找到单参数的operator()。
• 对于foo：Derived类中没有定义任何foo成员，所以名字查找会延伸到基类作用域，找到Base中的单参数foo，因此调用正常。

解决方法 #

在Derived类中使用using声明，将基类的operator()引入到派生类的作用域中，让基类的重载版本可见：

struct Derived : Base<Derived>
{
    using Base<Derived>::operator(); // 引入基类的operator()重载
    void operator() (int n, int m) const {}
};

这样修改后，x(1)就能正常匹配基类的单参数operator()，编译通过。

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